Search Results for - Narrowed by: SpringerLink (Online service) - Information theory.

Hyper-Heuristics: Theory and Applications

2024-06-07T04:26:06Z

by Pillay, Nelishia. author.
https://doi.org/10.1007/978-3-319-96514-7
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-06-07T04:26:06Z

by Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

Principles in Noisy Optimization Applied to Multi-agent Coordination

2024-06-07T04:26:06Z

by Rakshit, Pratyusha. author.
https://doi.org/10.1007/978-981-10-8642-7
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-06-07T04:26:06Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-06-07T04:26:06Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-06-07T04:26:06Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings

2024-06-07T04:26:06Z

by Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561
https://doi.org/10.1007/978-3-030-03667-6
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-06-07T04:26:06Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I

2024-06-07T04:26:06Z

by Yin, Hujun. editor. (orcid)0000-0002-9198-5401
https://doi.org/10.1007/978-3-030-03493-1
Format: Electronic Resources

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-06-07T04:26:06Z

by Bauer, Lujo. editor.
https://doi.org/10.1007/978-3-319-89722-6
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-06-07T04:26:06Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2024-06-07T04:26:06Z

by Manea, Florin. editor.
https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-06-07T04:26:06Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-06-07T04:26:06Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-06-07T04:26:06Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-06-07T04:26:06Z

by Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-06-07T04:26:06Z

by Ahmed, Amal. editor. (orcid)0000-0001-7424-572X
https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-06-07T04:26:06Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-06-07T04:26:06Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-06-07T04:26:06Z

by Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

An Introduction to Metaheuristics for Optimization

2024-06-07T04:26:06Z

by Chopard, Bastien. author.
https://doi.org/10.1007/978-3-319-93073-2
Format: Electronic Resources

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

2024-06-07T04:26:06Z

by Raynal, Michel. author.
https://doi.org/10.1007/978-3-319-94141-7
Format: Electronic Resources

Foraging-Inspired Optimisation Algorithms

2024-06-07T04:26:06Z

by Brabazon, Anthony. author.
https://doi.org/10.1007/978-3-319-59156-8
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-06-07T04:26:06Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources

Handbook of Parallel Constraint Reasoning

2024-06-07T04:26:06Z

by Hamadi, Youssef. editor.
https://doi.org/10.1007/978-3-319-63516-3
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXX

2024-06-07T04:26:06Z

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

Computational Matter

2024-06-07T04:26:06Z

by Stepney, Susan. editor.
https://doi.org/10.1007/978-3-319-65826-1
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-06-07T04:26:06Z

by Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-58381-4
Format: Electronic Resources

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

2024-06-07T04:26:06Z

by Böckenhauer, Hans-Joachim. editor.
https://doi.org/10.1007/978-3-319-98355-4
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-06-07T04:26:06Z

by Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-06-07T04:26:06Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-06-07T04:26:06Z

by Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2024-06-07T04:26:06Z

by Ausiello, Giorgio. author.
https://doi.org/10.1007/978-3-319-62680-2
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-06-07T04:26:06Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

Handbook of Model Checking

2024-06-07T04:26:06Z

by Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-06-07T04:26:06Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

2024-06-07T04:26:06Z

by González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262
https://doi.org/10.1007/978-3-030-01379-0
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-06-07T04:26:06Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-06-07T04:26:06Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Computational Artifacts Towards a Philosophy of Computer Science

2024-06-07T04:26:06Z

by Turner, Raymond. author.
https://doi.org/10.1007/978-3-662-55565-1
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-06-07T04:26:06Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

2024-06-07T04:26:06Z

by Rossi, Federico. editor.
https://doi.org/10.1007/978-3-319-32695-5
Format: Electronic Resources

Topics in Grammatical Inference

2024-06-07T04:26:06Z

by Heinz, Jeffrey. editor.
https://doi.org/10.1007/978-3-662-48395-4
Format: Electronic Resources

Semantic Web Challenges Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers

2024-06-07T04:26:06Z

by Sack, Harald. editor.
https://doi.org/10.1007/978-3-319-46565-4
Format: Electronic Resources

Algorithmic Learning Theory 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings

2024-06-07T04:26:06Z

by Ortner, Ronald. editor.
https://doi.org/10.1007/978-3-319-46379-7
Format: Electronic Resources

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers

2024-06-07T04:26:06Z

