Limit Search Results
Author
SpringerLink (Online service)
(489)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(11)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(8)
Roman, Dumitru. editor.
(7)
Language
Publication Date
-
Subject
Computer science.
(271)
Software engineering.
(190)
Computer Science Logic and Foundations of Programming.
(73)
Logic design.
(73)
Formal Languages and Automata Theory.
(69)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
539 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Behavioral Program Synthesis with Genetic Programming
Behavioral Program Synthesis with Genetic Programming
Author 
Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27565-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Constraint Programming and Decision Making
Constraint Programming and Decision Making
Author 
Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04280-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Genetic Programming Theory and Practice XI
Genetic Programming Theory and Practice XI
Author 
Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0375-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Genetic Programming Theory and Practice X
Genetic Programming Theory and Practice X
Author 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for Dynamic Programming A Computational Tool
Dynamic Programming A Computational Tool
Author 
Art, Lew. author. Mauch, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37014-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Genetic Systems Programming Theory and Experiences
Genetic Systems Programming Theory and Experiences
Author 
Nedjah, Nadia. editor. Mourelle, Luiza de Macedo. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32498-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action