Search Results for Computation by Abstract Devices.

Encyclopedia of Computational Neuroscience

2026-04-02T03:33:04Z

by Jaeger, Dieter. editor.
http://dx.doi.org/10.1007/978-1-4614-6675-8
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2026-04-02T03:33:04Z

by Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-05416-2
Format: Electronic Resources

Time and Petri Nets

2026-04-02T03:33:04Z

by Popova-Zeugmann, Louchka. author.
http://dx.doi.org/10.1007/978-3-642-41115-1
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency VII

2026-04-02T03:33:04Z

by Jensen, Kurt. editor.
http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Electronic Resources

Model-Driven Dependability Assessment of Software Systems

2026-04-02T03:33:04Z

by Bernardi, Simona. author.
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources

Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Grimaldo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-14627-0
Format: Electronic Resources

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

2026-04-02T03:33:04Z

by Giardini, Francesca. editor.
http://dx.doi.org/10.1007/978-3-642-38859-0
Format: Electronic Resources

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Alam, Shah Jamal. editor.
http://dx.doi.org/10.1007/978-3-642-54783-6
Format: Electronic Resources

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

2026-04-02T03:33:04Z

by Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-21819-9
Format: Electronic Resources

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2026-04-02T03:33:04Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

2026-04-02T03:33:04Z

by Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

2026-04-02T03:33:04Z

by Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2026-04-02T03:33:04Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources

Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings

2026-04-02T03:33:04Z

by Lones, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-23108-2
Format: Electronic Resources

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

2026-04-02T03:33:04Z

by Atmanspacher, Harald. editor.
http://dx.doi.org/10.1007/978-3-642-54943-4
Format: Electronic Resources

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

2026-04-02T03:33:04Z

by Bojańczyk, Mikołaj. editor.
http://dx.doi.org/10.1007/978-3-319-24537-9
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2026-04-02T03:33:04Z

by Ait Ameur, Yamine. editor.
http://dx.doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources

Statistical Language and Speech Processing Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-25789-1
Format: Electronic Resources

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings

2026-04-02T03:33:04Z

by Ciucci, Davide. editor.
http://dx.doi.org/10.1007/978-3-642-41218-9
Format: Electronic Resources

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2026-04-02T03:33:04Z

by Blesa, María J. editor.
http://dx.doi.org/10.1007/978-3-642-38516-2
Format: Electronic Resources

Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings

2026-04-02T03:33:04Z

by Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-07644-7
Format: Electronic Resources

Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

2026-04-02T03:33:04Z

by Wang, Jianxin. editor.
http://dx.doi.org/10.1007/978-3-319-19647-3
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2026-04-02T03:33:04Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/978-3-319-19195-9
Format: Electronic Resources

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Nicolau, Miguel. editor.
http://dx.doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings

2026-04-02T03:33:04Z

by Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Dueck, Gerhard W. editor.
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Electronic Resources

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2026-04-02T03:33:04Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-45711-5
Format: Electronic Resources

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Beyer, Dirk. editor.
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Electronic Resources

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

2026-04-02T03:33:04Z

by Shi, Xiaodong. editor.
http://dx.doi.org/10.1007/978-3-662-45701-6
Format: Electronic Resources

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources

Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.

2026-04-02T03:33:04Z

by Yoshida, Hiroyuki. editor.
http://dx.doi.org/10.1007/978-3-319-13692-9
Format: Electronic Resources

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Grandinetti, Lucio. editor.
http://dx.doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2026-04-02T03:33:04Z

by Yamashita, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimisation 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Blum, Christian. editor.
http://dx.doi.org/10.1007/978-3-662-44320-0
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2026-04-02T03:33:04Z

by Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-17581-2
Format: Electronic Resources

Transactions on Computational Collective Intelligence X

2026-04-02T03:33:04Z

by Nguyen, Ngoc-Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-38496-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence IX

2026-04-02T03:33:04Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-36815-8
Format: Electronic Resources

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2026-04-02T03:33:04Z

by Glück, Robert. editor.
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Electronic Resources

Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings

2026-04-02T03:33:04Z

