Limit Search Results
Author
SpringerLink (Online service)
(508)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(12)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(11)
Legay, Axel. editor.
(7)
Artho, Cyrille. editor.
(5)
Language
English
(580)
Publication Date
-
Subject
Software engineering.
(277)
Computer science.
(266)
Computer Science Logic and Foundations of Programming.
(231)
Artificial intelligence.
(186)
Computer logic.
(161)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
580 Results Found Subscribe to search results
0000DEFAULT
Print
577. 
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:
578. 
Cover image for Computational intelligence for decision support
Computational intelligence for decision support
Author 
Chen, Zhengxin.
Preferred Shelf Number 
T58.62 .C33 1999
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420049145
Taylor & Francis https://www.taylorfrancis.com/books/9780367802158
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
579. 
Cover image for Algorithmic and Knowledge-based CAD for VLSI
Algorithmic and Knowledge-based CAD for VLSI
Author 
Taylor, Gaynor, ed. Russell, Gordon, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCS004E
Format: 
Availability 
Online Library~1
Available:
Copies:
580. 
Cover image for Analogue-digital ASICs Circuit techniques, design tools and applications
Analogue-digital ASICs Circuit techniques, design tools and applications
Author 
Soin, R. S., ed. Maloberti, F., ed. Franca, J., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCS003E
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action