Limit Search Results
Author
SpringerLink (Online service)
(93)
Dastani, Mehdi. editor.
(3)
Wiley InterScience (Online service)
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Language
English
(146)
Publication Date
-
Subject
Software engineering.
(21)
Computer science.
(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
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Specification and uses of econometric models
Specification and uses of econometric models
Author 
Brown Tillman Merritt,d1913-
Preferred Shelf Number 
HB 74 M3 B77 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Key to technical translation. Vol 1, Concept specification
Key to technical translation. Vol 1, Concept specification
Author 
Hann, Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Chromatin Regulation of Early Embryonic Lineage Specification
Chromatin Regulation of Early Embryonic Lineage Specification
Author 
Knott, Jason. editor. Latham, Keith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63187-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Specification Level Concepts, Methods, and Algorithms
Formal Specification Level Concepts, Methods, and Algorithms
Author 
Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08699-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Concrete mix design, quality control and specification
Concrete mix design, quality control and specification
Author 
Day, Ken W., author. Aldred, James, author. Hudson, Barry, author.
Preferred Shelf Number 
ONLINE(342732.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Author 
Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Software specification and design an engineering approach
Software specification and design an engineering approach
Author 
Munson, John C.
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:
20. 
Cover image for Concrete mix design, quality control, and specification
Concrete mix design, quality control, and specification
Author 
Day, Ken W.
Preferred Shelf Number 
TA 439 D39 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
21. 
Cover image for ICE specification for piling and embedded retaining walls
ICE specification for piling and embedded retaining walls
Author 
Institution of Civil Engineers (Great Britain)
Preferred Shelf Number 
ONLINE(312995.1)
Electronic Access 
Knovel http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling
Knovel http://app.knovel.com/web/toc.v/cid:kpICESPER4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989
Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989
Author 
IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification (9th : 1989 : Enschede, The Netherlands) Brinksma, E., ed. Scollo, G., ed. Vissers, C.A., ed.
Preferred Shelf Number 
TK 5105.5 I3426 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984
Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984
Author 
IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.
Preferred Shelf Number 
TK 5105.5 I342 1984
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982
Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982
Author 
IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.
Preferred Shelf Number 
TK 5105.5 I342 1982
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action