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
13. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331207.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Programming with Multiple Precision
Programming with Multiple Precision
Author 
Nikolaevskaya, Elena. author. Khimich, Alexandr. author. Chistyakova, Tamara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25673-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Pro HTML5 Programming
Pro HTML5 Programming
Author 
Lubbers, Peter. author. Albers, Brian. author. Salim, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Multiparadigm Constraint Programming Languages
Multiparadigm Constraint Programming Languages
Author 
Hofstedt, Petra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17330-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Principles of Programming Languages
Principles of Programming Languages
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Algorithms for Functional Programming
Algorithms for Functional Programming
Author 
Stone, John David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57970-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Patterns, Programming and Everything
Patterns, Programming and Everything
Author 
Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2350-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Winning LEGO MINDSTORMS Programming
Winning LEGO MINDSTORMS Programming
Author 
Trobaugh, James J. author. Lowe, Mannie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4537-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Expert Oracle JDBC Programming
Expert Oracle JDBC Programming
Author 
Menon, R. M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0029-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Select an Action