Limit Search Results
Author
SpringerLink (Online service)
(681)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
Subject
Information theory.
(501)
Computer science.
(436)
Software engineering.
(167)
Artificial intelligence.
(144)
Computer software.
(125)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
899 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Author 
Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13562-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Author 
Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14309-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
Author 
Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14322-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transactions on Rough Sets XII
Transactions on Rough Sets XII
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Słowiński, Roman. editor. Lingras, Pawan. editor. Miao, Duoqian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14467-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Genetic Programming Theory and Practice VI
Genetic Programming Theory and Practice VI
Author 
Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87623-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-434-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Elements of Computation Theory
Elements of Computation Theory
Author 
Singh, Arindama. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-497-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computable Models
Computable Models
Author 
Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-052-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
Author 
d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Algorithmic Adventures From Knowledge to Magic
Algorithmic Adventures From Knowledge to Magic
Author 
Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85986-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Author 
Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92701-3
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Gröbner Bases, Coding, and Cryptography
Gröbner Bases, Coding, and Cryptography
Author 
Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93806-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Author 
Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00596-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Author 
Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
Author 
Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01970-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Author 
Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Hagenberg Research
Hagenberg Research
Author 
Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02454-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02457-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computability of Julia Sets
Computability of Julia Sets
Author 
Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Post-Quantum Cryptography
Post-Quantum Cryptography
Author 
Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Algorithmic Bioprocesses
Algorithmic Bioprocesses
Author 
Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88869-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Author 
César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Author 
Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
Author 
Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01973-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Author 
Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Author 
Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03073-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Author 
Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Author 
Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03429-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Author 
Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03466-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Author 
Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04420-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency III
Transactions on Petri Nets and Other Models of Concurrency III
Author 
Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04856-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Author 
He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Author 
Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10698-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Author 
Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
Author 
Wagenknecht, Christian. author. Hielscher, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9972-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung
Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung
Author 
Ertel, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9989-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The origins of object knowledge
The origins of object knowledge
Author 
Hood, Bruce M. (Bruce MacFarlane) Santos, Laurie.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199216895.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Claude E. Shannon Spielzeug, Leben und die geheime Geschichte seiner Theorie der Information
Claude E. Shannon Spielzeug, Leben und die geheime Geschichte seiner Theorie der Information
Author 
Roch, Axel.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5271069
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Author 
Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02734-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
Author 
Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02906-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02927-1
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Transactions on Rough Sets X
Transactions on Rough Sets X
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Wolski, Marcin. editor. Chakraborty, Mihir K. editor. Wu, Wei-Zhi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Author 
Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03351-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
Author 
Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Author 
Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Author 
Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04652-0
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Optical SuperComputing Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings
Optical SuperComputing Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10442-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Author 
Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11269-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings
Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings
Author 
Suzuki, Y. editor. Hagiya, M. editor. Umeo, H. editor. Adamatzky, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-88981-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Entropi, informasyon ve entropi optimizasyon
Entropi, informasyon ve entropi optimizasyon
Author 
Şamilov, Aladdin.
Preferred Shelf Number 
Q370 .S26 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for Conceptual structures in practice
Conceptual structures in practice
Author 
Hitzler, Pascal. Schr̃fe, Henrik.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Information society dimensions
Information society dimensions
Author 
Karvalics, Laszlo Z., 1961- author.
Preferred Shelf Number 
HM851 K375 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
62. 
Cover image for GIS and evidence-based policy making
GIS and evidence-based policy making
Author 
Wise, Stephen. Craglia, Massimo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Network Theorizing Knowledge Work in Telecommunications
Network Theorizing Knowledge Work in Telecommunications
Author 
Spinuzzi, Clay.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Information flow and knowledge sharing
Information flow and knowledge sharing
Author 
Silva, Flávio Soares Corrêa da. Agustí i Cullell, Jaume.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444529350
ScienceDirect http://www.sciencedirect.com/science/publication?issn=15749576&volume=2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Hypercomputation Computing Beyond the Church-Turing Barrier
Hypercomputation Computing Beyond the Church-Turing Barrier
Author 
Syropoulos, Apostolos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49970-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for New Computational Paradigms Changing Conceptions of What is Computable
New Computational Paradigms Changing Conceptions of What is Computable
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68546-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Genetic Programming Theory and Practice V
Genetic Programming Theory and Practice V
Author 
Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76308-8
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Principles of the Spin Model Checker
Principles of the Spin Model Checker
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Robust Intelligent Systems
Robust Intelligent Systems
Author 
Schuster, Alfons. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Encyclopedia of Algorithms
Encyclopedia of Algorithms
Author 
Kao, Ming-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-30162-4
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Author 
Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Probing Experience From Assessment of User Emotions and Behaviour to Development of Products
Probing Experience From Assessment of User Emotions and Behaviour to Development of Products
Author 
Westerink, Joyce H. D. M. editor. Ouwerkerk, Martin. editor. Overbeek, Thérése J. M. editor. Pasveer, W. Frank. editor. Ruyter, Boris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6593-4
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Advances in Applied Self-organizing Systems
Advances in Applied Self-organizing Systems
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for A Concise Introduction to Languages and Machines
A Concise Introduction to Languages and Machines
Author 
Parkes, Alan P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Author 
Bandyopadhyay, Subir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
Author 
Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72877-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Advances in Metaheuristics for Hard Optimization
Advances in Metaheuristics for Hard Optimization
Author 
Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72960-0
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Multiobjective Problem Solving from Nature From Concepts to Applications
Multiobjective Problem Solving from Nature From Concepts to Applications
Author 
Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72964-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Author 
Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Transactions on Computational Science I
Transactions on Computational Science I
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79299-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
Author 
Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Emergent semantics : interoperability in large-scale decentralized information systems
Emergent semantics : interoperability in large-scale decentralized information systems
Author 
Cudr-̌Mauroux, Philippe.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Author 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69384-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69387-1
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69389-5
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Author 
Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Time-Dependent Scheduling
Time-Dependent Scheduling
Author 
Gawiejnowicz, Stanisław. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69446-5
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69848-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Media Theory Interdisciplinary Applied Mathematics
Media Theory Interdisciplinary Applied Mathematics
Author 
Eppstein, David. author. Falmagne, Jean-Claude. author. Ovchinnikov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71697-6
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Author 
Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79709-8
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Komplexitätstheorie und Kryptologie Eine Einführung in Kryptokomplexität
Komplexitätstheorie und Kryptologie Eine Einführung in Kryptokomplexität
Author 
Rothe, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79745-6
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Transactions on Computational Science II
Transactions on Computational Science II
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87563-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Author 
Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
Author 
Baek, Joonsang. editor. Bao, Feng. editor. Chen, Kefei. editor. Lai, Xuejia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88733-1
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Author 
Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89765-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
Author 
Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92859-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Crashkurs Mathematik für Informatiker
Crashkurs Mathematik für Informatiker
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Algoritmi Lo spirito dell’informatica
Algoritmi Lo spirito dell’informatica
Author 
Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0580-8
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Author 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Non-binary error control coding for wireless communication and data storage
Non-binary error control coding for wireless communication and data storage
Author 
Carrasco, Rolando Antonio. Johnston, Martin, 1977- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470740415
http://site.ebrary.com/lib/alltitles/Doc?id=10270646
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Author 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Logics of Specification Languages
Logics of Specification Languages
Author 
Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Unfoldings A Partial-Order Approach to Model Checking
Unfoldings A Partial-Order Approach to Model Checking
Author 
Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for 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
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
Author 
Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Author 
Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Author 
Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79228-4
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
Author 
Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Author 
Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
Author 
Dolev, Shlomi. editor. Haist, Tobias. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85673-3
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Author 
Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Author 
Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Author 
Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen
Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen
Author 
Beierle, Christoph. author. Kern-Isberner, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9517-2
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Ordnungen, Verbände und Relationen mit Anwendungen Studium
Ordnungen, Verbände und Relationen mit Anwendungen Studium
Author 
Berghammer, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Handbook of knowledge representation
Handbook of knowledge representation
Author 
Van Harmelen, Frank. Lifschitz, Vladimir. Porter, Bruce, 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444522115
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Philosophy of information
Philosophy of information
Author 
Adriaans, Pieter. Benthem, J. F. A. K. van, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517265
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
Author 
Kendall, Michael. editor. Samways, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09729-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Author 
Ausiello, Giorgio. editor. Karhumäki, Juhani. editor. Mauri, Giancarlo. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Author 
Avison, David. editor. Kasper, George M. editor. Pernici, Barbara. editor. Ramos, Isabel. editor. Roode, Dewald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for 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
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
Author 
Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09684-1
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
Author 
Bramer, Max. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09695-7
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for 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
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
Author 
Cascini, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for An Introduction to Kolmogorov Complexity and Its Applications
An Introduction to Kolmogorov Complexity and Its Applications
Author 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49820-1
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Artificial intelligence with uncertainty
Artificial intelligence with uncertainty
Author 
Li, Deyi, 1944- Du, Yi, 1971-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for NMR quantum information processing
NMR quantum information processing
Author 
Oliveira, Ivan S.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444527820
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Linear Genetic Programming
Linear Genetic Programming
Author 
Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-31030-5
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Author 
Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36797-2
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Metaheuristics Progress in Complex Systems Optimization
Metaheuristics Progress in Complex Systems Optimization
Author 
Doerner, Karl F. editor. Gendreau, Michel. editor. Greistorfer, Peter. editor. Gutjahr, Walter. editor. Hartl, Richard F. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71921-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Natural Language Processing and Text Mining
Natural Language Processing and Text Mining
Author 
Kao, Anne. editor. Poteet, Stephen R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-754-1
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land
A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land
Author 
Cohen, William W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-48278-1
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Deformable Models Theory and Biomaterial Applications
Deformable Models Theory and Biomaterial Applications
Author 
Suri, Jasjit S. author. Farag, Aly A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68343-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
Author 
Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for 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
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
Author 
Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for 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
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
Author 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for 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
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
Author 
Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69507-3
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Die Macht der Abstraktion Einführung in die Programmierung
Die Macht der Abstraktion Einführung in die Programmierung
Author 
Klaeren, Herbert. author. Sperber, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9079-5
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
Author 
Hromkovič, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9115-0
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Evolutionäre Algorithmen
Evolutionäre Algorithmen
Author 
Weicker, Karsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9203-4
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for The minimum description length principle
The minimum description length principle
Author 
Grünwald, Peter D.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267274
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Elements of quantum information
Elements of quantum information
Author 
Schleich, Wolfgang. Walther, H. (Herbert), 1935-2006. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527611065
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Embedded signal processing with the Micro Signal Architecture
Embedded signal processing with the Micro Signal Architecture
Author 
Gan, Woon-Seng. Kuo, Sen M. (Sen-Maw)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237473
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Theoretical Aspects of Local Search
Theoretical Aspects of Local Search
Author 
Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-35854-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligence
Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligence
Author 
Bandyopadhyay, Sanghamitra. author. Pal, Sankar K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-49607-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings
Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings
Author 
Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72504-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Author 
Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Author 
Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Modelling Distributed Systems
Modelling Distributed Systems
Author 
Fokkink, Wan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
Author 
Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74484-9
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
Author 
Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74510-5
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Genetic Programming Theory and Practice IV
Genetic Programming Theory and Practice IV
Author 
Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49650-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Channel coding in communication networks from theory to turbocodes
Channel coding in communication networks from theory to turbocodes
Author 
Glavieux, Alain. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0701/2006032632-b.html
John Wiley http://dx.doi.org/10.1002/9780470612422
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Cold case homicides practical investigative techniques
Cold case homicides practical investigative techniques
Author 
Walton, Richard H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Model-based signal processing
Model-based signal processing
Author 
Candy, J. V.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5238083
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Information-theoretic methods for estimating complicated probability distributions
Information-theoretic methods for estimating complicated probability distributions
Author 
Zong, Zhi.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444527967
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Multivariate Public Key Cryptosystems
Multivariate Public Key Cryptosystems
Author 
Ding, Jintai. author. Gower, Jason E. author. Schmidt, Dieter S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36946-4
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Theory of Computation
Theory of Computation
Author 
Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-477-5
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
Author 
Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27705-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Coordination of Large-Scale Multiagent Systems
Coordination of Large-Scale Multiagent Systems
Author 
Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27972-5
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Genetic Programming Theory and Practice III
Genetic Programming Theory and Practice III
Author 
Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28111-8
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Evolvable Hardware
Evolvable Hardware
Author 
Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31238-2
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
Author 
Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31240-4
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Computation Engineering Applied Automata Theory and Logic
Computation Engineering Applied Automata Theory and Logic
Author 
Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-32520-4
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity
Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity
Author 
Estep, Myrna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5299-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for SAT 2005 Satisfiability Research in the Year 2005
SAT 2005 Satisfiability Research in the Year 2005
Author 
Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5571-3
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Theoretical Introduction to Programming
Theoretical Introduction to Programming
Author 
Mills, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-263-2
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Vorlesungen über Informatik Grundlagen und funktionales Programmieren
Vorlesungen über Informatik Grundlagen und funktionales Programmieren
Author 
Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Applications of Membrane Computing
Applications of Membrane Computing
Author 
Ciobanu, Gabriel. editor. Păun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Parameterized Complexity Theory
Parameterized Complexity Theory
Author 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation
Author 
Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31188-2
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for 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
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
Author 
Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11611257
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
Author 
Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11758501
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II
Author 
Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11758525
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III
Author 
Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11758532
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
Author 
Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11758549
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Nanotechnology: Science and Computation
Nanotechnology: Science and Computation
Author 
Chen, Junghuei. editor. Jonoska, Nataša. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30296-4
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Biologically Inspired Algorithms for Financial Modelling
Biologically Inspired Algorithms for Financial Modelling
Author 
Brabazon, Anthony. author. O’Neill, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31307-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Concurrent Zero-Knowledge With Additional Background by Oded Goldreich
Concurrent Zero-Knowledge With Additional Background by Oded Goldreich
Author 
Rosen, Alon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32939-0
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Interactive Computation The New Paradigm
Interactive Computation The New Paradigm
Author 
Goldin, Dina. editor. Smolka, Scott A. editor. Wegner, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Algorithmik Die Kunst des Rechnens
Algorithmik Die Kunst des Rechnens
Author 
Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-37437-X
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for The art of error correcting coding
The art of error correcting coding
Author 
Morelos-Zaragoza, Robert H.
Preferred Shelf Number 
ONLINE
Electronic Access 
MyiLibrary, Table of contents http://www.myilibrary.com?id=51916&ref=toc
John Wiley http://dx.doi.org/10.1002/0470035706
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Essentials of error-control coding
Essentials of error-control coding
Author 
Castiñeira Moreira, Jorge. Farrell, Patrick G.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=18371
MyiLibrary, Table of contents http://www.myilibrary.com?id=60615&ref=toc
John Wiley http://dx.doi.org/10.1002/9780470035726
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Uncertainty analysis with high dimensional dependence modelling
Uncertainty analysis with high dimensional dependence modelling
Author 
Kurowicka, Dorota, 1967- Cooke, Roger, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470863072
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Experimental Research in Evolutionary Computation The New Experimentalism
Experimental Research in Evolutionary Computation The New Experimentalism
Author 
Bartz-Beielstein, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32027-X
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings
Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings
Author 
Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11750321
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I
Author 
Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11751540
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II
Author 
Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11751588
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
Author 
Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11751595
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
Author 
Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11751632
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
Author 
Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11751649
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
Author 
Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11753728
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for 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
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
Author 
Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767589
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
Author 
Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34778-X
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Author 
Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780274
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
Author 
Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780342
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786986
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11787006
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings
Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings
Author 
Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11823285
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
Author 
Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11902140
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Approximationsalgorithmen Eine Einführung
Approximationsalgorithmen Eine Einführung
Author 
Wanka, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8351-9067-2
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Mathematics of digital images : creation, compression, restoration, recognition
Mathematics of digital images : creation, compression, restoration, recognition
Author 
Hoggar, S. G., author.
Preferred Shelf Number 
TA1637 .H64 2006
Electronic Access 
https://doi.org/10.1017/CBO9780511810787
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for 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
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
Author 
Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Statistical inference based on divergence measures
Statistical inference based on divergence measures
Author 
Pardo Llorente, Leandro.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Bayesian networks and probabilistic inference in forensic science
Bayesian networks and probabilistic inference in forensic science
Author 
Taroni, Franco. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470091754
http://www3.interscience.wiley.com/cgi-bin/bookhome/112608203
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Lectures on quantum information
Lectures on quantum information
Author 
Bruss, Dagmar. Leuchs, Gerd. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527618637
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Handbook of Biomedical Image Analysis Volume I: Segmentation Models Part A
Handbook of Biomedical Image Analysis Volume I: Segmentation Models Part A
Author 
Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104805
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Handbook of Biomedical Image Analysis Volume II: Segmentation Models Part B
Handbook of Biomedical Image Analysis Volume II: Segmentation Models Part B
Author 
Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104806
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Handbook of Biomedical Image Analysis Volume III: Registration Models
Handbook of Biomedical Image Analysis Volume III: Registration Models
Author 
Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104807
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Metaheuristics: Progress as Real Problem Solvers
Metaheuristics: Progress as Real Problem Solvers
Author 
Ibaraki, Toshihide. editor. Nonobe, Koji. editor. Yagiura, Mutsunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107306
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Author 
Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101185
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Systems Approaches and Their Application Examples from Sweden
Systems Approaches and Their Application Examples from Sweden
Author 
Olsson, Mats-Olov. editor. Sjöstedt, Gunnar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2370-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for 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
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
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3532-2
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
Author 
Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138718
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Author 
Hromkovič, Juraj. author. Klasing, Ralf. author. Pelc, Andrzej. author. Ružička†, Peter. author. Unger, Walter. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137871
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Author 
Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523468
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
Author 
Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106965
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
Author 
Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106485
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
Author 
Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549468
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136981
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
Author 
Hutter, Marcus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138233
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Theoretical and Experimental DNA Computation
Theoretical and Experimental DNA Computation
Author 
Amos, Martyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28131-2
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Complexity Theory and Cryptology An Introduction to Cryptocomplexity
Complexity Theory and Cryptology An Introduction to Cryptocomplexity
Author 
Rothe, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28520-2
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
Author 
Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104566
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings
Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings
Author 
Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103538
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for 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
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
Author 
Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103476
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for 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
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
Author 
Chapman, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105895
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
Author 
Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136570
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
Author 
Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136571
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
Author 
Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136575
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Information Efficiency in Financial and Betting Markets
Information Efficiency in Financial and Betting Markets
Author 
Vaughan Williams, Leighton.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Error correction coding mathematical methods and algorithms
Error correction coding mathematical methods and algorithms
Author 
Moon, Todd K.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232610
John Wiley http://dx.doi.org/10.1002/0471739219
John Wiley http://dx.doi.org/10.1002/9780471739210
http://www3.interscience.wiley.com/cgi-bin/bookhome/109921063
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Quantum information processing
Quantum information processing
Author 
Beth, Thomas, 1949- Leuchs, Gerd.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481705
Volltext http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9783527606009
John Wiley http://dx.doi.org/10.1002/3527606009
http://swb.eblib.com/patron/FullRecord.aspx?p=481705
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for 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
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
Author 
Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105088
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Author 
Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136988
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136266
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136269
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136271
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Author 
Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569596
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136278
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Contemporary Cryptology
Contemporary Cryptology
Author 
Catalano, Dario. author. Cramer, Ronald. author. Crescenzo, Giovanni. author. Darmgård, Ivan. author. Pointcheval, David. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7394-6
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Quantum computation and quantum information
Quantum computation and quantum information
Author 
Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-
Preferred Shelf Number 
QA76.889 N54 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
257. 
Cover image for 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
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
Author 
Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b100917
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Genetic Programming Theory and Practice II
Genetic Programming Theory and Practice II
Author 
O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101112
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Semistructured Database Design
Semistructured Database Design
Author 
Ling, Tok Wang. author. Lee, Mong Li. author. Dobbie, Gillian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101873
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Genetic Programming IV Routine Human-Competitive Machine Intelligence
Genetic Programming IV Routine Human-Competitive Machine Intelligence
Author 
Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137549
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Super-Recursive Algorithms
Super-Recursive Algorithms
Author 
Burgin, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138114
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Digital speech transmission enhancement, coding, and error concealment
Digital speech transmission enhancement, coding, and error concealment
Author 
Vary, Peter. Martin, Rainer. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470031743
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Error correcting coding and security for data networks analysis of the superchannel concept
Error correcting coding and security for data networks analysis of the superchannel concept
Author 
Kabatiansky, G. Krouk, E. Semenov, S. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470867574
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for İnsan anlığı üzerine bir deneme
İnsan anlığı üzerine bir deneme
Author 
Locke, John, 1632-1704. Hacıkadiroğlu, Vehbi, çev.
Preferred Shelf Number 
B1290 .L4 2004
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
265. 
Cover image for Science from Fisher Information A Unification
Science from Fisher Information A Unification
Author 
Frieden, B. Roy.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Testing for EMC compliance approaches and techniques
Testing for EMC compliance approaches and techniques
Author 
Montrose, Mark I. Nakauchi, Edward M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237008
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Knowledge representation and reasoning
Knowledge representation and reasoning
Author 
Brachman, Ronald J., 1949- Levesque, Hector J., 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558609327
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Trellis and turbo coding
Trellis and turbo coding
Author 
Schlegel, Christian. Perez, Lance.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201825
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Uncertain input data problems and the worst scenario method
Uncertain input data problems and the worst scenario method
Author 
Hlaváček, Ivan, 1933- Chleboun, Jan. Babuška, Ivo.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444514356
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Reliable methods for computer simulation error control and a posteriori estimates
Reliable methods for computer simulation error control and a posteriori estimates
Author 
Neittaanmäki, P. (Pekka) Repin, Sergey I.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444513762
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Intelligent systems for information processing from representation to applications
Intelligent systems for information processing from representation to applications
Author 
Bouchon-Meunier, B. (Bernadette), 1948- Foulloy, L. Yager, Ronald R., 1941- International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (9th : Annecy, France)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444513793
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Low-density parity-check codes
Low-density parity-check codes
Author 
Gallagher, Robert G.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267267
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Artificial intelligence : structures and strategies for complex problem solving
Artificial intelligence : structures and strategies for complex problem solving
Author 
Luger, George F.
Preferred Shelf Number 
Q 335 L84 2002
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
274. 
Cover image for Uncertainty in remote sensing and GIS
Uncertainty in remote sensing and GIS
Author 
Foody, Giles M., ed. Atkinson, Peter M., ed.
Preferred Shelf Number 
G 70.4 U52 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
275. 
Cover image for Risk, Reliability, Uncertainty, and Robustness of Water Resource Systems
Risk, Reliability, Uncertainty, and Robustness of Water Resource Systems
Author 
Bogardi, Janos J.. Kundzewicz, Zbigniew W..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Restricted Orbit Equivalence for Actions of Discrete Amenable Groups
Restricted Orbit Equivalence for Actions of Discrete Amenable Groups
Author 
Kammeyer, Janet Whalen. Rudolph, Daniel J..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Uncertainty in remote sensing and GIS
Uncertainty in remote sensing and GIS
Author 
Foody, Giles M. Atkinson, Peter M. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470035269
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for The art of error correcting coding
The art of error correcting coding
Author 
Morelos-Zaragoza, Robert H. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
Authentication may be required:
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Uncertainty in remote sensing and GIS
Uncertainty in remote sensing and GIS
Author 
Foody, Giles M. Atkinson, Peter M.
Preferred Shelf Number 
ONLINE(318808.1)
Electronic Access 
Click for information
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=83527
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=154955
ebrary http://site.ebrary.com/id/10307358
Google http://books.google.com/books?id=vgVPAAAAMAAJ
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Statistical pattern recognition
Statistical pattern recognition
Author 
Webb, A. R. (Andrew R.)
Preferred Shelf Number 
ONLINE(318818.1)
Electronic Access 
Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=158121
ebrary http://site.ebrary.com/id/10307938
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=83749
Google http://books.google.com/books?id=Gok-AQAAIAAJ
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Turbo coding, turbo equalisation and space-time coding for transmission over fading channels
Turbo coding, turbo equalisation and space-time coding for transmission over fading channels
Author 
Hanzo, Lajos, 1952- Liew, T. H. (Tong Hooi) Yeap, B. L. (Bee Leong)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201651
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Critique of information
Critique of information
Author 
Lash, Scott.
Preferred Shelf Number 
ONLINE(368039.1)
Electronic Access 
SAGE knowledge http://sk.sagepub.com/books/critique-of-information
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Market failure or success : the new debate
Market failure or success : the new debate
Author 
Cowen, Tyler, ed. Crampton, Eric, ed.
Preferred Shelf Number 
HB 501 M3312 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
284. 
Cover image for Chemically speaking a dictionary of quotations
Chemically speaking a dictionary of quotations
Author 
Gaither, Carl C., 1944- Cavazos-Gaither, Alma E., 1955-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Qualitative methods for reasoning under uncertainty
Qualitative methods for reasoning under uncertainty
Author 
Parsons, Simon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for An introduction to the economics of information : Incentives and contracts
An introduction to the economics of information : Incentives and contracts
Author 
Macho-Stadler, Ines. Perez-Castrillo, J. David, ort. yaz.
Preferred Shelf Number 
HB 133 M3313 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
287. 
Cover image for The logic of knowledge bases
The logic of knowledge bases
Author 
Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Information and self-organization : a macroscopic approach to complex systems
Information and self-organization : a macroscopic approach to complex systems
Author 
Haken, H.
Preferred Shelf Number 
Q 325 H35 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
289. 
Cover image for Proceedings of the 2000 Conference on Information Sciences and Systems
Proceedings of the 2000 Conference on Information Sciences and Systems
Author 
Conference on Information Sciences and Systems Princeton University) Verdu, Sergio, 1958- Ramadge, Peter J. Princeton University. Department of Electrical Engineering.
Preferred Shelf Number 
Q 350 C76 2000 V.1 (SET)
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
290. 
Cover image for Handbook of discrete and combinatorial mathematics
Handbook of discrete and combinatorial mathematics
Author 
Rosen, Kenneth H. Michaels, John G.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Error control and adaptivity in scientific computing
Error control and adaptivity in scientific computing
Author 
Bulgak, Hayder, ed. Zenger, Christoph Wilhelm, 1940- ed.
Preferred Shelf Number 
QA 76.9.C65 E77 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
292. 
Cover image for Introduction to the theory of error-correcting codes
Introduction to the theory of error-correcting codes
Author 
Pless, Vera. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/97049834.html
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Investment under uncertainty
Investment under uncertainty
Author 
Dixit, Avinash K. Pindyck, Robert S.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sncv
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Knowledge representation
Knowledge representation
Author 
Brachman, Ronald J., 1949- Levesque, Hector J., 1951- Reiter, Ray.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267507
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Anlama ve insan bilimleri
Anlama ve insan bilimleri
Author 
Rickman, Hans Peter. Dağ, Mehmet, çev.
Preferred Shelf Number 
H 61 R49 1992
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
296. 
Cover image for Felsefe diyalektik bilgi kuramı (Epistomoloji)
Felsefe diyalektik bilgi kuramı (Epistomoloji)
Author 
Yenişehirlioğlu, Şahin.
Preferred Shelf Number 
B809.7 Y39 1982
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
297. 
Cover image for The theory of error-correcting codes
The theory of error-correcting codes
Author 
MacWilliams, F. J. (Florence Jessie), 1917- Sloane, N. J. A. (Neil James Alexander), 1939-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444850102
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for On measures of information and their characterizations
On measures of information and their characterizations
Author 
Aczél, J. Daróczy, Zoltán.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120437603
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Information, mechanism and meaning
Information, mechanism and meaning
Author 
MacKay, Donald MacCrimmon, 1922-1987.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267302
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets