Skip to content
Toggle navigation
VuFind
0
Items in e-Shelf
(Full)
History
User Account
Logout
User Account
Help
English
Deutsch
Books & more
Articles & more
JuSER
All Fields
Title
Journal Title
Name
Institution
Subject
Classification
Shelf Classification
Table of Contents
DOI
ISBN/ISSN
Call number
Report Number
Barcode
Full Texts (available in selection)
Find
Advanced
Reset Filters
Computer software
AND
Logic design
Reset Filters
Show filters (2)
Computer software
AND
Logic design
Ask a Librarian
Books & more
: Hits
141 - 141
of
141
sort by
Relevance
Year (descending)
Year (ascending)
Call Number
Author
Title
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Select result number 141
141
E-Book
Verification, Model Checking, and Abstract Interpretation [E-Book] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Jhala, Ranjit.
2011
Full text
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
[1]
Prev
1
2
3
4
5
6
7
8
Back
Narrow Search Results
Available as
Electronic Edition
141
Material Type
Book
141
Type of Literature
Conference Publication
126
Theses
1
Year of Publication
From:
To:
Location
ZB
141
Name
Hutchison, David
8
Kanade, Takeo
8
Kittler, Josef
8
Kleinberg, Jon M.
8
Mattern, Friedemann
8
Mitchell, John C.
8
more ...
Naor, Moni
8
Nierstrasz, Oscar
8
Pandu Rangan, C.
8
Steffen, Bernhard
8
Sudan, Madhu
8
Terzopoulos, Demetri
8
Tygar, Doug
8
Vardi, Moshe Y.
8
Weikum, Gerhard
8
Calude, Cristian S.
3
Feitelson, Dror G.
3
Kučera, Antonín
3
Rossi, Francesca
3
Rozenberg, Grzegorz.
3
Rudolph, Larry
3
Schwiegelshohn, Uwe
3
Chen, Jianer
2
Dawar, Anuj
2
Ehrig, Hartmut.
2
Frachtenberg, Eitan
2
Liu, Zhiming
2
Margenstern, Maurice.
2
Nagl, Manfred.
2
Potapov, Igor
2
see all ...
less ...
Subject
Computer software
Logic design
Computer science
128
Software engineering
53
Computational complexity
47
Data structures (Computer science)
29
more ...
Artificial intelligence
27
Computer Communication Networks
21
Information theory
12
Operating systems (Computers)
9
Algorithms
8
Electronic data processing
8
Algebra
6
Information systems
4
Computer simulation
3
Computer system performance
3
Data protection
3
Information storage and retrieval systems
3
Translators (Computer programs)
3
Bioinformatics
2
Coding theory
2
Computer network architectures
2
Data mining
2
Database management
2
Information Systems
2
Text processing (Computer science
2
Engineering
1
Logic, Symbolic and mathematical
1
Optical pattern recognition
1
Structural control (Engineering)
1
see all ...
less ...
Language
English
126
German
1
×
Loading...