by Taufer, Michela. editor.
https://doi.org/10.1007/978-3-319-46079-6
Format: Electronic Resources

Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings

2024-06-07T04:26:06Z

by Lepora, Nathan F. editor.
https://doi.org/10.1007/978-3-319-42417-0
Format: Electronic Resources

Turing Computability Theory and Applications

2024-06-07T04:26:06Z

by Soare, Robert I. author.
https://doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-06-07T04:26:06Z

by Creignou, Nadia. editor.
https://doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II

2024-06-07T04:26:06Z

by Cheon, Jung Hee. editor.
https://doi.org/10.1007/978-3-662-53890-6
Format: Electronic Resources

The Digital Synaptic Neural Substrate A New Approach to Computational Creativity

2024-06-07T04:26:06Z

by Iqbal, Azlan. author.
https://doi.org/10.1007/978-3-319-28079-0
Format: Electronic Resources

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2024-06-07T04:26:06Z

by Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-41321-1
Format: Electronic Resources

Hybrid Metaheuristics Powerful Tools for Optimization

2024-06-07T04:26:06Z

by Blum, Christian. author.
https://doi.org/10.1007/978-3-319-30883-8
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I

2024-06-07T04:26:06Z

by Cheon, Jung Hee. editor.
https://doi.org/10.1007/978-3-662-53887-6
Format: Electronic Resources

Decision Diagrams for Optimization

2024-06-07T04:26:06Z

by Bergman, David. author.
https://doi.org/10.1007/978-3-319-42849-9
Format: Electronic Resources

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

2024-06-07T04:26:06Z

by Cazenave, Tristan. editor.
https://doi.org/10.1007/978-3-319-39402-2
Format: Electronic Resources

Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

2024-06-07T04:26:06Z

by Manulis, Mark. editor.
https://doi.org/10.1007/978-3-319-39555-5
Format: Electronic Resources

Evolutionary Computer Vision The First Footprints

2024-06-07T04:26:06Z

by Olague, Gustavo. author.
https://doi.org/10.1007/978-3-662-43693-6
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-06-07T04:26:06Z

by Kroening, Daniel. author.
https://doi.org/10.1007/978-3-662-50497-0
Format: Electronic Resources

An Introduction to Transfer Entropy Information Flow in Complex Systems

2024-06-07T04:26:06Z

by Bossomaier, Terry. author.
https://doi.org/10.1007/978-3-319-43222-9
Format: Electronic Resources

Nature of Computation and Communication Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers

2024-06-07T04:26:06Z

by Vinh, Phan Cong. editor.
https://doi.org/10.1007/978-3-319-46909-6
Format: Electronic Resources

Self-aware Computing Systems An Engineering Approach

2024-06-07T04:26:06Z

by Lewis, Peter R. editor.
https://doi.org/10.1007/978-3-319-39675-0
Format: Electronic Resources

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks

2024-06-07T04:26:06Z

by Nikoletseas, Sotiris. editor.
https://doi.org/10.1007/978-3-319-46810-5
Format: Electronic Resources

An Introduction to Online Computation Determinism, Randomization, Advice

2024-06-07T04:26:06Z

by Komm, Dennis. author.
https://doi.org/10.1007/978-3-319-42749-2
Format: Electronic Resources

Encyclopedia of Algorithms

2024-06-07T04:26:06Z

by Kao, Ming-Yang. editor.
https://doi.org/10.1007/978-1-4939-2864-4
Format: Electronic Resources

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers

2024-06-07T04:26:06Z

by Gadducci, Fabio. editor.
https://doi.org/10.1007/978-3-319-47286-7
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-06-07T04:26:06Z

by Alexandru, Andrei. author.
https://doi.org/10.1007/978-3-319-42282-4
Format: Electronic Resources

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2024-06-07T04:26:06Z

by Bougé, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Electronic Resources

Transactions on Computational Science I

2024-06-07T04:26:06Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-540-79299-4
Format: Electronic Resources

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy

2024-06-07T04:26:06Z

by Bramer, Max. editor.
http://dx.doi.org/10.1007/978-0-387-09695-7
Format: Electronic Resources

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

2024-06-07T04:26:06Z

by Cascini, Gaetano. editor.
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: Electronic Resources

Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy

2024-06-07T04:26:06Z