by Sahai, Amit. editor.
http://dx.doi.org/10.1007/978-3-642-36594-2
Format: Electronic Resources

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Rozenberg, Grzegorz. editor.
http://dx.doi.org/10.1007/978-3-319-28475-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XI

2026-04-02T03:33:04Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: Electronic Resources

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

2026-04-02T03:33:04Z

by Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Krawiec, Krzysztof. editor.
http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Electronic Resources

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

2026-04-02T03:33:04Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Vanneschi, Leonardo. editor.
http://dx.doi.org/10.1007/978-3-642-37189-9
Format: Electronic Resources

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Gheorghe, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2026-04-02T03:33:04Z

by Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2026-04-02T03:33:04Z

by Sankaranarayanan, Sriram. editor.
http://dx.doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources

Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings

2026-04-02T03:33:04Z

by Liu, Derong. editor.
http://dx.doi.org/10.1007/978-3-642-38786-9
Format: Electronic Resources

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedings

2026-04-02T03:33:04Z

by Bouchachia, Abdelhamid. editor.
http://dx.doi.org/10.1007/978-3-319-11298-5
Format: Electronic Resources

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedings

2026-04-02T03:33:04Z

by Pardo, Alberto. editor.
http://dx.doi.org/10.1007/978-3-642-54423-1
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Middendorf, Martin. editor.
http://dx.doi.org/10.1007/978-3-642-37198-1
Format: Electronic Resources

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

2026-04-02T03:33:04Z

by Atmanspacher, Harald. editor.
http://dx.doi.org/10.1007/978-3-319-15931-7
Format: Electronic Resources

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2026-04-02T03:33:04Z

by Pizzuti, Clara. editor.
http://dx.doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources

Transactions on Computational Collective Intelligence XX

2026-04-02T03:33:04Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-319-27543-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVIII

2026-04-02T03:33:04Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-48145-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence XIX

2026-04-02T03:33:04Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2026-04-02T03:33:04Z

by Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings

2026-04-02T03:33:04Z

by Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings

2026-04-02T03:33:04Z

by Youssef, Amr. editor.
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: Electronic Resources

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2026-04-02T03:33:04Z

by ten Cate, Balder. editor.
http://dx.doi.org/10.1007/978-3-319-22002-4
Format: Electronic Resources

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Plaat, Aske. editor.
http://dx.doi.org/10.1007/978-3-319-27992-3
Format: Electronic Resources

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

2026-04-02T03:33:04Z

by Legrand, Pierrick. editor.
http://dx.doi.org/10.1007/978-3-319-11683-9
Format: Electronic Resources

Statistical Learning and Data Sciences Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings

2026-04-02T03:33:04Z

by Gammerman, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-17091-6
Format: Electronic Resources

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

2026-04-02T03:33:04Z

by Casadio, Claudia. editor.
http://dx.doi.org/10.1007/978-3-642-54789-8
Format: Electronic Resources

Scale Space and Variational Methods in Computer Vision 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings

2026-04-02T03:33:04Z

by Aujol, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-319-18461-6
Format: Electronic Resources

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2026-04-02T03:33:04Z

by Kontchakov, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-11113-1
Format: Electronic Resources

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2026-04-02T03:33:04Z

by Csuhaj-Varjú, Erzsébet. editor.
http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Electronic Resources

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

2026-04-02T03:33:04Z

by Lee, Minho. editor.
http://dx.doi.org/10.1007/978-3-642-42042-9
Format: Electronic Resources

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III

2026-04-02T03:33:04Z

by Lee, Minho. editor.
http://dx.doi.org/10.1007/978-3-642-42051-1
Format: Electronic Resources

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I

2026-04-02T03:33:04Z

by Lee, Minho. editor.
http://dx.doi.org/10.1007/978-3-642-42054-2
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

2026-04-02T03:33:04Z

by Tomassini, Marco. editor.
http://dx.doi.org/10.1007/978-3-642-37213-1
Format: Electronic Resources

Regulated Grammars and Automata

2026-04-02T03:33:04Z

by Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2026-04-02T03:33:04Z

by Krivine, Jean. editor.
http://dx.doi.org/10.1007/978-3-319-20860-2
Format: Electronic Resources

