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
Naor, Moni
AND
Sudan, Madhu
Electronic Edition
Computer science
AND
Logic design
AND
Software engineering
Reset Filters
Show filters (6)
Naor, Moni
AND
Sudan, Madhu
Electronic Edition
Computer science
AND
Logic design
AND
Software engineering
Ask a Librarian
Books & more
: Hits
21 - 26
of
26
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 21
21
E-Book
Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009...
Gorton, Ian
2009
Full text
Favorites
Saved in:
QR Code
Select result number 22
22
E-Book
Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Hofmeister, Christine
2009
Full text
Favorites
Saved in:
QR Code
Select result number 23
23
E-Book
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Franceschinis, Giuliana
2009
Full text
Favorites
Saved in:
QR Code
Select result number 24
24
E-Book
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Hutchison, David
2009
Full text
Favorites
Saved in:
QR Code
Select result number 25
25
E-Book
Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Bergel, Alexandre
2009
Full text
Favorites
Saved in:
QR Code
Select result number 26
26
E-Book
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Bouajjani, Ahmed
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
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Electronic Edition
Material Type
Book
26
Type of Literature
Conference Publication
25
Year of Publication
From:
To:
Location
ZB
26
Name
Hutchison, David
26
Kanade, Takeo
26
Kittler, Josef
26
Kleinberg, Jon M.
26
Mattern, Friedemann
26
Mitchell, John C.
26
more ...
Naor, Moni
Nierstrasz, Oscar
26
Pandu Rangan, C.
26
Steffen, Bernhard
26
Sudan, Madhu
Terzopoulos, Demetri
26
Tygar, Doug
26
Vardi, Moshe Y.
26
Weikum, Gerhard
26
Goebel, Randy
2
Hofmeister, Christine
2
Siekmann, Jörg
2
Wahlster, Wolfgang
2
Wolf, Karsten
2
Alfaro, Luca
1
Bergel, Alexandre
1
Bouajjani, Ahmed
1
Bruni, Roberto
1
Castagna, Giuseppe
1
Chechik, Marsha
1
Chockler, Hana
1
Eugster, Patrick
1
Fabry, Johan
1
Franceschinis, Giuliana
1
see all ...
less ...
Subject
Computer science
Logic design
Software engineering
Computer Communication Networks
7
Computer software
6
Artificial intelligence
5
more ...
Information theory
4
Computer network architectures
2
Computer simulation
2
Information Systems
2
Operating systems (Computers)
2
Algorithms
1
Computational complexity
1
Computer system performance
1
Computer vision
1
Data protection
1
Information systems
1
Multimedia systems
1
see all ...
less ...
Language
English
25
/* End Narrow Search Options */ ?>
×
Loading...