by Kendall, Michael. editor.
http://dx.doi.org/10.1007/978-0-387-09729-9
Format: Electronic Resources

Encyclopedia of Algorithms

2024-06-07T04:26:06Z

by Kao, Ming-Yang. editor.
http://dx.doi.org/10.1007/978-0-387-30162-4
Format: Electronic Resources

Probing Experience From Assessment of User Emotions and Behaviour to Development of Products

2024-06-07T04:26:06Z

by Westerink, Joyce H. D. M. editor.
http://dx.doi.org/10.1007/978-1-4020-6593-4
Format: Electronic Resources

The Art of Artificial Evolution A Handbook on Evolutionary Art and Music

2024-06-07T04:26:06Z

by Romero, Juan. editor.
http://dx.doi.org/10.1007/978-3-540-72877-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: Electronic Resources

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2024-06-07T04:26:06Z

by Avron, Arnon. editor.
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-06-07T04:26:06Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

Logics of Specification Languages

2024-06-07T04:26:06Z

by Bjørner, Dines. editor.
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-06-07T04:26:06Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources

Unfoldings A Partial-Order Approach to Model Checking

2024-06-07T04:26:06Z

by Esparza, Javier. author.
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: Electronic Resources

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

2024-06-07T04:26:06Z

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

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

2024-06-07T04:26:06Z

by Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-540-77566-9
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2024-06-07T04:26:06Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Electronic Resources

Media Theory Interdisciplinary Applied Mathematics

2024-06-07T04:26:06Z

by Eppstein, David. author.
http://dx.doi.org/10.1007/978-3-540-71697-6
Format: Electronic Resources

Transactions on Computational Science II

2024-06-07T04:26:06Z

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

Algoritmi Lo spirito dell’informatica

2024-06-07T04:26:06Z

by Harel, David. author.
http://dx.doi.org/10.1007/978-88-470-0580-8
Format: Electronic Resources

Sets, Logic and Maths for Computing

2024-06-07T04:26:06Z

by Makinson, David. author.
http://dx.doi.org/10.1007/978-1-84628-845-6
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

2024-06-07T04:26:06Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69384-0
Format: Electronic Resources

Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

2024-06-07T04:26:06Z

by Costa, Paulo Cesar G. editor.
http://dx.doi.org/10.1007/978-3-540-89765-1
Format: Electronic Resources

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2024-06-07T04:26:06Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-06-07T04:26:06Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources

Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

2024-06-07T04:26:06Z

by Baek, Joonsang. editor.
http://dx.doi.org/10.1007/978-3-540-88733-1
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers

2024-06-07T04:26:06Z

by Palma, José M. Laginha M. editor.
http://dx.doi.org/10.1007/978-3-540-92859-1
Format: Electronic Resources

A Concise Introduction to Languages and Machines

2024-06-07T04:26:06Z

by Parkes, Alan P. author.
http://dx.doi.org/10.1007/978-1-84800-121-3
Format: Electronic Resources

Multiobjective Problem Solving from Nature From Concepts to Applications

2024-06-07T04:26:06Z

by Knowles, Joshua. editor.
http://dx.doi.org/10.1007/978-3-540-72964-8
Format: Electronic Resources

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

2024-06-07T04:26:06Z

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

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-06-07T04:26:06Z

by Breugel, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: Electronic Resources

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-06-07T04:26:06Z

by Martín-Vide, Carlos. editor.
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

2024-06-07T04:26:06Z

by Agrawal, Manindra. editor.
http://dx.doi.org/10.1007/978-3-540-79228-4
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

2024-06-07T04:26:06Z

by Kawano, Yasuhito. editor.
http://dx.doi.org/10.1007/978-3-540-89304-2
Format: Electronic Resources

Advances in Applied Self-organizing Systems

2024-06-07T04:26:06Z

by Prokopenko, Mikhail. editor.
http://dx.doi.org/10.1007/978-1-84628-982-8
Format: Electronic Resources

Robust Intelligent Systems

2024-06-07T04:26:06Z

by Schuster, Alfons. editor.
http://dx.doi.org/10.1007/978-1-84800-261-6
Format: Electronic Resources

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2024-06-07T04:26:06Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Electronic Resources

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2024-06-07T04:26:06Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Electronic Resources

Time-Dependent Scheduling

