Limit Search Results
Author
SpringerLink (Online service)
(394)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
2008
(57)
2009
(54)
2006
(42)
2011
(38)
2005
(33)
Subject
Computer science.
(350)
Software engineering.
(146)
Computer software.
(98)
Electronic data processing.
(98)
Artificial intelligence.
(96)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
395 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
301. 
Cover image for Handbook of Natural Computing
Handbook of Natural Computing
Author 
Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92910-9
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Boolean Function Complexity Advances and Frontiers
Boolean Function Complexity Advances and Frontiers
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24508-4
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
Author 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54106-6
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Apartness and Uniformity A Constructive Development
Apartness and Uniformity A Constructive Development
Author 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22415-7
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Author 
Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
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-8348-9853-1
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Genetic Programming Theory and Practice IX
Genetic Programming Theory and Practice IX
Author 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Geospatial Abduction Principles and Practice
Geospatial Abduction Principles and Practice
Author 
Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Genetic Programming Theory and Practice VIII
Genetic Programming Theory and Practice VIII
Author 
Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Concise Guide to Computation Theory
Concise Guide to Computation Theory
Author 
Maruoka, Akira. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-535-4
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Cartesian Genetic Programming
Cartesian Genetic Programming
Author 
Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Mobility in Process Calculi and Natural Computing
Mobility in Process Calculi and Natural Computing
Author 
Aman, Bogdan. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24867-2
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Universal Semantic Communication
Universal Semantic Communication
Author 
Juba, Brendan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for The P=NP Question and Gödel’s Lost Letter
The P=NP Question and Gödel’s Lost Letter
Author 
Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Genetic Programming Theory and Practice VII
Genetic Programming Theory and Practice VII
Author 
Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Game of Life Cellular Automata
Game of Life Cellular Automata
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-217-9
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
Author 
Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Algorithmic Randomness and Complexity
Algorithmic Randomness and Complexity
Author 
Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68441-3
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
Author 
Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16544-3
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9708-4
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings
Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings
Author 
Peper, F. editor. Umeo, H. editor. Matsui, N. editor. Isokawa, T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-53868-4
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
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:
324. 
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:
325. 
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:
326. 
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:
327. 
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:
328. 
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:
329. 
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:
330. 
Cover image for Information Theory and Statistical Learning
Information Theory and Statistical Learning
Author 
Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-84816-7
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
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:
332. 
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:
333. 
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:
334. 
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:
335. 
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:
336. 
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:
337. 
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:
338. 
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:
339. 
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:
340. 
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:
341. 
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:
342. 
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:
343. 
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:
344. 
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:
345. 
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:
346. 
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:
347. 
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:
348. 
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:
349. 
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:
350. 
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:
351. 
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:
352. 
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:
353. 
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:
354. 
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:
355. 
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:
356. 
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:
357. 
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:
358. 
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:
359. 
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:
360. 
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:
361. 
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:
362. 
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:
363. 
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:
364. 
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:
365. 
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:
366. 
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:
367. 
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:
368. 
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:
369. 
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:
370. 
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:
371. 
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:
372. 
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:
373. 
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:
374. 
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:
375. 
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:
376. 
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:
377. 
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:
378. 
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:
379. 
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:
380. 
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:
381. 
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:
382. 
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:
383. 
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:
384. 
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:
385. 
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:
386. 
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:
387. 
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:
388. 
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:
389. 
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:
390. 
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:
391. 
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:
392. 
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:
393. 
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:
394. 
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:
395. 
Cover image for Introduction to information theory and data compression
Introduction to information theory and data compression
Author 
Hankerson, Darrel R. Harris, Greg A. Johnson, Peter D. (Peter Dexter), 1945-
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: