Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Puzzles in Logic, Languages and Computation The Green Book
Puzzles in Logic, Languages and Computation The Green Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34372-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Puzzles in Logic, Languages and Computation The Red Book
Puzzles in Logic, Languages and Computation The Red Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333842.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34378-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520401.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies: