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
Electronic Edition
Logic design
Reset Filters
Show filters (2)
Electronic Edition
Logic design
Ask a Librarian
Books & more
: Hits
1,061 - 1,061
of
1,061
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 1061
1061
E-Book
ZUM '98: The Z Formal Specification Notation [E-Book] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Bowen, Jonathan P.
1998
Full text
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
[1]
Prev
44
45
46
47
48
49
50
51
52
53
54
Back
Narrow Search Results
Available as
Electronic Edition
Material Type
Book
1,061
Type of Literature
Conference Publication
890
Theses
1
Year of Publication
From:
To:
Location
ZB
1,061
Name
Vardi, Moshe Y.
42
Nierstrasz, Oscar
40
Steffen, Bernhard
40
Hutchison, David
39
Kanade, Takeo
39
Kittler, Josef
39
more ...
Kleinberg, Jon M.
39
Mattern, Friedemann
39
Mitchell, John C.
39
Pandu Rangan, C.
39
Sudan, Madhu
39
Terzopoulos, Demetri
39
Tygar, Doug
39
Weikum, Gerhard
39
Naor, Moni
38
Rozenberg, Grzegorz.
9
Bonsangue, Marcello M.
8
Peled, Doron A.
7
Stafford, Judith A.
7
Voronkov, Andrei
7
Voronkov, Andrei.
7
Ehrig, Hartmut.
6
Liu, Zhiming
6
Rossi, Francesca
6
Boer, Frank S.
5
Dix, Jürgen
5
Gorrieri, Roberto
5
Montanari, Ugo
5
Reed, Rick
5
Siekmann, Jörg
5
see all ...
less ...
Subject
Logic design
Computer science
965
Software engineering
698
Artificial intelligence
326
Computer Communication Networks
278
Computer software
141
more ...
Operating systems (Computers)
88
Information Systems
85
Computational complexity
83
Information systems
61
Algebra
55
Information storage and retrieval systems
43
Data structures (Computer science)
42
Computer simulation
37
Information theory
36
Logic, Symbolic and mathematical
34
Computer system performance
33
Database management
29
Engineering
25
Computer aided design
23
Multimedia systems
22
Systems engineering
18
Computer network architectures
15
Data encryption (Computer science)
15
Electronic data processing
15
Management information systems
15
Computer hardware
14
Coding theory
13
Data transmission systems
13
Data protection
11
see all ...
less ...
Classification
MWE - Decision theory, game theory
1
Language
English
905
German
4
×
Loading...