Limit Search Results
Author
SpringerLink (Online service)
(71)
Wiley InterScience (Online service)
(13)
Constanda, Christian. editor.
(4)
Widlund, Olof. editor.
(4)
Dorst, Leo, 1958-
(3)
Language
Publication Date
-
Subject
Computer science.
(23)
Object-oriented methods (Computer science)
(22)
Mathematics.
(20)
Formal methods (Computer science)
(14)
Computer science -- Mathematics.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
309 Results Found Subscribe to search results
000000000DEFAULT
Print
301. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Dynamic logic
Dynamic logic
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Advances in object-oriented data modeling
Advances in object-oriented data modeling
Author 
Papazoglou, M., 1953- Spaccapietra, S. Tari, Zahir.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267423
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Handbook of discrete and combinatorial mathematics
Handbook of discrete and combinatorial mathematics
Author 
Rosen, Kenneth H. Michaels, John G.
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:
305. 
Cover image for Objektorientierte Modellierung in Planung und Konstruktion Abschlussbericht über das Forschungsprogramm 1991-1998 ; Forschungsbericht der DFG
Objektorientierte Modellierung in Planung und Konstruktion Abschlussbericht über das Forschungsprogramm 1991-1998 ; Forschungsbericht der DFG
Author 
Deutsche Forschungsgemeinschaft. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527609277
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Handbook of object technology
Handbook of object technology
Author 
Zamir, Saba, 1959-
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:
307. 
Cover image for Object-oriented design for temporal GIS
Object-oriented design for temporal GIS
Author 
Wachowicz, Monica.
Preferred Shelf Number 
G70.212 .W33 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
308. 
Cover image for Computational materials science the simulation of materials microstructures and properties
Computational materials science the simulation of materials microstructures and properties
Author 
Raabe, Dierk.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to see page images available via Wiley.
John Wiley http://dx.doi.org/10.1002/3527601945
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/40821147.html
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Control Engineering Solutions A practical approach
Control Engineering Solutions A practical approach
Author 
Albertos, P., ed. Strietzel, R., ed. Mort, N., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE054E
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action