Limit Search Results
Author
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(543)
Software engineering.
(451)
Artificial intelligence.
(332)
Electronic books.
(244)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3449 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
Author 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Giants of Computing A Compendium of Select, Pivotal Pioneers
Giants of Computing A Compendium of Select, Pivotal Pioneers
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331194.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Sustainable Web Ecosystem Design
Sustainable Web Ecosystem Design
Author 
O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The Software Industry Economic Principles, Strategies, Perspectives
The Software Industry Economic Principles, Strategies, Perspectives
Author 
Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333443.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Introduction to Cryptography with Maple
Introduction to Cryptography with Maple
Author 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334079.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action