Limit Search Results
Author
SpringerLink (Online service)
(476)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
2008
(60)
2019
(58)
2009
(54)
2006
(44)
2018
(41)
Subject
Computer science.
(350)
Software engineering.
(154)
Artificial intelligence.
(121)
Computer software.
(99)
Electronic data processing.
(98)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
476 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for A Short Course in Quantum Information Theory An Approach From Theoretical Physics
A Short Course in Quantum Information Theory An Approach From Theoretical Physics
Author 
Diosi, Lajos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16117-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Proofs and Algorithms An Introduction to Logic and Computability
Proofs and Algorithms An Introduction to Logic and Computability
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
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:
52. 
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:
53. 
Cover image for Patterns in Permutations and Words
Patterns in Permutations and Words
Author 
Kitaev, Sergey. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17333-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
Cover image for Deterministic Extraction from Weak Random Sources
Deterministic Extraction from Weak Random Sources
Author 
Gabizon, Ariel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14903-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
Select an Action