Web Technologies and Applications APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Cai, Ruichu. editor.
http://dx.doi.org/10.1007/978-3-319-28121-6
Format: Electronic Resources

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Naumann, David. editor.
http://dx.doi.org/10.1007/978-3-319-14806-9
Format: Electronic Resources

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-04-02T03:33:04Z

by Karhumäki, Juhani. editor.
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-04-02T03:33:04Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Panigrahi, Bijaya Ketan. editor.
http://dx.doi.org/10.1007/978-3-319-20294-5
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

2026-04-02T03:33:04Z

by Gaspar-Cunha, António. editor.
http://dx.doi.org/10.1007/978-3-319-15934-8
Format: Electronic Resources

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2026-04-02T03:33:04Z

by Potapov, Igor. editor.
http://dx.doi.org/10.1007/978-3-319-21500-6
Format: Electronic Resources

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

2026-04-02T03:33:04Z

by Pardalos, Panos M. editor.
http://dx.doi.org/10.1007/978-3-319-09584-4
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II

2026-04-02T03:33:04Z

by Gaspar-Cunha, António. editor.
http://dx.doi.org/10.1007/978-3-319-15892-1
Format: Electronic Resources

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2026-04-02T03:33:04Z

by Shur, Arseny M. editor.
http://dx.doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Isokawa, Teijiro. editor.
http://dx.doi.org/10.1007/978-3-319-18812-6
Format: Electronic Resources

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

2026-04-02T03:33:04Z

by Pan, Jeng-Shyang. editor.
http://dx.doi.org/10.1007/978-3-642-40846-5
Format: Electronic Resources

Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings

2026-04-02T03:33:04Z

by Maji, Pradipta. editor.
http://dx.doi.org/10.1007/978-3-642-45062-4
Format: Electronic Resources

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2026-04-02T03:33:04Z

by Béal, Marie-Pierre. editor.
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Electronic Resources

Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2026-04-02T03:33:04Z

by Mora, Antonio M. editor.
http://dx.doi.org/10.1007/978-3-319-16549-3
Format: Electronic Resources

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2026-04-02T03:33:04Z

by Bjørner, Nikolaj. editor.
http://dx.doi.org/10.1007/978-3-319-19249-9
Format: Electronic Resources

Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

2026-04-02T03:33:04Z

by Roux, Olivier. editor.
http://dx.doi.org/10.1007/978-3-319-23401-4
Format: Electronic Resources

Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-26841-5
Format: Electronic Resources

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-13749-0
Format: Electronic Resources

Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers

2026-04-02T03:33:04Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-26520-9
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2026-04-02T03:33:04Z

by Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
Format: Electronic Resources

Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday

2026-04-02T03:33:04Z

by Zaroliagis, Christos. editor.
http://dx.doi.org/10.1007/978-3-319-24024-4
Format: Electronic Resources

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-642-45008-2
Format: Electronic Resources

Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers

2026-04-02T03:33:04Z

by Sanità, Laura. editor.
http://dx.doi.org/10.1007/978-3-319-28684-6
Format: Electronic Resources

Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

2026-04-02T03:33:04Z

by Felty, Amy P. editor.
http://dx.doi.org/10.1007/978-3-319-21401-6
Format: Electronic Resources

Social Media Processing 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings

2026-04-02T03:33:04Z

by Zhang, Xichun. editor.
http://dx.doi.org/10.1007/978-981-10-0080-5
Format: Electronic Resources

Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

2026-04-02T03:33:04Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-09333-8
Format: Electronic Resources

Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings

2026-04-02T03:33:04Z

by Bazzan, Ana L.C. editor.
http://dx.doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2026-04-02T03:33:04Z

by Wolff, Burkhart. editor.
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Electronic Resources

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

2026-04-02T03:33:04Z

by Ferrández Vicente, José Manuel. editor.
http://dx.doi.org/10.1007/978-3-642-38622-0
Format: Electronic Resources

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

2026-04-02T03:33:04Z

by Ferrández Vicente, José Manuel. editor.
http://dx.doi.org/10.1007/978-3-642-38637-4
Format: Electronic Resources

Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings

2026-04-02T03:33:04Z

by Sokolova, Marina. editor.
http://dx.doi.org/10.1007/978-3-319-06483-3
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014. Proceedings

2026-04-02T03:33:04Z