2024-06-07T04:26:06Z

by Gawiejnowicz, Stanisław. author.
http://dx.doi.org/10.1007/978-3-540-69446-5
Format: Electronic Resources

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-06-07T04:26:06Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-06-07T04:26:06Z

by Hodges, Wilfrid. editor.
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2024-06-07T04:26:06Z

by Luque, Emilio. editor.
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Electronic Resources

New Computational Paradigms Changing Conceptions of What is Computable

2024-06-07T04:26:06Z

by Cooper, S. Barry. editor.
http://dx.doi.org/10.1007/978-0-387-68546-5
Format: Electronic Resources

Genetic Programming Theory and Practice V

2024-06-07T04:26:06Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Electronic Resources

An Introduction to Kolmogorov Complexity and Its Applications

2024-06-07T04:26:06Z

by Li, Ming. author.
http://dx.doi.org/10.1007/978-0-387-49820-1
Format: Electronic Resources

Hypercomputation Computing Beyond the Church-Turing Barrier

2024-06-07T04:26:06Z

by Syropoulos, Apostolos. author.
http://dx.doi.org/10.1007/978-0-387-49970-3
Format: Electronic Resources

Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing

2024-06-07T04:26:06Z

by Bandyopadhyay, Subir. author.
http://dx.doi.org/10.1007/978-3-540-72875-7
Format: Electronic Resources

Advances in Metaheuristics for Hard Optimization

2024-06-07T04:26:06Z

by Siarry, Patrick. editor.
http://dx.doi.org/10.1007/978-3-540-72960-0
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

2024-06-07T04:26:06Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69387-1
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

2024-06-07T04:26:06Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69389-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69848-7
Format: Electronic Resources

Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings

2024-06-07T04:26:06Z

by Dolev, Shlomi. editor.
http://dx.doi.org/10.1007/978-3-540-85673-3
Format: Electronic Resources

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

2024-06-07T04:26:06Z

by Ausiello, Giorgio. editor.
http://dx.doi.org/10.1007/978-0-387-09680-3
Format: Electronic Resources

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2024-06-07T04:26:06Z

by Georgiou, Chryssis. author.
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: Electronic Resources

Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy

2024-06-07T04:26:06Z

by Avison, David. editor.
http://dx.doi.org/10.1007/978-0-387-09682-7
Format: Electronic Resources

Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

2024-06-07T04:26:06Z

by Russo, Barbara. editor.
http://dx.doi.org/10.1007/978-0-387-09684-1
Format: Electronic Resources

Principles of the Spin Model Checker

2024-06-07T04:26:06Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

2024-06-07T04:26:06Z

by Cai, Jin-Yi. editor.
http://dx.doi.org/10.1007/978-3-540-72504-6
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2024-06-07T04:26:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2024-06-07T04:26:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2024-06-07T04:26:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Electronic Resources

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-06-07T04:26:06Z

by Nicolescu, G. editor.
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2024-06-07T04:26:06Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Electronic Resources

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-06-07T04:26:06Z

by Lehner, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2024-06-07T04:26:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Electronic Resources

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2024-06-07T04:26:06Z

by Leeuwen, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2024-06-07T04:26:06Z

by Cooper, S. Barry. editor.
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Electronic Resources

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-06-07T04:26:06Z

by Kleijn, Jetty. editor.
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources

Theoretical Aspects of Local Search

2024-06-07T04:26:06Z

by Michiels, Wil. author.
http://dx.doi.org/10.1007/978-3-540-35854-1
Format: Electronic Resources

A Short Course in Quantum Information Theory An Approach From Theoretical Physics

2024-06-07T04:26:06Z

by Diósi, Lajos. author.
http://dx.doi.org/10.1007/3-540-38996-2
Format: Electronic Resources

Modelling Distributed Systems

2024-06-07T04:26:06Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2024-06-07T04:26:06Z

by Leivant, Daniel. editor.
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: Electronic Resources

A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land

2024-06-07T04:26:06Z

by Cohen, William W. author.
http://dx.doi.org/10.1007/978-0-387-48278-1
Format: Electronic Resources

Genetic Programming Theory and Practice IV

2024-06-07T04:26:06Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-0-387-49650-4
Format: Electronic Resources

Deformable Models Theory and Biomaterial Applications

2024-06-07T04:26:06Z

