Limit Search Results
Author
SpringerLink (Online service)
(73)
Dastani, Mehdi. editor.
(3)
Wiley InterScience (Online service)
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Publication Date
-
Subject
Computer science.
(20)
Software engineering.
(20)
Engineering.
(12)
Systems engineering.
(12)
Logic design.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
126 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Specification development
Specification development
Author 
Lalanne, Christian. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470611975
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Specification development
Specification development
Author 
Lalanne, Christian, author.
Preferred Shelf Number 
ONLINE(342052.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118931219
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Specification for tunnelling
Specification for tunnelling
Author 
British Tunnelling Society. Institution of Civil Engineers (Great Britain)
Preferred Shelf Number 
ONLINE(321490.1)
Electronic Access 
Knovel http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software specification methods
Software specification methods
Author 
Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html
John Wiley http://dx.doi.org/10.1002/9780470612514
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Specification writing and management
Specification writing and management
Author 
McRobb, Max
Preferred Shelf Number 
TS 156 M39 1989 1.K
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
6. 
Cover image for Logics of Specification Languages
Logics of Specification Languages
Author 
Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Model specification for tunnelling
Model specification for tunnelling
Author 
The British Tunnelling Society. The Institution of Civil Engineers (Great Britain)
Preferred Shelf Number 
TA 804.G7 M63 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Product Reliability Specification and Performance
Product Reliability Specification and Performance
Author 
Murthy, Dodderi Narshima Prabhakar. author. Rausand, Marvin. author. Østerås, Trond. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-271-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for From Specification to Embedded Systems Application
From Specification to Embedded Systems Application
Author 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523277
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Relative Deprivation Specification, Development, and Integration
Relative Deprivation Specification, Development, and Integration
Author 
Walker, Iain. Smith, Heather J..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Structured analysis and system specification
Structured analysis and system specification
Author 
De Marco, Tom.
Preferred Shelf Number 
T 57.6 D45 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action