JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Kanade, Takeo
AND Mitchell, John C.
AND Sudan, Madhu
AND Vardi, Moshe Y.

Electronic Edition

Computer science

Reset Filters

Show filters (6)

Kanade, Takeo
AND Mitchell, John C.
AND Sudan, Madhu
AND Vardi, Moshe Y.

Electronic Edition

Computer science

Ask a Librarian

Books & more: Hits 121 - 140 of 199

sort by

Select all titles on this page

Select result number 121

121

Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /

E-Book

Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /

Boyd, Colin
2009

Full text

Favorites

Saved in:

QR Code

Select result number 122

122

Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

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 123

123

Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

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 124

124

Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

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 result number 125

125

Reflections on the Teaching of Programming [E-Book] : Methods and Implementations /

E-Book

Reflections on the Teaching of Programming [E-Book] : Methods and Implementations /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 126

126

Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /

E-Book

Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 127

127

The Common Component Modeling Example [E-Book] : Comparing Software Component Models /

E-Book

The Common Component Modeling Example [E-Book] : Comparing Software Component Models /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 128

128

Constraint Handling Rules [E-Book] : Current Research Topics /

E-Book

Constraint Handling Rules [E-Book] : Current Research Topics /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 129

129

Transactions on Computational Systems Biology X [E-Book] /

E-Book

Transactions on Computational Systems Biology X [E-Book] /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 130

130

Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /

E-Book

Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /

Garg, Vijay
2009

Full text

Favorites

Saved in:

QR Code

Select result number 131

131

Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

E-Book

Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

Battiti, Roberto
2008

Full text

Favorites

Saved in:

QR Code

Select result number 132

132

Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /

E-Book

Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /

Barthès, Jean-Paul A.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 133

133

High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

E-Book

High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Amestoy, Patrick R.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 134

134

Similarity-Based Clustering [E-Book] : Recent Developments and Biomedical Applications /

E-Book

Similarity-Based Clustering [E-Book] : Recent Developments and Biomedical Applications /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 135

135

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

Ferré, Sébastien
2009

Full text

Favorites

Saved in:

QR Code

Select result number 136

136

Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /

E-Book

Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /

Gao, Yong
2009

Full text

Favorites

Saved in:

QR Code

Select result number 137

137

Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /

E-Book

Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 138

138

Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /

E-Book

Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /

Van Albada, Geert Dick
2009

Full text

Favorites

Saved in:

QR Code

Select result number 139

139

Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /

E-Book

Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /

Van Albada, Geert Dick
2009

Full text

Favorites

Saved in:

QR Code

Select result number 140

140

Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /

E-Book

Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /

David, Nuno
2009

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
1
2
3
4
5
6
7
8
9
10
Next
[10]

Narrow Search Results

Electronic Edition

Conference Publication 164

From:

To:

Hutchison, David 199 Kanade, Takeo Kleinberg, Jon M. 199 Mitchell, John C. Pandu Rangan, C. 199 Steffen, Bernhard 199 more ... Sudan, Madhu Terzopoulos, Demetri 199 Tygar, Doug 199 Vardi, Moshe Y. Weikum, Gerhard 199 Kittler, Josef 198 Mattern, Friedemann 198 Nierstrasz, Oscar 198 Naor, Moni 197 Goebel, Randy 32 Siekmann, Jörg 32 Wahlster, Wolfgang 32 Istrail, Sorin 5 Pevzner, Pavel 5 Waterman, Michael S. 5 Gavrilova, Marina L. 3 He, Haibo 3 Tan, C. J. Kenneth 3 Yu, Wen 3 Zhang, Nian 3 Allen, Gabrielle 2 Alvarez, Jose R. 2 Artikis, Alexander 2 Corchado, Emilio 2 see all ... less ...

Computer science Software engineering 80 Computer Communication Networks 72 Artificial intelligence 65 Computer software 57 Information systems 52 more ... Data mining 39 Logic design 39 Information storage and retrieval systems 33 Information Systems 32 Optical pattern recognition 28 Computer vision 25 Computational complexity 24 Computer simulation 22 Data protection 20 Data encryption (Computer science) 19 Bioinformatics 18 Computer system performance 17 Information theory 17 Database management 15 Computer network architectures 13 Electronic data processing 13 Multimedia systems 13 Data structures (Computer science) 12 Operating systems (Computers) 11 Coding theory 10 Algebra 9 Computer graphics 9 Telecommunication 8 Algorithms 6 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...