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
Artificial intelligence
AND
Logic design
Reset Filters
Show filters (2)
Artificial intelligence
AND
Logic design
Ask a Librarian
Books & more
: Hits
321 - 326
of
326
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 321
321
E-Book
Unifying Theories of Programming [E-Book] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Qin, Shengchao.
2010
Full text
Favorites
Saved in:
QR Code
Select result number 322
322
E-Book
Verification, Induction, Termination Analysis [E-Book] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Siegler, Simon.
2010
Full text
Favorites
Saved in:
QR Code
Select result number 323
323
E-Book
Verification of Object-Oriented Software. The KeY Approach [E-Book] : Foreword by K. Rustan M. Leino /
Beckert, Bernhard
2007
Full text
Favorites
Saved in:
QR Code
Select result number 324
324
E-Book
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Disc...
Meyer, Bertrand
2008
Full text
Favorites
Saved in:
QR Code
Select result number 325
325
E-Book
Verified Software: Theories, Tools, Experiments [E-Book] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Leavens, Gary T.
2010
Full text
Favorites
Saved in:
QR Code
Select result number 326
326
E-Book
Web Reasoning and Rule Systems [E-Book] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
de Sainte Marie, Christian
2007
Full text
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
[1]
Prev
7
8
9
10
11
12
13
14
15
16
17
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Electronic Edition
326
Material Type
Book
326
Type of Literature
Conference Publication
293
Year of Publication
From:
To:
Location
ZB
326
Name
Vardi, Moshe Y.
9
Hutchison, David
8
Kanade, Takeo
8
Kittler, Josef
8
Kleinberg, Jon M.
8
Mattern, Friedemann
8
more ...
Mitchell, John C.
8
Naor, Moni
8
Nierstrasz, Oscar
8
Pandu Rangan, C.
8
Steffen, Bernhard
8
Sudan, Madhu
8
Terzopoulos, Demetri
8
Tygar, Doug
8
Weikum, Gerhard
8
Voronkov, Andrei.
7
Dix, Jürgen
5
Rossi, Francesca
5
Siekmann, Jörg
5
Voronkov, Andrei
5
Baldoni, Matteo
4
Baader, Franz
3
Bordini, Rafael H.
3
Calude, Cristian S.
3
Dastani, Mehdi
3
Dignum, Frank.
3
Goebel, Randy
3
Governatori, Guido
3
Lau, Kung-Kiu.
3
Meyer, John-Jules Ch.
3
see all ...
less ...
Subject
Artificial intelligence
Logic design
Computer science
301
Software engineering
165
Computer Communication Networks
83
Information systems
32
more ...
Computer software
27
Information storage and retrieval systems
24
Algebra
20
Computational complexity
15
Logic, Symbolic and mathematical
15
Computer simulation
13
Database management
13
Computer aided design
10
Multimedia systems
7
Bioinformatics
6
Algebra_xData processing
5
Computer hardware
5
Information theory
5
Electronic data processing
4
Translators (Computer programs)
4
Biology_xData processing
3
Management information systems
3
Optical pattern recognition
3
Algorithms
2
Data mining
2
Engineering
2
Monoclonal antibodies
2
Operating systems (Computers)
2
Text processing (Computer science
2
see all ...
less ...
Classification
MWE - Decision theory, game theory
1
Language
English
295
/* End Narrow Search Options */ ?>
×
Loading...