Limit Search Results
Author
SpringerLink (Online service)
(36)
Al-Akkad, Amro. author.
(1)
Alexander, Michael. editor.
(1)
Ao, Sio-Iong. editor.
(1)
Badia, Rosa Maria. editor.
(1)
Language
Publication Date
-
Subject
Software engineering.
(35)
Software Engineering/Programming and Operating Systems.
(34)
Computer science.
(28)
Programming Techniques.
(8)
Programming Languages, Compilers, Interpreters.
(7)
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 Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Author 
Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334849.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for The engineering handbook
The engineering handbook
Author 
Dorf, Richard C.
Preferred Shelf Number 
TA151 .E424 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action