JuLib | Books & more - {Mitchell, John C.}

VuFind

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

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Vardi, Moshe Y.

Electronic Edition

Computer science AND Software engineering

Reset Filters

Show filters (4)

Vardi, Moshe Y.

Electronic Edition

Computer science AND Software engineering

Ask a Librarian

Books & more: Hits 41 - 60 of 80

sort by

Select all titles on this page

Select result number 41

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 42

E-Book

Reliable Software Technologies – Ada-Europe 2009 [E-Book] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 43

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 44

E-Book

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

Garg, Vijay
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 45

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 46

E-Book

Software Engineering [E-Book] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 47

E-Book

Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Ma...

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 48

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 49

E-Book

Methods, Models and Tools for Fault Tolerance [E-Book] /

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 50

E-Book

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

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 51

E-Book

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

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 52

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 53

E-Book

Trustworthy Global Computing [E-Book] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 54

E-Book

Software Language Engineering [E-Book] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers /

Gašević, Dragan
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 55

E-Book

Human Machine Interaction [E-Book] : Research Results of the MMI Program /

Hutchison, David
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 56

E-Book

Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /

Garousi, Vahid
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 57

E-Book

Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Chockler, Hana
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 58

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 59

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

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select result number 60

E-Book

Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Eugster, Patrick
2009

Other Personal Name(s): “...Mitchell, John C....”

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

Narrow Search Results

Electronic Edition

Book 80

Conference Publication 65

From:

To:

ZB 80

Hutchison, David 80 Kanade, Takeo 80 Kittler, Josef 80 Kleinberg, Jon M. 80 Mattern, Friedemann 80 Mitchell, John C. 80 more ... Pandu Rangan, C. 80 Steffen, Bernhard 80 Sudan, Madhu 80 Terzopoulos, Demetri 80 Tygar, Doug 80 Vardi, Moshe Y. Weikum, Gerhard 80 Nierstrasz, Oscar 79 Naor, Moni 78 Goebel, Randy 6 Siekmann, Jörg 6 Wahlster, Wolfgang 6 Allen, Gabrielle 2 Artikis, Alexander 2 Dongarra, Jack 2 Hofmeister, Christine 2 Mirandola, Raffaela 2 Nabrzyski, Jarosław 2 Paige, Richard F. 2 Seidel, Edward 2 Sloot, Peter M. A. 2 Van Albada, Geert Dick 2 Wolf, Karsten 2 Abdennadher, Nabil 1 see all ... less ...

Computer science Software engineering Computer Communication Networks 36 Logic design 27 Information systems 21 Computer software 19 more ... Computer simulation 15 Information Systems 15 Artificial intelligence 13 Computer network architectures 10 Computer system performance 10 Data protection 10 Information storage and retrieval systems 10 Information theory 9 Operating systems (Computers) 8 Data mining 6 Computer vision 5 Computational complexity 4 Data encryption (Computer science) 4 Electronic data processing 4 Multimedia systems 4 Telecommunication 4 Algorithms 3 Data structures (Computer science) 3 Education 3 Optical pattern recognition 2 Algebra 1 Bioinformatics 1 Coding theory 1 Computer aided design 1 see all ... less ...

English 65

Forschungszentrum Jülich
Central Library (ZB)