Lehrstuhl-Bibliothek
Create Library
Login
Home
Catalog
Search Catalog
Database A-Z
Top Collections
New Collections
My Account
Ask a Librarian?
Search
All
Audio/Visuals
Books
E-Books
E-Journals
Journals
News Clippings
Other
Publications
References
Software
Thesis
Default
Id
Title
Call No
ISBN
ISSN
ASIN
LCCN
DDC
OCLC
UPC
Author
Publisher
Category
Tags
Subject
Abstract
Description
Clear
Tag:
Logic
[
All
]
Page 1 of 1
Title
Authors/Editors
Publisher
Type
Copies
Book of Proof
Edition
:
3
Year
:
2018
ISBN
:
0989472124
ISBN 13
:
9780989472128
Richard Hammack
Richard Hammack
Books
1
Discrete, Continuous, and Hybrid Petri Nets
Edition
:
2nd ed. 2010
Year
:
2014
ISBN
:
3642424694
ISBN 13
:
9783642424694
David, René
Alla, Hassane
Springer
Books
1
How to Prove It: A Structured Approach
Edition
:
2
Year
:
2006
Daniel J. Velleman
Cambridge University Press
Books
1
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Edition
:
3
Year
:
2006
ISBN
:
0321455363
ISBN 13
:
9780321455369
John E. Hopcroft
Rajeev Motwani
Jeffrey D. Ullman
Pearson
Books
1
Introduction to the Theory of Computation. Michael Sipser
Edition
:
3rd edition
Year
:
2012
ISBN
:
1133187811
ISBN 13
:
9781133187813
Michael Sipser
Thomson South-Western
Books
1
Logical Foundations of Cyber-Physical Systems
Edition
:
1st ed. 2018
Year
:
2018
ISBN
:
3319635875
ISBN 13
:
9783319635873
Platzer, André
Springer
Books
1