Search Results for - Narrowed by: 2008 - Theory of Computation.

Decision Procedures An Algorithmic Point of View

2024-06-07T13:18:18Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
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-07T13:18:18Z

by Kawano, Yasuhito. editor.
http://dx.doi.org/10.1007/978-3-540-89304-2
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-07T13:18:18Z

by Palma, José M. Laginha M. editor.
http://dx.doi.org/10.1007/978-3-540-92859-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-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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-07T13:18:18Z

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

Advances in Metaheuristics for Hard Optimization

2024-06-07T13:18:18Z

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

Multiobjective Problem Solving from Nature From Concepts to Applications

2024-06-07T13:18:18Z

by Knowles, Joshua. editor.
http://dx.doi.org/10.1007/978-3-540-72964-8
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-07T13:18:18Z

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-07T13:18:18Z

by Russo, Barbara. editor.
http://dx.doi.org/10.1007/978-0-387-09684-1
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-07T13:18:18Z

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-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

Media Theory Interdisciplinary Applied Mathematics

2024-06-07T13:18:18Z

by Eppstein, David. author.
http://dx.doi.org/10.1007/978-3-540-71697-6
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-07T13:18:18Z

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

Algoritmi Lo spirito dell’informatica

2024-06-07T13:18:18Z

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

Encyclopedia of Algorithms

2024-06-07T13:18:18Z

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

Principles of the Spin Model Checker

2024-06-07T13:18:18Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
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-07T13:18:18Z

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

Time-Dependent Scheduling

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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-07T13:18:18Z

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

Advances in Applied Self-organizing Systems

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

New Computational Paradigms Changing Conceptions of What is Computable

2024-06-07T13:18:18Z

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

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

2024-06-07T13:18:18Z

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

An Introduction to Kolmogorov Complexity and Its Applications

2024-06-07T13:18:18Z

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-07T13:18:18Z

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

Robust Intelligent Systems

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

Unfoldings A Partial-Order Approach to Model Checking

2024-06-07T13:18:18Z

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

Genetic Programming Theory and Practice V

2024-06-07T13:18:18Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-0-387-76308-8
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-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

by Dolev, Shlomi. editor.
http://dx.doi.org/10.1007/978-3-540-85673-3
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-07T13:18:18Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
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-07T13:18:18Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-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-07T13:18:18Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-77419-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-07T13:18:18Z

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

Logics of Specification Languages

2024-06-07T13:18:18Z

by Bjørner, Dines. editor.
http://dx.doi.org/10.1007/978-3-540-74107-7
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-07T13:18:18Z

by Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-540-79709-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-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
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-07T13:18:18Z

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

Transactions on Computational Science I

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

Transactions on Computational Science II

2024-06-07T13:18:18Z

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

Sets, Logic and Maths for Computing

2024-06-07T13:18:18Z

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-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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

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

2024-06-07T13:18:18Z

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-07T13:18:18Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69839-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-07T13:18:18Z

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

A Concise Introduction to Languages and Machines

2024-06-07T13:18:18Z

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