by Suri, Jasjit S. author.
http://dx.doi.org/10.1007/978-0-387-68343-0
Format: Electronic Resources

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

2024-06-07T04:26:06Z

by Coello, Carlos A. Coello. author.
http://dx.doi.org/10.1007/978-0-387-36797-2
Format: Electronic Resources

Linear Genetic Programming

2024-06-07T04:26:06Z

by Brameier, Markus F. author.
http://dx.doi.org/10.1007/978-0-387-31030-5
Format: Electronic Resources

Metaheuristics Progress in Complex Systems Optimization

2024-06-07T04:26:06Z

by Doerner, Karl F. editor.
http://dx.doi.org/10.1007/978-0-387-71921-4
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Electronic Resources

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

2024-06-07T04:26:06Z

by Diekert, Volker. editor.
http://dx.doi.org/10.1007/978-3-540-74510-5
Format: Electronic Resources

Natural Language Processing and Text Mining

2024-06-07T04:26:06Z

by Kao, Anne. editor.
http://dx.doi.org/10.1007/978-1-84628-754-1
Format: Electronic Resources

Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligence

2024-06-07T04:26:06Z

by Bandyopadhyay, Sanghamitra. author.
http://dx.doi.org/10.1007/3-540-49607-6
Format: Electronic Resources

The Calculus of Computation Decision Procedures with Applications to Verification

2024-06-07T04:26:06Z

by Bradley, Aaron R. author.
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-06-07T04:26:06Z

by Kermarrec, Anne-Marie. editor.
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Electronic Resources

Confabulation Theory The Mechanism of Thought

2024-06-07T04:26:06Z

by Hecht-Nielsen, Robert. author.
http://dx.doi.org/10.1007/978-3-540-49605-2
Format: Electronic Resources

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-06-07T04:26:06Z

by Arge, Lars. editor.
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources

Theoretical Introduction to Programming

2024-06-07T04:26:06Z

by Mills, Bruce. author.
http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2024-06-07T04:26:06Z

by Donatelli, Susanna. editor.
http://dx.doi.org/10.1007/11767589
Format: Electronic Resources

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

2024-06-07T04:26:06Z

by Futatsugi, Kokichi. editor.
http://dx.doi.org/10.1007/11780274
Format: Electronic Resources

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

2024-06-07T04:26:06Z

by Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/11780342
Format: Electronic Resources

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

2024-06-07T04:26:06Z

by Cai, Jin-Yi. editor.
http://dx.doi.org/10.1007/11750321
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2024-06-07T04:26:06Z

by Gavrilova, Marina. editor.
http://dx.doi.org/10.1007/11751540
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2024-06-07T04:26:06Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751588
Format: Electronic Resources

Grammatical Picture Generation A Tree-Based Approach

2024-06-07T04:26:06Z

by Drewes, Frank. author.
http://dx.doi.org/10.1007/3-540-32507-7
Format: Electronic Resources

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

2024-06-07T04:26:06Z

by Grigoriev, Dima. editor.
http://dx.doi.org/10.1007/11753728
Format: Electronic Resources

Concurrent Zero-Knowledge With Additional Background by Oded Goldreich

2024-06-07T04:26:06Z

by Rosen, Alon. author.
http://dx.doi.org/10.1007/3-540-32939-0
Format: Electronic Resources

Parameterized Complexity Theory

2024-06-07T04:26:06Z

by Flum, Jörg. author.
http://dx.doi.org/10.1007/3-540-29953-X
Format: Electronic Resources

Fundamentals of Algebraic Graph Transformation

2024-06-07T04:26:06Z

by Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/3-540-31188-2
Format: Electronic Resources

Nanotechnology: Science and Computation

2024-06-07T04:26:06Z

by Chen, Junghuei. editor.
http://dx.doi.org/10.1007/3-540-30296-4
Format: Electronic Resources

Biologically Inspired Algorithms for Financial Modelling

2024-06-07T04:26:06Z

by Brabazon, Anthony. author.
http://dx.doi.org/10.1007/3-540-31307-9
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2024-06-07T04:26:06Z

by Gavrilova, Marina. editor.
http://dx.doi.org/10.1007/11751595
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2024-06-07T04:26:06Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751632
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2024-06-07T04:26:06Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751649
Format: Electronic Resources

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