by Corchado, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-10840-7
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Formenti, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-09042-9
Format: Electronic Resources

Social Media Processing Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedings

2026-04-02T03:33:04Z

by Huang, Heyan. editor.
http://dx.doi.org/10.1007/978-3-662-45558-6
Format: Electronic Resources

Machine Learning, Optimization, and Big Data First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Pardalos, Panos. editor.
http://dx.doi.org/10.1007/978-3-319-27926-8
Format: Electronic Resources

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

2026-04-02T03:33:04Z

by Norman, Gethin. editor.
http://dx.doi.org/10.1007/978-3-319-10696-0
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

2026-04-02T03:33:04Z

by Kari, Jarkko. editor.
http://dx.doi.org/10.1007/978-3-662-47221-7
Format: Electronic Resources

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2026-04-02T03:33:04Z

by Mendes, Pedro. editor.
http://dx.doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

2026-04-02T03:33:04Z

by Kuijper, Arjan. editor.
http://dx.doi.org/10.1007/978-3-642-38267-3
Format: Electronic Resources

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2026-04-02T03:33:04Z

by Ruhe, Günther. editor.
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Electronic Resources

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining

2026-04-02T03:33:04Z

by Wachsmuth, Henning. author.
http://dx.doi.org/10.1007/978-3-319-25741-9
Format: Electronic Resources

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2026-04-02T03:33:04Z

by Campos, Javier. editor.
http://dx.doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46497-7
Format: Electronic Resources

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2026-04-02T03:33:04Z

by Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2026-04-02T03:33:04Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-642-39479-9
Format: Electronic Resources

Hybrid Artificial Intelligent Systems 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings

2026-04-02T03:33:04Z

by Onieva, Enrique. editor.
http://dx.doi.org/10.1007/978-3-319-19644-2
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

2026-04-02T03:33:04Z

by Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46494-6
Format: Electronic Resources

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

2026-04-02T03:33:04Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-09330-7
Format: Electronic Resources

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I

2026-04-02T03:33:04Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-642-38658-9
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

2026-04-02T03:33:04Z

by Peterson, Leif E. editor.
http://dx.doi.org/10.1007/978-3-642-38342-7
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III

2026-04-02T03:33:04Z

by Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26555-1
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

2026-04-02T03:33:04Z

by Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26561-2
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I

2026-04-02T03:33:04Z

by Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26532-2
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26535-3
Format: Electronic Resources

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

2026-04-02T03:33:04Z

by Siarry, Patrick. editor.
http://dx.doi.org/10.1007/978-3-319-12970-9
Format: Electronic Resources

Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Esparcia-Alcázar, Anna I. editor.
http://dx.doi.org/10.1007/978-3-662-45523-4
Format: Electronic Resources

Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings

2026-04-02T03:33:04Z

by Likas, Aristidis. editor.
http://dx.doi.org/10.1007/978-3-319-07064-3
Format: Electronic Resources

Hybrid Artificial Intelligence Systems 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings

2026-04-02T03:33:04Z

by Polycarpou, Marios. editor.
http://dx.doi.org/10.1007/978-3-319-07617-1
Format: Electronic Resources

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

2026-04-02T03:33:04Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-642-38610-7
Format: Electronic Resources

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2026-04-02T03:33:04Z

by Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2015 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings

2026-04-02T03:33:04Z

by Jackowski, Konrad. editor.
http://dx.doi.org/10.1007/978-3-319-24834-9
Format: Electronic Resources

Advances in Artificial Intelligence 16th Conference of the Spanish Association for Artiﬁcial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings

2026-04-02T03:33:04Z

by Puerta, José M. editor.
http://dx.doi.org/10.1007/978-3-319-24598-0
Format: Electronic Resources

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

2026-04-02T03:33:04Z

by Lepora, Nathan F. editor.
http://dx.doi.org/10.1007/978-3-642-39802-5
Format: Electronic Resources

Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings

2026-04-02T03:33:04Z

by Cheng, Shin-Ming. editor.
http://dx.doi.org/10.1007/978-3-319-13987-6
Format: Electronic Resources

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-04-02T03:33:04Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources

Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

2026-04-02T03:33:04Z

