Limit Search Results
Author
SpringerLink (Online service)
(328)
Kim, Tai-hoon. editor.
(7)
Albers, Susanne. editor.
(3)
Gavrilova, Marina L. editor.
(3)
Gervasi, Osvaldo. editor.
(3)
Language
Subject
Computer science.
(307)
Information systems.
(84)
Computer Communication Networks.
(78)
Logic design.
(55)
Computer network architectures.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
334 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Embedded System Design Modeling, Synthesis and Verification
Embedded System Design Modeling, Synthesis and Verification
Author 
Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Guide to Graphics Software Tools
Guide to Graphics Software Tools
Author 
Chen, Jim X. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-901-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-434-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Artificial Life Models in Hardware
Artificial Life Models in Hardware
Author 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-530-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Software Verification and Analysis An Integrated, Hands-On Approach
Software Verification and Analysis An Integrated, Hands-On Approach
Author 
Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Author 
Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-244-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
Author 
Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-285-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Ada for Software Engineers (Second Edition with Ada 2005)
Ada for Software Engineers (Second Edition with Ada 2005)
Author 
Ben-Ari, Mordechai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-314-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for A Concise and Practical Introduction to Programming Algorithms in Java
A Concise and Practical Introduction to Programming Algorithms in Java
Author 
Nielsen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-339-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-349-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Geometric Algebra: An Algebraic System for Computer Games and Animation
Geometric Algebra: An Algebraic System for Computer Games and Animation
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-379-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Les virus informatiques: théorie, pratique et applications
Les virus informatiques: théorie, pratique et applications
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-98240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action