2024-06-07T04:26:06Z

by Wiedermann, Jiří. editor.
http://dx.doi.org/10.1007/11611257
Format: Electronic Resources

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2024-06-07T04:26:06Z

by Bollig, Benedikt. author.
http://dx.doi.org/10.1007/3-540-32923-4
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2024-06-07T04:26:06Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11786986
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2024-06-07T04:26:06Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11787006
Format: Electronic Resources

Applications of Membrane Computing

2024-06-07T04:26:06Z

by Ciobanu, Gabriel. editor.
http://dx.doi.org/10.1007/3-540-29937-8
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2024-06-07T04:26:06Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758501
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2024-06-07T04:26:06Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758525
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2024-06-07T04:26:06Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758532
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2024-06-07T04:26:06Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758549
Format: Electronic Resources

Genetic Programming Theory and Practice III

2024-06-07T04:26:06Z

by Yu, Tina. editor.
http://dx.doi.org/10.1007/0-387-28111-8
Format: Electronic Resources

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile

2024-06-07T04:26:06Z

by Navarro, Gonzalo. editor.
http://dx.doi.org/10.1007/978-0-387-34735-6
Format: Electronic Resources

Computation Engineering Applied Automata Theory and Logic

2024-06-07T04:26:06Z

by Gopalakrishnan, Ganesh. author.
http://dx.doi.org/10.1007/0-387-32520-4
Format: Electronic Resources

Evolvable Hardware

2024-06-07T04:26:06Z

by Higuchi, Tetsuya. editor.
http://dx.doi.org/10.1007/0-387-31238-2
Format: Electronic Resources

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods

2024-06-07T04:26:06Z

by Nikolaev, Nikolay Y. author.
http://dx.doi.org/10.1007/0-387-31240-4
Format: Electronic Resources

Multivariate Public Key Cryptosystems

2024-06-07T04:26:06Z

by Ding, Jintai. author.
http://dx.doi.org/10.1007/978-0-387-36946-4
Format: Electronic Resources

Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity

2024-06-07T04:26:06Z

by Estep, Myrna. author.
http://dx.doi.org/10.1007/1-4020-5299-5
Format: Electronic Resources

Theory of Computation

2024-06-07T04:26:06Z

by Kozen, Dexter C. author.
http://dx.doi.org/10.1007/1-84628-477-5
Format: Electronic Resources

SAT 2005 Satisfiability Research in the Year 2005

2024-06-07T04:26:06Z

by Giunchiglia, Enrico. editor.
http://dx.doi.org/10.1007/978-1-4020-5571-3
Format: Electronic Resources

Experimental Research in Evolutionary Computation The New Experimentalism

2024-06-07T04:26:06Z

by Bartz-Beielstein, Thomas. author.
http://dx.doi.org/10.1007/3-540-32027-X
Format: Electronic Resources

Interactive Computation The New Paradigm

2024-06-07T04:26:06Z

by Goldin, Dina. editor.
http://dx.doi.org/10.1007/3-540-34874-3
Format: Electronic Resources

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

2024-06-07T04:26:06Z

by Levi, Albert. editor.
http://dx.doi.org/10.1007/11902140
Format: Electronic Resources

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2024-06-07T04:26:06Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/11823285
Format: Electronic Resources

Coordination of Large-Scale Multiagent Systems

2024-06-07T04:26:06Z

by Scerri, Paul. editor.
http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2024-06-07T04:26:06Z

by Zomaya, Albert Y. editor.
http://dx.doi.org/10.1007/0-387-27705-6
Format: Electronic Resources

Complexity Theory and Cryptology An Introduction to Cryptocomplexity

2024-06-07T04:26:06Z

by Rothe, Jörg. author.
http://dx.doi.org/10.1007/3-540-28520-2
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136271
Format: Electronic Resources

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-06-07T04:26:06Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/b136988
Format: Electronic Resources

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2024-06-07T04:26:06Z

by Yolum, pInar. editor.
http://dx.doi.org/10.1007/11569596
Format: Electronic Resources

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

2024-06-07T04:26:06Z

by Diekert, Volker. editor.
http://dx.doi.org/10.1007/b106485
Format: Electronic Resources

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2024-06-07T04:26:06Z

by Cunha, José C. editor.
http://dx.doi.org/10.1007/11549468
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