by Drewes, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-22360-5
Format: Electronic Resources

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

2026-04-02T03:33:04Z

by Panigrahi, Bijaya Ketan. editor.
http://dx.doi.org/10.1007/978-3-319-03756-1
Format: Electronic Resources

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I

2026-04-02T03:33:04Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-22180-9
Format: Electronic Resources

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2026-04-02T03:33:04Z

by Machado, Penousal. editor.
http://dx.doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-04-02T03:33:04Z

by Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by DI Serio, Clelia. editor.
http://dx.doi.org/10.1007/978-3-319-24462-4
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings

2026-04-02T03:33:04Z

by Bartz-Beielstein, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-10762-2
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings

2026-04-02T03:33:04Z

by Wermter, Stefan. editor.
http://dx.doi.org/10.1007/978-3-319-11179-7
Format: Electronic Resources

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2026-04-02T03:33:04Z

by Rendell, Alistair P. editor.
http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources

Intelligent Strategies for Pathway Mining Model and Pattern Identification

2026-04-02T03:33:04Z

by Chen, Qingfeng. editor.
http://dx.doi.org/10.1007/978-3-319-04172-8
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II

2026-04-02T03:33:04Z

by Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12640-1
Format: Electronic Resources

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers

2026-04-02T03:33:04Z

by Li, Xiao-Li. editor.
http://dx.doi.org/10.1007/978-3-319-25660-3
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-04-02T03:33:04Z

by Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings

2026-04-02T03:33:04Z

by Suzuki, Joe. editor.
http://dx.doi.org/10.1007/978-3-319-28379-1
Format: Electronic Resources

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

2026-04-02T03:33:04Z

by Bielza, Concha. editor.
http://dx.doi.org/10.1007/978-3-642-40643-0
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I

2026-04-02T03:33:04Z

by Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12637-1
Format: Electronic Resources

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings

2026-04-02T03:33:04Z

by Wąs, Jarosław. editor.
http://dx.doi.org/10.1007/978-3-319-11520-7
Format: Electronic Resources

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

2026-04-02T03:33:04Z

by Durand-Lose, Jerome. editor.
http://dx.doi.org/10.1007/978-3-319-23111-2
Format: Electronic Resources

Advances in Data Mining: Applications and Theoretical Aspects 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015, Proceedings

2026-04-02T03:33:04Z

by Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-20910-4
Format: Electronic Resources

Advances in Artificial Intelligence 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings

2026-04-02T03:33:04Z

by Barbosa, Denilson. editor.
http://dx.doi.org/10.1007/978-3-319-18356-5
Format: Electronic Resources

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedings

2026-04-02T03:33:04Z

by Aguilera, Marcos K. editor.
http://dx.doi.org/10.1007/978-3-319-14472-6
Format: Electronic Resources

Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings

2026-04-02T03:33:04Z

by Zaïane, Osmar R. editor.
http://dx.doi.org/10.1007/978-3-642-38457-8
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2026-04-02T03:33:04Z

by Giacobazzi, Roberto. editor.
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2026-04-02T03:33:04Z

by Ochoa, Gabriela. editor.
http://dx.doi.org/10.1007/978-3-319-16468-7
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III

2026-04-02T03:33:04Z

by Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12643-2
Format: Electronic Resources

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

2026-04-02T03:33:04Z

by Panigrahi, Bijaya Ketan. editor.
http://dx.doi.org/10.1007/978-3-319-03753-0
Format: Electronic Resources

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2026-04-02T03:33:04Z

by Konstantinidis, Stavros. editor.
http://dx.doi.org/10.1007/978-3-642-39274-0
Format: Electronic Resources

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Ferrández Vicente, José Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-18833-1
Format: Electronic Resources

Machine Learning Meets Medical Imaging First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Bhatia, Kanwal K. editor.
http://dx.doi.org/10.1007/978-3-319-27929-9
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2026-04-02T03:33:04Z

by Pecheur, Charles. editor.
http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Electronic Resources

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-22186-1
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2026-04-02T03:33:04Z

by McMillan, Kenneth L. editor.
http://dx.doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2026-04-02T03:33:04Z

by Cranefield, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2026-04-02T03:33:04Z

by Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2026-04-02T03:33:04Z

