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
Kanade, Takeo
Computer science
English
Reset Filters
Show filters (3)
Kanade, Takeo
Computer science
English
Ask a Librarian
Books & more
: Hits
161 - 166
of
166
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 161
161
E-Book
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Berardi, Stefano
2009
Full text
Favorites
Saved in:
QR Code
Select result number 162
162
E-Book
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
Hutchison, David
2009
Full text
Favorites
Saved in:
QR Code
Select result number 163
163
E-Book
Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /
DÃaz, Oscar
2009
Full text
Favorites
Saved in:
QR Code
Select result number 164
164
E-Book
Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /
Bruni, Roberto
2009
Full text
Favorites
Saved in:
QR Code
Select result number 165
165
E-Book
Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /
Berg, Hans
2009
Full text
Favorites
Saved in:
QR Code
Select result number 166
166
E-Book
Wireless Sensor Networks [E-Book] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings /
Hutchison, David
2009
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
9
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Electronic Edition
166
Material Type
Book
166
Type of Literature
Conference Publication
166
Year of Publication
From:
To:
Location
ZB
166
Name
Hutchison, David
166
Kanade, Takeo
Kleinberg, Jon M.
166
Mitchell, John C.
166
Nierstrasz, Oscar
166
Pandu Rangan, C.
166
more ...
Steffen, Bernhard
166
Terzopoulos, Demetri
166
Tygar, Doug
166
Weikum, Gerhard
166
Kittler, Josef
165
Mattern, Friedemann
165
Sudan, Madhu
165
Vardi, Moshe Y.
165
Naor, Moni
164
Goebel, Randy
24
Siekmann, Jörg
24
Wahlster, Wolfgang
24
Istrail, Sorin
4
Pevzner, Pavel
4
Waterman, Michael S.
4
He, Haibo
3
Yu, Wen
3
Zhang, Nian
3
Allen, Gabrielle
2
Alvarez, Jose R.
2
Artikis, Alexander
2
Corchado, Emilio
2
Corchado, Juan M.
2
Dongarra, Jack
2
see all ...
less ...
Subject
Computer science
Computer Communication Networks
66
Software engineering
66
Artificial intelligence
52
Computer software
51
Information systems
44
more ...
Logic design
36
Data mining
32
Information Systems
29
Information storage and retrieval systems
27
Optical pattern recognition
26
Computational complexity
22
Computer vision
21
Data protection
20
Data encryption (Computer science)
19
Computer system performance
16
Bioinformatics
15
Computer simulation
14
Information theory
13
Computer network architectures
12
Database management
11
Electronic data processing
11
Multimedia systems
10
Operating systems (Computers)
10
Algebra
9
Data structures (Computer science)
9
Coding theory
8
Telecommunication
8
Computer graphics
7
Algorithms
5
see all ...
less ...
Language
English
/* End Narrow Search Options */ ?>
×
Loading...