2024-06-07T04:26:06Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136575
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

2024-06-07T04:26:06Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136571
Format: Electronic Resources

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

2024-06-07T04:26:06Z

by Cooper, S. Barry. editor.
http://dx.doi.org/10.1007/b136981
Format: Electronic Resources

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

2024-06-07T04:26:06Z

by Hromkovič, Juraj. author.
http://dx.doi.org/10.1007/b137871
Format: Electronic Resources

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

2024-06-07T04:26:06Z

by Liew, Kim-Meow. editor.
http://dx.doi.org/10.1007/b103538
Format: Electronic Resources

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-06-07T04:26:06Z

by Maher, Michael J. editor.
http://dx.doi.org/10.1007/b103476
Format: Electronic Resources

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2024-06-07T04:26:06Z

by Chapman, Barbara M. editor.
http://dx.doi.org/10.1007/b105895
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2024-06-07T04:26:06Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136570
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136278
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136269
Format: Electronic Resources

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

2024-06-07T04:26:06Z

by Vojtáš, Peter. editor.
http://dx.doi.org/10.1007/b105088
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

2024-06-07T04:26:06Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/b106965
Format: Electronic Resources

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2024-06-07T04:26:06Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/11523468
Format: Electronic Resources

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2024-06-07T04:26:06Z

by Liu, Jiming. author.
http://dx.doi.org/10.1007/b101185
Format: Electronic Resources

Contemporary Cryptology

2024-06-07T04:26:06Z

by Catalano, Dario. author.
http://dx.doi.org/10.1007/3-7643-7394-6
Format: Electronic Resources

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2024-06-07T04:26:06Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources

Metaheuristics: Progress as Real Problem Solvers

2024-06-07T04:26:06Z

by Ibaraki, Toshihide. editor.
http://dx.doi.org/10.1007/b107306
Format: Electronic Resources

Systems Approaches and Their Application Examples from Sweden

2024-06-07T04:26:06Z

by Olsson, Mats-Olov. editor.
http://dx.doi.org/10.1007/1-4020-2370-7
Format: Electronic Resources

Super-Recursive Algorithms

2024-06-07T04:26:06Z

by Burgin, Mark. author.
http://dx.doi.org/10.1007/b138114
Format: Electronic Resources

Handbook of Biomedical Image Analysis Volume II: Segmentation Models Part B

2024-06-07T04:26:06Z

by Suri, Jasjit S. editor.
http://dx.doi.org/10.1007/b104806
Format: Electronic Resources

Handbook of Biomedical Image Analysis Volume III: Registration Models

2024-06-07T04:26:06Z

by Suri, Jasjit S. editor.
http://dx.doi.org/10.1007/b104807
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

2024-06-07T04:26:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136266
Format: Electronic Resources

Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability

2024-06-07T04:26:06Z

by Hutter, Marcus. author.
http://dx.doi.org/10.1007/b138233
Format: Electronic Resources

Theoretical and Experimental DNA Computation

2024-06-07T04:26:06Z

by Amos, Martyn. author.
http://dx.doi.org/10.1007/3-540-28131-2
Format: Electronic Resources

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

2024-06-07T04:26:06Z

by Zhang, Jun. editor.
http://dx.doi.org/10.1007/b104566
Format: Electronic Resources

Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain

2024-06-07T04:26:06Z

by Gaïti, Dominique. editor.
http://dx.doi.org/10.1007/b100917
Format: Electronic Resources

Genetic Programming Theory and Practice II

2024-06-07T04:26:06Z

by O’Reilly, Una-May. editor.
http://dx.doi.org/10.1007/b101112
Format: Electronic Resources

Event-Triggered and Time-Triggered Control Paradigms

2024-06-07T04:26:06Z

by Obermaisser, Roman. author.
http://dx.doi.org/10.1007/978-0-387-23044-3
Format: Electronic Resources

Semistructured Database Design

2024-06-07T04:26:06Z

by Ling, Tok Wang. author.
http://dx.doi.org/10.1007/b101873
Format: Electronic Resources

Handbook of Biomedical Image Analysis Volume I: Segmentation Models Part A

2024-06-07T04:26:06Z

by Suri, Jasjit S. editor.
http://dx.doi.org/10.1007/b104805
Format: Electronic Resources