Limit Search Results
Author
SpringerLink (Online service)
(38)
Antoš, David. editor.
(2)
Bravetti, Mario. editor.
(2)
Liu, Zhiming. editor.
(2)
Salaün, Gwen. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(28)
Computer Communication Networks.
(13)
Logic design.
(13)
Computer software.
(9)
Artificial intelligence.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
0000DEFAULT
Print
37. 
Cover image for Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Author 
Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576280
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Software engineering for image processing systems
Software engineering for image processing systems
Author 
Laplante, Phillip A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action