Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
1933. 
Cover image for Information Systems Development Business Systems and Services: Modeling and Development
Information Systems Development Business Systems and Services: Modeling and Development
Author 
Pokorny, Jaroslav. editor. Repa, Vaclav. editor. Richta, Karel. editor. Wojtkowski, Wita. editor. Linger, Henry. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9790-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1934. 
Cover image for Rigorous Software Development An Introduction to Program Verification
Rigorous Software Development An Introduction to Program Verification
Author 
Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-018-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1935. 
Cover image for Dynamic Management of Sustainable Development Methods for Large Technical Systems
Dynamic Management of Sustainable Development Methods for Large Technical Systems
Author 
Krishans, Zigurds. author. Mutule, Anna. author. Merkuryev, Yuri. author. Oleinikova, Irina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-062-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1936. 
Cover image for Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-133-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1937. 
Cover image for Introduction to Software Process Improvement
Introduction to Software Process Improvement
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-172-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1938. 
Cover image for Software Reliability Assessment with OR Applications
Software Reliability Assessment with OR Applications
Author 
Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1939. 
Cover image for Migratory Interactive Applications for Ubiquitous Environments
Migratory Interactive Applications for Ubiquitous Environments
Author 
Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-250-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1940. 
Cover image for Specification of Software Systems
Specification of Software Systems
Author 
Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-277-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1941. 
Cover image for Sensing and Systems in Pervasive Computing Engineering Context Aware Systems
Sensing and Systems in Pervasive Computing Engineering Context Aware Systems
Author 
Chalmers, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1942. 
Cover image for Video Processing in the Cloud
Video Processing in the Cloud
Author 
Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1943. 
Cover image for Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Author 
Buttazzo, Giorgio C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0676-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1944. 
Cover image for Computer Science The Hardware, Software and Heart of It
Computer Science The Hardware, Software and Heart of It
Author 
Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action