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

Mitchell, John C.
AND Nierstrasz, Oscar
AND Steffen, Bernhard
AND Vardi, Moshe Y.

Computer science

Reset Filters

Show filters (5)

Mitchell, John C.
AND Nierstrasz, Oscar
AND Steffen, Bernhard
AND Vardi, Moshe Y.

Computer science

Ask a Librarian

Books & more: Hits 101 - 120 of 199

sort by

Select all titles on this page

Select result number 101

101

Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

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 102

102

Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

E-Book

Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

Ghose, Aditya
2009

Full text

Favorites

Saved in:

QR Code

Select result number 103

103

Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /

E-Book

Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 104

104

Advances in Grid and Pervasive Computing [E-Book] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings /

E-Book

Advances in Grid and Pervasive Computing [E-Book] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings /

Abdennadher, Nabil
2009

Full text

Favorites

Saved in:

QR Code

Select result number 105

105

Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /

E-Book

Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selec...

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 106

106

Engineering Secure Software and Systems [E-Book] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings /

E-Book

Engineering Secure Software and Systems [E-Book] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 107

107

Wireless Sensor Networks [E-Book] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings /

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

108

Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /

E-Book

Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 109

109

Information Security Applications [E-Book] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers /

E-Book

Information Security Applications [E-Book] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers /

Chung, Kyo-Il
2009

Full text

Favorites

Saved in:

QR Code

Select result number 110

110

Network Control and Optimization [E-Book] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /

E-Book

Network Control and Optimization [E-Book] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /

Altman, Eitan
2009

Full text

Favorites

Saved in:

QR Code

Select result number 111

111

End-User Development [E-Book] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings /

E-Book

End-User Development [E-Book] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 112

112

Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /

E-Book

Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /

Cheon, Jung Hee
2009

Full text

Favorites

Saved in:

QR Code

Select result number 113

113

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

E-Book

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and...

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 114

114

Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /

E-Book

Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, Augu...

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 115

115

Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /

E-Book

Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /

Denazis, Spyros
2009

Full text

Favorites

Saved in:

QR Code

Select result number 116

116

Evolutionary Multi-Criterion Optimization [E-Book] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings /

E-Book

Evolutionary Multi-Criterion Optimization [E-Book] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings /

Ehrgott, Matthias
2009

Full text

Favorites

Saved in:

QR Code

Select result number 117

117

Epistemological Aspects of Computer Simulation in the Social Sciences [E-Book] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers /

E-Book

Epistemological Aspects of Computer Simulation in the Social Sciences [E-Book] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and I...

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 118

118

Genetic Programming [E-Book] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /

E-Book

Genetic Programming [E-Book] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /

Ebner, Marc
2009

Full text

Favorites

Saved in:

QR Code

Select result number 119

119

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [E-Book] : 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /

E-Book

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [E-Book] : 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /

Giacobini, Mario
2009

Full text

Favorites

Saved in:

QR Code

Select result number 120

120

Advances in Knowledge Discovery and Data Mining [E-Book] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings /

E-Book

Advances in Knowledge Discovery and Data Mining [E-Book] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings /

Cercone, Nick
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 199

Conference Publication 165

From:

To:

Hutchison, David 199 Kanade, Takeo 199 Kleinberg, Jon M. 199 Mitchell, John C. Nierstrasz, Oscar Pandu Rangan, C. 199 more ... Steffen, Bernhard Terzopoulos, Demetri 199 Tygar, Doug 199 Vardi, Moshe Y. Weikum, Gerhard 199 Kittler, Josef 198 Mattern, Friedemann 198 Sudan, Madhu 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 79 Computer Communication Networks 73 Artificial intelligence 64 Computer software 58 Information systems 52 more ... Data mining 39 Logic design 39 Information Systems 33 Information storage and retrieval systems 33 Optical pattern recognition 28 Computational complexity 25 Computer vision 25 Computer simulation 21 Data protection 21 Data encryption (Computer science) 20 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...