Discrete Mathematics in Computer Science.
概要
| 作品: | 1062 作品在 463 項出版品 463 種語言 | |
|---|---|---|
書目資訊
Proceedings of Workshop on Interdisciplinary Sciences 2023 = interdisciplinary sciences : applied mathematics, AI, and statistics /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings /
by:
(書目-語言資料,印刷品)
Rewriting logic and its applications = 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers /
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:
(書目-語言資料,印刷品)
Approximation and online algorithms = 21st International Workshop, WAOA 2023, Amsterdam, the Netherlands, September 7-8, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Frontiers of algorithmics = 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Walcom = algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem /
by:
(書目-語言資料,印刷品)
Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 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:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics, Graph Theory and Computing = SEICCGTC 2020, Boca Raton, USA, March 9–13 /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 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:
(書目-語言資料,印刷品)
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 for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Optimization and Data Science: Trends and Applications = 5th AIROYoung Workshop and AIRO PhD School 2021 Joint Event /
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:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
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:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 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:
(書目-語言資料,印刷品)
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 for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
The Search for ExtraTerrestrial Intelligence = Proceedings of the 2nd SETI-INAF Meeting 2019 /
by:
(書目-語言資料,印刷品)
Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 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:
(書目-語言資料,印刷品)
Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, 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:
(書目-語言資料,印刷品)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 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:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
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:
(書目-語言資料,印刷品)
Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis /
by:
(書目-語言資料,印刷品)
Information Retrieval Technology = Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II /
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:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Robot Vision = Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology -- CRYPTO 2008 = 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of finite fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematics of Surfaces XI = 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Information Retrieval Technology : = Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Wireless Sensor Networks = Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Research in computational molecular biology = 12th annual international conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Progress in cryptology - Africacrypt 2008 = first international conference on cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings /
by:
(書目-語言資料,印刷品)
Fast Software Encryption = 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structural, syntactic, and statistical pattern recognition = joint IAPR international workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation = 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : 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:
(書目-語言資料,印刷品)
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
DNA computing and molecular programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 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:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in spatial and temporal databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in information and computer security = 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Latent variable analysis and signal separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Curves and surfaces = 8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Graph Drawing = 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO /
by:
(書目-語言資料,印刷品)
Comparative Genomics = RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Regulatory Genomics = RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representations in Pattern Recognition = 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Applications in Management = First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Fast Software Encryption = 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Advances in Cryptology - CRYPTO 2005 = 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Comparative Genomics : = RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Progress in Cryptology - Mycrypt 2005 : = First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(書目-語言資料,印刷品)
Practice and Theory of Automated Timetabling V : = 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers /
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:
(書目-語言資料,印刷品)
Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III /
by:
(書目-語言資料,印刷品)
The linear ordering problem = exact and heuristic methods in combinatorial optimization /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings /
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:
(書目-語言資料,印刷品)
Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Topics in cryptology = CT-RSA 2011 : the cryptographers' track at the RSA conference 2011, San Francisco, CA, USA, February 14-18, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Internet and network economics = 4th international workshop, WINE 2008, Shanghai, China, December 17-20, 2008, 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:
(書目-語言資料,印刷品)
Language, games, and evolution = trends in current research on language and game theory /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings /
by:
(書目-語言資料,印刷品)
Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic aspects of wireless sensor networks = fourth international workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization = 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Information retrieval technology = 4th Asia infomation retrieval symposium, AIRS 2008, Harbin, China, January 15-18, 2008 revised selected papers /
by:
(書目-語言資料,印刷品)
Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Progress in Cryptology - INDOCRYPT 2005 : = 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings /
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:
(書目-語言資料,印刷品)
Information Security and Privacy = 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in wireless and mobile networks = third international conferences, WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Coding and cryptology = third international workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web graph = 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Applied cryptography and network security = 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Fast software encryption = 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematics and computation in music = third international conference, MCM 2011, Paris, France, June 15-17, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Integer programming and combinatoral optimization = 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings /
by:
(書目-語言資料,印刷品)
Computation, cooperation, and life = essays dedicated to Gheorghe Paun on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computers and games = 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
by:
(書目-語言資料,印刷品)
Graph-based representations in pattern recognition = 8th IAPR-TC-15 International Workshop, GbRPR 2011, Munster, Germany, May 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial image analysis = 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2008 = 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Topics in Cryptology -- CT-RSA 2005 = The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Cryptography and Coding : = 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Discrete and Computational Geometry : = Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004
by:
(書目-語言資料,印刷品)
Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
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:
(書目-語言資料,印刷品)
Rough sets, fuzzy sets, data mining and granular computing = 12th international conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Internet and network economics = 5th international workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Provable security = third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Selected Areas in Cryptography = 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial image analysis = 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptography and coding = 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Information retrieval technology = 5th Asia information retrieval symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Digital watermarking = 7th international workshop, IWDW 2008, Busan, Korea, November 10-12, 2008 : selected papers /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Discrete geometry for computer imagery = 15th IAPR International Conference, DGCI 2009, Montreal, Canada, September 30-October 2, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer security - ESORICS 2009 = 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2009 = 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Selected Areas in Cryptography = 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematics and computation in music = first international conference, MCM 2007 Berlin, Germany, May 18-20, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptography and coding = 13th IMA international conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in cryptology = INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and network security = 10th international conference, CANS 2011, Sanya, China, December 10-12, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 : selected papers /
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:
(書目-語言資料,印刷品)
Post-quantum cryptography = 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on computational science XIV = special issue on Voronoi diagrams and Delaunay triangulation /
by:
(書目-語言資料,印刷品)
Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
High performance networking, computing, and communication systems = second international conference, ICHCC 2011, Singapore, May 5-6, 2011, selected papers /
by:
(書目-語言資料,印刷品)
Cryptographic hardware and embedded systems = CHES 2011 : 13th international workshop, Nara, Japan, September 28 - October 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Network optimization = 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Information hiding = 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in cryptology = CRYPTO 2011 : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms = ESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Information security and cryptology = ICISC 2010 : 13th international conference, Seoul, Korea, December 1-3, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in computer games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial image analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Trusted systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic and its applications = 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Business intelligence = second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication, and cryptography = 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information theory, combinatorics, and search theory = in memory of Rudolf Ahlswede /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization = 16th International Conference, IPCO 2013, Valparaiso, Chile, March 18-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Discrete geometry for computer imagery = 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graph-based representations in pattern recognition = 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and complexity = 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial pattern matching = 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and computation in music = 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Mastering the discrete Fourier transform in one, two or several dimensions = pitfalls and artifacts /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Algorithms and data structures = 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in Spatial and Temporal Databases = 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Space-efficient data structures, streams, and algorithms = papers in honor of J. Ian Munro on the occasion of his 66th birthday /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = first International Conference, GSI 2013, Paris, France, August 28-30, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2013 = 33rd annual cryptology conference, Santa Barbara, CA, USA, August 18-22, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2013 = 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2013 = 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
DNA computing and molecular programming = 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computational geometry and graph theory = international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Semantics in data and knowledge bases = third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptology and network security = 11th international conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2012 = 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in information and computer security = 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analaysis = 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings /
by:
(書目-語言資料,印刷品)
Cryptographic hardware and embedded systems - CHES 2012 = 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and knowledge discovery in databases = European conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Fast software encryption = 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2012 = 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Ordering block designs = gray codes, universal cycles and configuration orderings /
by:
(書目-語言資料,印刷品)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information security and cryptology - ICISC 2011 = 14th International Conference, Seoul, Korea, November 30 - December 2, 2011 : revised aelected papers /
by:
(書目-語言資料,印刷品)
Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web graph = 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Sequences and their applications - SETA 2012 = 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic representation and inference = 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial pattern matching = 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Numerical analysis and its applications = 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computational geometry and graphs = Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers /
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:
(書目-語言資料,印刷品)
Advances in information and computer security = 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Number theory and cryptography = papers in honor of Johannes Buchmann on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = 7th International Conference, LION 7, Catania, Italy, January 7-11, 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:
(書目-語言資料,印刷品)
Graph drawing = 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web graph = 10th International Workshop, WAW 2013 Cambridge, MA, USA, December 14-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Principles of distributed systems = 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and coding = 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Topics in Cryptology - CT-RSA 2012 = the Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptography and security = from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
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:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical modelling and scientific computation = International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web-graph = 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Graph drawing = 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information security and cryptology - ICISC 2008 = 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised selected papers /
by:
(書目-語言資料,印刷品)
Emerging trends in visual computing = LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008 ; revised invited papers /
by:
(書目-語言資料,印刷品)
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
(書目-語言資料,印刷品)
Topics in cryptology--CT-RSA 2009 = the Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Linear and integer programming vs linear integration and counting = a duality viewpoint /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Big data integration theory = theory and methods of database mappings, programming languages, and semantics /
by:
(書目-語言資料,印刷品)
Graph structures for knowledge representation and reasoning = third International Workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical methods for curves and surfaces = 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
LATIN 2014 = theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics = first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.. Part II /
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:
(書目-語言資料,印刷品)
Algorithmic aspects of cloud computing = first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : 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:
(書目-語言資料,印刷品)
Genetic programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Selected areas in cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Trusted systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
LATIN 2016 = theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Discrete geometry for computer imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization = 18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Information security and cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for computational biology = third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-based representation and reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic aspects in information and management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic representation and inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Constructive side-channel analysis and secure design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fast software encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 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 II /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
DNA computing and molecular programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(書目-語言資料,印刷品)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(書目-語言資料,印刷品)
Discrete optimization and operations research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graphical models for security = third International Workshop, GraMSec 2016, Lisbon, Portugal, June 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:
(書目-語言資料,印刷品)
Map framework = a formal model of maps as a fundamental data type in information systems /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Innovations for community services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016 : revised selected papers /
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:
(書目-語言資料,印刷品)
Swarm intelligence based optimization = second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Graph drawing and network visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
System modeling and optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Arithmetic of finite fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and complexity = 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-based representations in pattern recognition = 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial image analysis = 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Integration of AI and OR techniques in constraint programming = 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and graph algorithms = communications of NII Shonan Meetings /
by:
(書目-語言資料,印刷品)
Mathematical methods for curves and surfaces = 9th International Conference, MMCS 2016, Tonsberg, Norway, June 23-28, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cyber security cryptography and machine learning = first International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation = 10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2017 = 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Best Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematics and computation in music = 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in computer games = 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and data structures = 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Developments in language theory = 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Constructive side-channel analysis and secure design = 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
DNA computing and molecular programming = 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial evolution = 13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 25-27, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Application and theory of petri nets and concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence = first CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic game theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XV = 15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XV = 15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Adventures between lower bounds and higher altitudes = essays dedicated to Juraj Hromkovic on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Algorithmic aspects in information and management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Approximation and online algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Cellular automata = a volume in the encyclopedia of complexity and systems science, second edition /
by:
(書目-語言資料,印刷品)
Graph drawing and network visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic aspects of cloud computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 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:
(書目-語言資料,印刷品)
Advances in spatial and temporal databases = 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for computational biology = 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications = 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics = 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization = 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation = 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical optimization theory and operations research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and models for the web graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Web and big data = third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1-3, 2019 : proceedings.. Part I /
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:
(書目-語言資料,印刷品)
Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Approximation and online algorithms = 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Topics in cryptology - CT-RSA 2017 = the Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
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:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cryptography and Coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Spatial and Temporal Databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematics and Computation in Music = 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Progress in Cryptology -- INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Trusted Systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
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:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. 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:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
System Modeling and Optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings /
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:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
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:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(書目-語言資料,印刷品)
Map Framework = A Formal Model of Maps as a Fundamental Data Type in Information Systems /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II /
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:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, 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:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Fast Software Encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata = A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
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:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 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:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
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:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings /
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:
(書目-語言資料,印刷品)
Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Magic and Antimagic Graphs = Attributes, Observations and Challenges in Graph Labelings /
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:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
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:
(書目-語言資料,印刷品)
更多
較少的
主題