Theory of Computation.
概要
作品: | 993 作品在 304 項出版品 304 種語言 |
---|
書目資訊
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web graph = 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
WALCOM = algorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Scheduling and reconfiguration of real-time systems = a supervisory control approach /
by:
(書目-語言資料,印刷品)
Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2023 = 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2023 = 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Complex computational ecosystems = first International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Colored petri nets for modeling of discrete systems = a practical approach with GPenSIM /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge science, engineering and management = 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Diagrammatic representation and inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Walcom = algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Applied analysis, optimization and soft computing = ICNAAO-2021, Varanasi, India, December 21-23 /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Advanced information systems engineering = 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = 16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial intelligence and natural language = 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14-15, 2022 : revised selected papers /
by:
(書目-語言資料,印刷品)
Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formale Sprachen, abstrakte Automaten und Compiler = Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Evolutionary Computations in Engineering Systems = Computational Algorithm for AI Technology, Proceedings of ICAIECES 2020 /
by:
(書目-語言資料,印刷品)
Database Systems for Advanced Applications = 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Chatbot Research and Design = 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Application of Intelligent Control Algorithms to Study the Dynamics of Hybrid Power System
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Consciousness, Cognition and Crosstalk: The Evolutionary Exaptation of Nonergodic Groupoid Symmetry-Breaking
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Knowledge Science, Engineering and Management = 15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Nature Inspired Optimisation for Delivery Problems = From Theory to the Real World /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm Intelligence = 13th International Conference, ANTS 2022, Málaga, Spain, November 2–4, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web – ISWC 2022 = 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata = 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Realizing an Andreev Spin Qubit = Exploring Sub-gap Structure in Josephson Nanowires Using Circuit QED /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(書目-語言資料,印刷品)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
New Frontiers in Artificial Intelligence = JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15–17, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Cryptography = Introducing Mathematical and Algorithmic Foundations /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2020: Principles and Practice of Multi-Agent Systems = 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata = 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Topological Methods in Data Analysis and Visualization VI = Theory, Applications, and Software /
by:
(書目-語言資料,印刷品)
The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) /
by:
(書目-語言資料,印刷品)
Chatbot Research and Design = 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Policy Decision Modeling with Fuzzy Logic = Theoretical and Computational Aspects /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modeling and Simulation of Complex Dynamical Systems = Virtual Laboratory Approach based on Wolfram SystemModeler /
by:
(書目-語言資料,印刷品)
Case-Based Reasoning Research and Development = 29th International Conference, ICCBR 2021, Salamanca, Spain, September 13–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Attractor Dimension Estimates for Dynamical Systems: Theory and Computation = Dedicated to Gennady Leonov /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence, Computation, and Data Science = For Medicine and Life Science /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 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:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2020 = 21st International Conference, Amsterdam, The Netherlands, October 20–24, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
LATIN 2020: Theoretical Informatics = 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Natural Language Processing and Chinese Computing = 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Natural Language Processing and Chinese Computing = 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Natural Language = 9th Conference, AINL 2020, Helsinki, Finland, October 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
KI 2020: Advances in Artificial Intelligence = 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Complexity and Property Testing = On the Interplay Between Randomness and Computation /
by:
(書目-語言資料,印刷品)
Advances in Dynamics, Optimization and Computation = A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Graph Transformation for Software Engineers = With Applications to Model-Based Development and Domain-Specific Language Engineering /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theory of Evolutionary Computation = Recent Developments in Discrete Optimization /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Domain-specific Software Languages with DjDSL = Design and Implementation /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Rough Sets = International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry /
by:
(書目-語言資料,印刷品)
Open Semantic Technologies for Intelligent System = 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III
by:
(書目-語言資料,印刷品)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III
by:
(書目-語言資料,印刷品)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Probing Experience = From Assessment of User Emotions and Behaviour to Development of Products /
by:
(書目-語言資料,印刷品)
Optical SuperComputing = first international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Theory and Practice II = IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /
by:
(書目-語言資料,印刷品)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Learning to Live in the Knowledge Society = IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7-10, 2008, Milano, Italy /
by:
(書目-語言資料,印刷品)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Behavior modeling = foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Biomimetic and biohybrid systems = 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Energy time series forecasting = efficient and accurate forecasting of evolving time series from the energy domain /
by:
(書目-語言資料,印刷品)
Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV /
by:
(書目-語言資料,印刷品)
Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Rainbow of computer science = dedicated to Hermann Maurer on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II
by:
(書目-語言資料,印刷品)
Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Optical supercomputing = third international workshop, OSC 2010, Bertinoro, Italy, November 17-19 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science = lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 9-14, 1975 /
by:
(書目-語言資料,印刷品)
A short course in quantum information theory = an approach from theoretical physics /
by:
(書目-語言資料,印刷品)
Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Optical SuperComputing = second international workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(書目-語言資料,印刷品)
Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Applied informatics and communication = international conference, ICAIC 2011,Xi'an, China, August 20-21, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers /
by:
(書目-語言資料,印刷品)
Agents and artificial intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithmic learning theory = 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Applied cryptography and network security = 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication, and cryptography = 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of computation = 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Optical supercomputing = 4th International Workshop, OSC 2012, in memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on words = 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings /
by:
(書目-語言資料,印刷品)
Natural computing = 2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings /
by:
(書目-語言資料,印刷品)
Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
From Lambda Calculus to Cybersecurity Through Program Analysis = Essays Dedicated to Chris Hankin on the Occasion of His Retirement /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Learning = Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Information Search, Integration, and Personalization = 13th International Workshop, ISIP 2019, Heraklion, Greece, May 9–10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence. IJCAI 2019 International Workshops = Macao, China, August 10–12, 2019, Revised Selected Best Papers /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on computational science XXI = special issue on innovations in nature-inspired computing and applications /
by:
(書目-語言資料,印刷品)
Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fault-tolerant search algorithms = reliable computation with unreliable information /
by:
(書目-語言資料,印刷品)
Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of computation = Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems
by:
(書目-語言資料,印刷品)
Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Pairing-based cryptography - Pairing 2013 = 6th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication, and cryptography = 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
The digital synaptic neural substrate = a new approach to computational creativity /
by:
(書目-語言資料,印刷品)
Applied cryptography and network security = 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
High performance computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Biomimetic and biohybrid systems = 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Semantic web challenges = third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Nature of computation and communication = second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
History and philosophy of computing = third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Wireless power transfer algorithms, technologies and applications in ad hoc communication networks
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Foundations of intelligent systems = 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web = ESWC 2017 Satellite Events : ESWC 2017 Satellite Events, Portoroz, Slovenia, May 28 - June 1, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Best Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Biomimetic and biohybrid systems = 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Creativity in intelligent technologies and data science = Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(書目-語言資料,印刷品)
NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Social, cultural and behavioral modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
The making of a new science = a personal journey through the early years of theoretical computer science /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Adventures between lower bounds and higher altitudes = essays dedicated to Juraj Hromkovic on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
(書目-語言資料,印刷品)
Intelligent data engineering and automated learning - IDEAL 2018 = 19th International Conference, Madrid, Spain, November 21-23, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Data Integration in the Life Sciences = 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
High performance computing = 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge graphs and semantic web = first Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part V /
by:
(書目-語言資料,印刷品)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Bio-inspired information and communication technologies = 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Intelligent computing theories and application = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Optical SuperComputing = first international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Nature of Computation and Communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Energy Time Series Forecasting = Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain /
by:
(書目-語言資料,印刷品)
Hybride Optimierung für Dimensionsreduktion = Unüberwachte Regression mit Gradientenabstieg und evolutionären Algorithmen /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Cryptography and Network Security = 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Applications of Formal Argumentation = Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Learning Theory = 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
The Digital Synaptic Neural Substrate = A New Approach to Computational Creativity /
by:
(書目-語言資料,印刷品)
High Performance Computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Learning Theory = 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Nature of Computation and Communication = Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /
by:
(書目-語言資料,印刷品)
Applied Cryptography and Network Security = 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Semantic Web Challenges = Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Grundkurs Theoretische Informatik = Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(書目-語言資料,印刷品)
The Making of a New Science = A Personal Journey Through the Early Years of Theoretical Computer Science /
by:
(書目-語言資料,印刷品)
Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung /
by:
(書目-語言資料,印刷品)
Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Data Engineering and Automated Learning – IDEAL 2018 = 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Knowledge Engineering and Knowledge Management = 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Optimization Problems and Their Applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers /
by:
(書目-語言資料,印刷品)
Knowledge Graphs and Semantic Web = First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
AI 2019: Advances in Artificial Intelligence = 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V /
by:
(書目-語言資料,印刷品)
Bio-inspired Information and Communication Technologies = 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2019 = 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Hypothesis-Driven Simulation Studies = Assistance for the Systematic Design and Conducting of Computer Simulation Experiments /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Modeling and Using Context = 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Arto Salomaa: Mathematician, Computer Scientist, and Teacher = A Thematic Biography /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
更多
較少的
主題