by Bianculli, Domenico. editor.
http://dx.doi.org/10.1007/978-3-662-49224-6
Format: Electronic Resources

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

2026-04-02T03:33:04Z

by Holzer, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-08846-4
Format: Electronic Resources

Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I

2026-04-02T03:33:04Z

by Ferrández Vicente, José Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-18914-7
Format: Electronic Resources

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2026-04-02T03:33:04Z

by Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
Format: Electronic Resources

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

2026-04-02T03:33:04Z

by Dhaenens, Clarisse. editor.
http://dx.doi.org/10.1007/978-3-319-19084-6
Format: Electronic Resources

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

2026-04-02T03:33:04Z

by Tan, Tieniu. editor.
http://dx.doi.org/10.1007/978-3-662-45498-5
Format: Electronic Resources

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2026-04-02T03:33:04Z

by Fomin, Fedor V. editor.
http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2026-04-02T03:33:04Z

by Fomin, Fedor V. editor.
http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Nicosia, Giuseppe. editor.
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings

2026-04-02T03:33:04Z

by Chalup, Stephan K. editor.
http://dx.doi.org/10.1007/978-3-319-14803-8
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2026-04-02T03:33:04Z

by Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings

2026-04-02T03:33:04Z

by Lindell, Yehuda. editor.
http://dx.doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2026-04-02T03:33:04Z

by Masulli, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2026-04-02T03:33:04Z

by Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2026-04-02T03:33:04Z

by Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2026-04-02T03:33:04Z

by Gupta, Ashutosh. editor.
http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Electronic Resources

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Esparcia-Alcázar, Anna I. editor.
http://dx.doi.org/10.1007/978-3-642-37192-9
Format: Electronic Resources

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2026-04-02T03:33:04Z

by Jurgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Electronic Resources

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Mauri, Giancarlo. editor.
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

2026-04-02T03:33:04Z

by D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources

Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I

2026-04-02T03:33:04Z

by Iliadis, Lazaros. editor.
http://dx.doi.org/10.1007/978-3-642-41013-0
Format: Electronic Resources

Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II

2026-04-02T03:33:04Z

by Iliadis, Lazaros. editor.
http://dx.doi.org/10.1007/978-3-642-41016-1
Format: Electronic Resources

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedings

2026-04-02T03:33:04Z

by Pobil, Angel P. del. editor.
http://dx.doi.org/10.1007/978-3-319-08864-8
Format: Electronic Resources

Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings

2026-04-02T03:33:04Z

by Kryszkiewicz, Marzena. editor.
http://dx.doi.org/10.1007/978-3-319-19941-2
Format: Electronic Resources

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2026-04-02T03:33:04Z

by Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

2026-04-02T03:33:04Z

by Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2026-04-02T03:33:04Z

by Baldoni, Roberto. editor.
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-22383-4
Format: Electronic Resources

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2026-04-02T03:33:04Z

by Riguzzi, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources

Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Maler, Oded. editor.
http://dx.doi.org/10.1007/978-3-319-27656-4
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2026-04-02T03:33:04Z

by Murata, Satoshi. editor.
http://dx.doi.org/10.1007/978-3-319-11295-4
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-04-02T03:33:04Z

by Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

2026-04-02T03:33:04Z

by Yin, Hujun. editor.
http://dx.doi.org/10.1007/978-3-642-41278-3
Format: Electronic Resources

Algorithms for Sensor Systems 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers

2026-04-02T03:33:04Z

by Bose, Prosenjit. editor.
http://dx.doi.org/10.1007/978-3-319-28472-9
Format: Electronic Resources

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2026-04-02T03:33:04Z

by Shallit, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-319-19225-3
Format: Electronic Resources

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2026-04-02T03:33:04Z

by Jain, Sanjay. editor.
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Electronic Resources

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings

2026-04-02T03:33:04Z

by Dick, Grant. editor.
http://dx.doi.org/10.1007/978-3-319-13563-2
Format: Electronic Resources

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2026-04-02T03:33:04Z

by Phillips, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-21999-8
Format: Electronic Resources

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-04-02T03:33:04Z

by Coecke, Bob. editor.
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2026-04-02T03:33:04Z

