Limit Search Results
Author
SpringerLink (Online service)
(825)
Voronkov, Andrei. editor.
(11)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Riolo, Rick. editor.
(9)
Language
Publication Date
-
Subject
Software engineering.
(488)
Artificial intelligence.
(271)
Computer Science Logic and Foundations of Programming.
(231)
Logic design.
(170)
Formal Languages and Automata Theory.
(144)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
836 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
Cover image for Programming Languages An Active Learning Approach
Programming Languages An Active Learning Approach
Author 
Lee, Kent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79421-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
Cover image for Object-Oriented Programming and Java
Object-Oriented Programming and Java
Author 
Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-963-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for LEGO® MINDSTORMS® NXT-G Programming Guide
LEGO® MINDSTORMS® NXT-G Programming Guide
Author 
Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0303-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Lego Mindstorms NXT-G Programming Guide
Lego Mindstorms NXT-G Programming Guide
Author 
Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
Cover image for Introduction to C++ Programming and Graphics
Introduction to C++ Programming and Graphics
Author 
Pozrikidis, Constantine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68993-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Object-Oriented Programming Languages: Interpretation
Object-Oriented Programming Languages: Interpretation
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-774-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Understanding and Using Linear Programming
Understanding and Using Linear Programming
Author 
Matoušek, Jiří. author. Gärtner, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-30717-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Optimization Theory and Methods Nonlinear Programming
Optimization Theory and Methods Nonlinear Programming
Author 
Sun, Wenyu. author. Yuan, Ya-Xiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106451
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action