Limit Search Results
Author
Bramer, Max. author.
(2)
Noble, James. editor.
(2)
Voronkov, Andrei. editor.
(2)
Abreu, Salvador. editor.
(1)
Achten, Peter. editor.
(1)
Subject
Computer science.
(68)
Software engineering.
(43)
Programming Languages, Compilers, Interpreters.
(37)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
68 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Beginning C
Beginning C
Author 
Horton, Ivor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Oracle Application Express for Mobile Web Applications
Oracle Application Express for Mobile Web Applications
Author 
Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330663.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Pointers in C A Hands on Approach
Pointers in C A Hands on Approach
Author 
Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Java Quick Syntax Reference
Java Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330770.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
Author 
Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330912.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for An Introduction to Network Programming with Java Java 7 Compatible
An Introduction to Network Programming with Java Java 7 Compatible
Author 
Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Network Programming – Principles and Techniques Network Application Programming with Java
Advanced Network Programming – Principles and Techniques Network Application Programming with Java
Author 
Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331186.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Guide to Programming and Algorithms Using R
Guide to Programming and Algorithms Using R
Author 
Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331192.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion
BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion
Author 
King, Ralf Simon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34682-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action