by Soloveichik, David. editor.
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

2026-04-02T03:33:04Z

by Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-24309-2
Format: Electronic Resources

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Bonizzoni, Paola. editor.
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2026-04-02T03:33:04Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Electronic Resources

Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2026-04-02T03:33:04Z

by Yoshida, Hiroyuki. editor.
http://dx.doi.org/10.1007/978-3-642-41083-3
Format: Electronic Resources

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2026-04-02T03:33:04Z

by Bulatov, Andrei A. editor.
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Azzopardi, George. editor.
http://dx.doi.org/10.1007/978-3-319-23117-4
Format: Electronic Resources

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I

2026-04-02T03:33:04Z

by Azzopardi, George. editor.
http://dx.doi.org/10.1007/978-3-319-23192-1
Format: Electronic Resources

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2026-04-02T03:33:04Z

by Du, Ding-Zhu. editor.
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: Electronic Resources

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2026-04-02T03:33:04Z

by Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2026-04-02T03:33:04Z

by Iwama, Kazuo. editor.
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

2026-04-02T03:33:04Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-07176-3
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

2026-04-02T03:33:04Z

by Mladenov, Valeri. editor.
http://dx.doi.org/10.1007/978-3-642-40728-4
Format: Electronic Resources

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

2026-04-02T03:33:04Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-19324-3
Format: Electronic Resources

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

2026-04-02T03:33:04Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-07173-2
Format: Electronic Resources

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-04-02T03:33:04Z

by Kari, Jarkko. editor.
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: Electronic Resources

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by van den Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources

Towards Autonomous Robotic Systems 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings

2026-04-02T03:33:04Z

by Dixon, Clare. editor.
http://dx.doi.org/10.1007/978-3-319-22416-9
Format: Electronic Resources

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

2026-04-02T03:33:04Z

by Cai, Zhipeng. editor.
http://dx.doi.org/10.1007/978-3-319-08783-2
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2026-04-02T03:33:04Z

by Colom, José-Manuel. editor.
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Electronic Resources

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

2026-04-02T03:33:04Z

by Xu, Dachuan. editor.
http://dx.doi.org/10.1007/978-3-319-21398-9
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2026-04-02T03:33:04Z

by Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47666-6
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2026-04-02T03:33:04Z

by Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources

Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014. Proceedings

2026-04-02T03:33:04Z

by Gayar, Neamat El. editor.
http://dx.doi.org/10.1007/978-3-319-11656-3
Format: Electronic Resources

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2026-04-02T03:33:04Z

by Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

2026-04-02T03:33:04Z

by Pointcheval, David. editor.
http://dx.doi.org/10.1007/978-3-319-06734-6
Format: Electronic Resources

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2026-04-02T03:33:04Z

by Guo, Chengan. editor.
http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Electronic Resources

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2026-04-02T03:33:04Z

by Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-04-02T03:33:04Z

by Guo, Chengan. editor.
http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2026-04-02T03:33:04Z

by Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43948-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2026-04-02T03:33:04Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-13823-7
Format: Electronic Resources

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2026-04-02T03:33:04Z

by Diaz, Josep. editor.
http://dx.doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2026-04-02T03:33:04Z

by Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47672-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-04-02T03:33:04Z

by Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2026-04-02T03:33:04Z

by Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-04-02T03:33:04Z

by Järvisalo, Matti. editor.
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2026-04-02T03:33:04Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2026-04-02T03:33:04Z

by Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

2026-04-02T03:33:04Z

by Raghavendra, Prasad. editor.
http://dx.doi.org/10.1007/978-3-642-40328-6
Format: Electronic Resources

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2026-04-02T03:33:04Z

by Darling, Aaron. editor.
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: Electronic Resources

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2026-04-02T03:33:04Z

by Lodaya, Kamal. editor.
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources

Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

2026-04-02T03:33:04Z

by Mistry, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-10401-0
Format: Electronic Resources

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2026-04-02T03:33:04Z

by Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Electronic Resources

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2026-04-02T03:33:04Z

by O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Electronic Resources

Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers

2026-04-02T03:33:04Z

by Sadeghi, Ahmad-Reza. editor.
http://dx.doi.org/10.1007/978-3-642-39884-1
Format: Electronic Resources