Limit Search Results
Author
SpringerLink (Online service)
(147)
Voronkov, Andrei. editor.
(9)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(4)
Language
English
(148)
Publication Date
-
Subject
Computer science.
(123)
Computer Science Logic and Foundations of Programming.
(73)
Software engineering.
(72)
Formal Languages and Automata Theory.
(56)
Machine theory.
(56)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
148 Results Found Subscribe to search results
0000DEFAULT
Print
145. 
Cover image for Fifty Years of Fuzzy Logic and its Applications
Fifty Years of Fuzzy Logic and its Applications
Author 
Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19683-1
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Author 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
Author 
Konar, Amit, author.
Preferred Shelf Number 
QA76.9 .S63 K59 2000
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action