Algorithms.
概要
作品: | 1616 作品在 298 項出版品 298 種語言 |
---|
書目資訊
Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and Cryptanalysis in Java = Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 /
by:
(書目-語言資料,印刷品)
Natürliche Kognition technologisch begreifen = Möglichkeiten und Grenzen der KI Forschung /
by:
(書目-語言資料,印刷品)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2020 /
by:
(書目-語言資料,印刷品)
Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of International Conference on Computational Intelligence = ICCI 2020 /
by:
(書目-語言資料,印刷品)
The Quadratic Unconstrained Binary Optimization Problem = Theory, Algorithms, and Applications /
by:
(書目-語言資料,印刷品)
Generic Data Structures and Algorithms in Go = An Applied Approach Using Concurrency, Genericity and Heuristics /
by:
(書目-語言資料,印刷品)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Revolutions and Revelations in Computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Principles of Innovative Design Thinking = Synergy of Extenics with Axiomatic Design Theory /
by:
(書目-語言資料,印刷品)
Biologically Inspired Techniques in Many Criteria Decision Making = Proceedings of BITMDM 2021 /
by:
(書目-語言資料,印刷品)
The Semantic Web = 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 /
by:
(書目-語言資料,印刷品)
Optimal Fractional-order Predictive PI Controllers = For Process Control Applications with Additional Filtering /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Numerical Methods for Mixed Finite Element Problems = Applications to Incompressible Materials and Contact Problems /
by:
(書目-語言資料,印刷品)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2021 /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Business Process Management = 20th International Conference, BPM 2022, Münster, Germany, September 11–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of 7th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2022 /
by:
(書目-語言資料,印刷品)
Localization for Autonomous Navigation Systems in Large-Scale Outdoor Environments.
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Psychopharmacology algorithms = clinical guidance from the Psychopharmacology Algorithm Project at the Harvard South Shore Psychiatry Residency Program /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence XXXVIII = 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Bio-Inspired Information and Communications Technologies = 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 /
by:
(書目-語言資料,印刷品)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Abenteuer Informatik = IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp /
by:
(書目-語言資料,印刷品)
Topological Methods in Data Analysis and Visualization VI = Theory, Applications, and Software /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Knowledge Science, Engineering and Management = 14th International Conference, KSEM 2021, Tokyo, Japan, August 14–16, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition /
by:
(書目-語言資料,印刷品)
Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Intelligent Data Analysis XIX = 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Analysis of Images, Social Networks and Texts = 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bio-Inspired Computing: Theories and Applications = 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications
by:
(書目-語言資料,印刷品)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2019 /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2020, Istanbul /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing
by:
(書目-語言資料,印刷品)
Introduction to Computational Thinking = Problem Solving, Algorithms, Data Structures, and More /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles of High-Performance Processor Design = For High Performance Computing, Deep Neural Networks and Data Science /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
How Algorithms Create and Prevent Fake News = Exploring the Impacts of Social Media, Deepfakes, GPT-3, and More /
by:
(書目-語言資料,印刷品)
Evolutionary Computing and Mobile Sustainable Networks = Proceedings of ICECMSN 2020 /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Text Segmentation and Recognition for Enhanced Image Spam Detection = An Integrated Approach /
by:
(書目-語言資料,印刷品)
Proceedings of International Conference on Trends in Computational and Cognitive Engineering = TCCE 2019 /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition /
by:
(書目-語言資料,印刷品)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Evolution = 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Serious Games = Joint International Conference, JCSG 2020, Stoke-on-Trent, UK, November 19–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = Foundations and Probabilistic Methods for Design and Analysis /
by:
(書目-語言資料,印刷品)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
by:
(書目-語言資料,印刷品)
Bio-inspired Information and Communication Technologies = 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Advances in Computational Optimization = Results of the Workshop on “Computational Optimization” and “Numerical Search and Optimization” 2018 /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Swarm Intelligence = 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Online Storage Systems and Transportation Problems with Applications = Optimization Models and Mathematical Solutions /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(書目-語言資料,印刷品)
Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings /
by:
(書目-語言資料,印刷品)
Coding theory and applications = 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014 /
by:
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Practical algorithms for image analysis : = description, examples, programs, and projects /
by:
(書目-語言資料,印刷品)
Algorithm-architecture matching for signal and image processing = best papers from Design and architectures for signal and image processing 2007 & 2008 & 2009 /
by:
(書目-語言資料,印刷品)
Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(書目-語言資料,印刷品)
Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
The concrete tetrahedron = symbolic sums, recurrence equations, generating functions, asymptotic estimates /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
The linear ordering problem = exact and heuristic methods in combinatorial optimization /
by:
(書目-語言資料,印刷品)
Evolutionary statistical procedures = an evolutionary computation approach to statistical procedures designs and applications /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(書目-語言資料,印刷品)
WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers /
by:
(書目-語言資料,印刷品)
Algorithmic game theory = first international symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Practical Mathematical Optimization = An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 18th international colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computational geometry, graphs and applications = 9th international conference, CGGA 2010, Dalian, China, November 3-6, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 37th international workshop, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Discrete diversity and dispersion maximization = a tutorial on metaheuristic optimization /
by:
(書目-語言資料,印刷品)
Fourth International Conference on Image Processing and Capsule Networks = ICIPCN 2023 /
by:
(書目-語言資料,印刷品)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2020 = 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Applications of Firefly Algorithm and its Variants = Case Studies and New Developments /
by:
(書目-語言資料,印刷品)
Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Ein szenarienadaptiver Bewegungsalgorithmus für die Längsbewegung eines vollbeweglichen Fahrsimulators
by:
(書目-語言資料,印刷品)
Guide to Competitive Programming = Learning and Improving Algorithms Through Contests /
by:
(書目-語言資料,印刷品)
Time-Dependent Path Scheduling = Algorithmic Minimization of Walking Time at the Moving Assembly Line /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Codeless Data Structures and Algorithms = Learn DSA Without Writing a Single Line of Code /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Web and internet economics = 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in intelligent data analysis XIV = 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2015 = 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in visual informatics = 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Applications and techniques in information security = 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Big data analytics = 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Clustering high-dimensional data = first International Workshop, CHDD 2012, Naples, Italy, May 15, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer security - ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Conceptual modeling = 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Decision and game theory for security = 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Discovery science = 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Future data and security engineering = second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge science, engineering and management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Multi-disciplinary trends in artificial intelligence = 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Operational research = IO 2013 - XVI Congress of APDIO, Braganca, Portugal, June 3-5, 2013 /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Research in attacks,intrusions, and defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Secure IT systems = 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Similarity-based pattern recognition = third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
by:
(書目-語言資料,印刷品)
Technology and practice of passwords = International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Genetic algorithms and genetic programming = modern concepts and practical applications /
by:
(書目-語言資料,印刷品)
Randomized algorithms for analysis and control of uncertain systems = with applications /
by:
(書目-語言資料,印刷品)
Recent advances in harmonic analysis and applications = in honor of Konstantin Oskolkov /
by:
(書目-語言資料,印刷品)
Space-filling curves = an introduction with applications in scientific computing /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
An introduction to quasisymmetric Schur functions = hopf algebras, quasisymmetric functions, and young composition tableaux /
by:
(書目-語言資料,印刷品)
Nonlinear biomedical signal processing.. Volume 1,. Fuzzy logic, neural networks, and new algorithms
by:
(書目-語言資料,印刷品)
Perspectives on projective geometry = a guided tour through real and complex geometry /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Approximation methods for polynomial optimization = models, algorithms, and applications /
by:
(書目-語言資料,印刷品)
Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Digital geometry algorithms = theoretical foundations and applications to computational imaging /
by:
(書目-語言資料,印刷品)
Fault-tolerant search algorithms = reliable computation with unreliable information /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 39th International Workshop, WG 2013, Lubeck, Germany, June 19-21, 2013 : revised papers /
by:
(書目-語言資料,印刷品)
Deterministic global optimization = geometric branch-and-bound methods and their applications /
by:
(書目-語言資料,印刷品)
A new target detector based on geometrical perturbation filters for polarimetric synthetic aperture radar (POL-SAR)
by:
(書目-語言資料,印刷品)
Topological methods in data analysis and visualization. = theory, algorithms, and applications /. II
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Differentiable optimization and equation solving = a treatise on algorithmic science and the Karmarkar revolution /
by:
(書目-語言資料,印刷品)
Primality testing in polynomial time = from randomized algorithms to "primes" is in P /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(書目-語言資料,印刷品)
Evolutionary multi-objective optimization in uncertain environments = Issues and Algorithms /
by:
(書目-語言資料,印刷品)
Genetic algorithms and genetic programming : = modern concepts and practical applications /
by:
(書目-語言資料,印刷品)
Improved signal and image interpolation in biomedical applications = the case of magnetic resonance imaging (MRI) /
by:
(書目-語言資料,印刷品)
Separable type representations of matrices and fast algorithms.. Volume 1,. Basics. Completion Problems. Multiplication and Inversion Algorithms
by:
(書目-語言資料,印刷品)
Separable type representations of matrices and fast algorithms.. Volume 2,. Eigenvalue method
by:
(書目-語言資料,印刷品)
Current challenges in stability issues for numerical differential equations = Cetraro, Italy 2011 /
by:
(書目-語言資料,印刷品)
Applied algorithms = first International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computations with modular forms = proceedings of a summer school and conference, Heidelberg, August/September 2011 /
by:
(書目-語言資料,印刷品)
Symmetric discontinuous Galerkin methods for 1-D waves = Fourier analysis, propagation, observability and applications /
by:
(書目-語言資料,印刷品)
Stochastic geometry, spatial statistics and random fields = models and algorithms /
by:
(書目-語言資料,印刷品)
Topological and statistical methods for complex data = tackling large-scale, high-dimensional, and multivariate data spaces /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics = first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics = second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
WALCOM = Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Smart card research and advanced applications = 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Search and optimization by metaheuristics = techniques and algorithms inspired by nature /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Optimization and applications in control and data sciences = in honor of Boris T. Polyak's 80th Birthday /
by:
(書目-語言資料,印刷品)
Decision and game theory for security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Models, algorithms and technologies for network analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Discrete and computational geometry and graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Multiple access communications = 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning, optimization, and big data = second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Handbook of research on modern optimization algorithms and applications in engineering and economics
by:
(書目-語言資料,印刷品)
Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI /
by:
(書目-語言資料,印刷品)
Optimization and management in manufacturing engineering = resource collaborative optimization and management through the Internet of things /
by:
(書目-語言資料,印刷品)
Models, algorithms, and technologies for network analysis = NET 2016, Nizhny Novgorod, Russia, May 2016 /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Guide to competitive programming = learning and improving algorithms through contests /
by:
(書目-語言資料,印刷品)
Eigenvalue problems = algorithms, software and applications in Petascale computing : EPASA 2015, Tsukuba, Japan, September 2015 /
by:
(書目-語言資料,印刷品)
Algorithms and programs of dynamic mixture estimation = unified approach to different types of components /
by:
(書目-語言資料,印刷品)
Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Good habits for great coding = improving programming skills with examples in Python /
by:
(書目-語言資料,印刷品)
Machine scheduling to minimize weighted completion times = the use of the α-point /
by:
(書目-語言資料,印刷品)
Practical mathematical optimization = basic optimization theory and gradient-based algorithms /
by:
(書目-語言資料,印刷品)
Wireless algorithms, systems, and applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Optimization problems in graph theory = in honor of Gregory Z. Gutin's 60th birthday /
by:
(書目-語言資料,印刷品)
Cohesive subgraph computation over large sparse graphs = algorithms, data structures, and programming techniques /
by:
(書目-語言資料,印刷品)
Principles of computational cell biology : = from protein complexes to cellular networks /
by:
(書目-語言資料,印刷品)
Algorithms for computational biology = 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Web and wireless geographical information systems = 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Advances on computational intelligence in energy = the applications of nature-inspired metaheuristic algorithms in energy /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXXI = special issue on data and security engineering /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Error-correction coding and decoding = bounds, codes, decoders, analysis and applications /
by:
(書目-語言資料,印刷品)
Reasoning with probabilistic and deterministic graphical models : = exact algorithms /
by:
(書目-語言資料,印刷品)
Algorithms and Computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Scale Space and Variational Methods in Computer Vision = 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data Computing and Communications = First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Integration of AI and OR Techniques in Constraint Programming = 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Information and Computer Security = 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Security -- ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Intelligent Data Engineering and Automated Learning – IDEAL 2015 = 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Pattern Matching = 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Optimal Interconnection Trees in the Plane = Theory, Algorithms and Applications /
by:
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology = 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Human Centered Computing = First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Security and Privacy = 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Operational Research = IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013 /
by:
(書目-語言資料,印刷品)
Experimental Algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Wired/Wireless Internet Communications = 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms, Probability, Networks, and Games = Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Similarity-Based Pattern Recognition = Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Intelligent Data Analysis XIV = 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Security and Trust Management = 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Secure IT Systems = 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and Coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Big Data Analytics = 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Coding Theory and Applications = 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014 /
by:
(書目-語言資料,印刷品)
Information Systems Security = 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Discovery Science = 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Introduction to datafication = implement datafication using AI and ML algorithms /
by:
(書目-語言資料,印刷品)
Simultaneous Short-Term Decision-Making in Mining Complexes Integrating Geometallurgy Assisted By Production Data.
by:
(書目-語言資料,印刷品)
GAN-Based Super-Resolution and Segmentation of Retinal Layers in Optical Coherence Tomography Scans.
by:
(書目-語言資料,印刷品)
Advanced Interference Mitigation Techniques for Cellular-Connected Drone Communication.
by:
(書目-語言資料,印刷品)
Cognitive behavior and human computer interaction based on machine learning algorithms /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Data Science = 7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Skew PBW Extensions = Ring and Module-theoretic Properties, Matrix and Gröbner Methods, and Applications /
by:
(書目-語言資料,印刷品)
User-Driven Applications for Research and Science = Building Programs for Fields with Open Scenarios and Unpredictable User Actions /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI = Selected Papers from DaWaK 2012 /
by:
(書目-語言資料,印刷品)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Multiple Access Communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Clustering High--Dimensional Data = First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Big Data = First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Intelligent Computing Theories and Applications = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Computational Intelligence = First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Future Data and Security Engineering = Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Web Technologies and Applications = APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Decision and Game Theory for Security = 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Numerical Methods and Applications = 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Soft Computing in Data Science = First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Applications and Techniques in Information Security = 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Stochastic Geometry, Spatial Statistics and Random Fields = Models and Algorithms /
by:
(書目-語言資料,印刷品)
Topological and Statistical Methods for Complex Data = Tackling Large-Scale, High-Dimensional, and Multivariate Data Spaces /
by:
(書目-語言資料,印刷品)
Optimization of Stochastic Discrete Systems and Control on Complex Networks = Computational Networks /
by:
(書目-語言資料,印刷品)
Progress in Cryptology -- INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptographic Hardware and Embedded Systems -- CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Biometric Recognition = 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(書目-語言資料,印刷品)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
AI 2015: Advances in Artificial Intelligence = 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Research in Attacks, Intrusions, and Defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII = Special Issue on Database- and Expert-Systems Applications /
by:
(書目-語言資料,印刷品)
Advances in Visual Informatics = 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Security -- ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Mining Intelligence and Knowledge Exploration = Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2015 = 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Information Retrieval Technology = 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Databases Theory and Applications = 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Image Analysis and Processing — ICIAP 2015 = 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advanced Methodologies for Bayesian Networks = Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Similarity Search and Applications = 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Lightweight Cryptography for Security and Privacy = Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Dynamic Data-Driven Environmental Systems Science = First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Statistical Learning and Data Sciences = Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-disciplinary Trends in Artificial Intelligence = 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /
by:
(書目-語言資料,印刷品)
Machine Learning and Data Mining in Pattern Recognition = 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Knowledge Science, Engineering and Management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII = Selected Papers from DaWaK 2013 /
by:
(書目-語言資料,印刷品)
Technology and Practice of Passwords = International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Energy Informatics = 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Security Standardisation Research = Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Geographic Information Science = 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Advanced Analysis and Learning on Temporal Data = First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Future and Emergent Trends in Language Technology = First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Network Science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Retrieval Technology = 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 – December 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII = Special Issue on Big Data for Complex Urban Systems /
by:
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Digital-Forensics and Watermarking = 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization /
by:
(書目-語言資料,印刷品)
Future Data and Security Engineering = Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Computational Intelligence = Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems Security = 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Attacks, Intrusions, and Defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Web Technologies and Applications = APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Decision and Game Theory for Security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Models, Algorithms and Technologies for Network Analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Brain Inspired Cognitive Systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Lightweight Cryptography for Security and Privacy = 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmen von Hammurapi bis Gödel = Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima /
by:
(書目-語言資料,印刷品)
LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Cryptology - CT-RSA 2016 = The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Applications and Techniques in Information Security = 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Support Vector Machines and Perceptrons = Learning, Optimization, Classification, and Application to Social Networks /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machine Translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25–26, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Economics and Computation = An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm Intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI = Special Issue on Data Warehousing and Knowledge Discovery /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV = Special Issue on Database- and Expert-Systems Applications /
by:
(書目-語言資料,印刷品)
Intelligent Data Engineering and Automated Learning – IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Services Computing = 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Big Data Computing and Communications = Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology - ICISC 2015 = 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature /
by:
(書目-語言資料,印刷品)
A Polynomial Translation of Mobile Ambients into Safe Petri Nets = Understanding a Calculus of Hierarchical Protection Domains /
by:
(書目-語言資料,印刷品)
Harmony Search Algorithm = Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) /
by:
(書目-語言資料,印刷品)
Soft Computing in Data Science = Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Green, Pervasive, and Cloud Computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Discrete and Computational Geometry and Graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Vision and Graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computers and Games = 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX = Special Issue on Cloud Computing /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry /
by:
(書目-語言資料,印刷品)
Modern X86 assembly language programming = covers X86 64-bit, AVX, AVX2, and AVX-512 /
by:
(書目-語言資料,印刷品)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
String processing and information retrieval = 30th International Symposium, SPIRE 2023, Palermo, Italy, September 26-28, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial evolution = 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022 : revised selected papers /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel operator splitting algorithms with application to imaging inverse problems
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Secure IT Systems = 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Biometric Recognition = 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Multiple Access Communications = 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Machine Learning and Data Mining in Pattern Recognition = 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Database Systems for Advanced Applications = DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Privacy Technologies and Policy = 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Intelligent Data Analysis XV = 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Concepts for Intelligent Vision Systems = 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Technology and Practice of Passwords = 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web-Age Information Management = WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Privacy Technologies and Policy = Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII = Special Issue on Database- and Expert-Systems Applications /
by:
(書目-語言資料,印刷品)
Data Mining and Big Data = First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Articulated Motion and Deformable Objects = 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Post-Quantum Cryptography = 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-disciplinary Trends in Artificial Intelligence = 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Image and Signal Processing = 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Smart Card Research and Advanced Applications = 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Solving Large Scale Learning Tasks. Challenges and Algorithms = Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday /
by:
(書目-語言資料,印刷品)
Databases Theory and Applications = 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Big Data = Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Discovery Science = 19th International Conference, DS 2016, Bari, Italy, October 19–21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
The New Codebreakers = Essays Dedicated to David Kahn on the Occasion of His 85th Birthday /
by:
(書目-語言資料,印刷品)
Provable Security = 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2015 /
by:
(書目-語言資料,印刷品)
Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Conformal and Probabilistic Prediction with Applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Machine Learning for Health Informatics = State-of-the-Art and Future Challenges /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Vehicles – Technologies and Services = Third International Conference, IOV 2016, Nadi, Fiji, December 7–10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(書目-語言資料,印刷品)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
AI 2016: Advances in Artificial Intelligence = 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
From Animals to Animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Similarity Search and Applications = 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence XXXV = 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Identifying Patterns in Financial Markets = New Approach Combining Rules Between PIPs and SAX /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Good Habits for Great Coding = Improving Programming Skills with Examples in Python /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Brain Inspired Cognitive Systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2017 /
by:
(書目-語言資料,印刷品)
AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Life and Intelligent Agents = Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Cohesive Subgraph Computation over Large Sparse Graphs = Algorithms, Data Structures, and Programming Techniques /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the 2nd Workshop on Communication Security = Cryptography and Physical Layer Security /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Optimization Problems in Graph Theory = In Honor of Gregory Z. Gutin's 60th Birthday /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Entwurf und Analyse von Algorithmen = Eine Einführung in die Algorithmik mit Java /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations
by:
(書目-語言資料,印刷品)
Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machine Scheduling to Minimize Weighted Completion Times = The Use of the α-point /
by:
(書目-語言資料,印刷品)
Practical Mathematical Optimization = Basic Optimization Theory and Gradient-Based Algorithms /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence = 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Inspired by Nature = Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Intelligence and Its Applications = 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Applications and Innovations = 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Intelligence in Music, Sound, Art and Design = 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-objective optimization in theory and practice II = metaheuristic algorithms /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(書目-語言資料,印刷品)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Data Science = 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Machine Intelligence = 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Data versus Democracy = How Big Data Algorithms Shape Opinions and Alter the Course of History /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Spline and Spline Wavelet Methods with Applications to Signal and Image Processing = Volume III: Selected Topics /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Iterative Learning Control for Systems with Iteration-Varying Trial Lengths = Synthesis and Analysis /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Informatics for Computing Research = Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Understand, Manage, and Prevent Algorithmic Bias = A Guide for Business Users and Data Scientists /
by:
(書目-語言資料,印刷品)
Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming /
by:
(書目-語言資料,印刷品)
Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Adaptive Resonance Theory in Social Media Data Clustering = Roles, Methodologies, and Applications /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Research & Innovation Forum 2019 = Technology, Innovation, Education, and their Social Impact /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2017 /
by:
(書目-語言資料,印刷品)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Soft Computing in Data Analytics = Proceedings of International Conference on SCDA 2018 /
by:
(書目-語言資料,印刷品)
Mathematics and Computation in Music = 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Intelligence and Intelligent Systems = 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances on Computational Intelligence in Energy = The Applications of Nature-Inspired Metaheuristic Algorithms in Energy /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence XXXVI = 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
High-Performance Computing and Big Data Analysis = Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Geo-informatics in Sustainable Ecosystem and Society = 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題