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

Naor, Moni

Software engineering

Reset Filters

Show filters (2)

Naor, Moni

Software engineering

Ask a Librarian

Books & more: Hits 21 - 40 of 80

sort by

Select all titles on this page

Select result number 21

E-Book

Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /

Du, Ding-Zhu
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 22

E-Book

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

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 23

E-Book

Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /

Díaz, Oscar
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 24

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 25

E-Book

Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Hanus, Michael
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 26

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 27

E-Book

Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 28

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 29

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 30

E-Book

Transactions on Petri Nets and Other Models of Concurrency II [E-Book] : Special Issue on Concurrency in Process-Aware Information Systems /

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 31

E-Book

Service-Oriented Computing – ICSOC 2008 Workshops [E-Book] : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers /

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 32

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 33

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 34

E-Book

Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Pr...

Alfaro, Luca
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 35

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 36

E-Book

Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 37

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 38

E-Book

Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, J...

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 39

E-Book

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

Hutchison, David
2009

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

Full text

Favorites

Saved in:

QR Code

Select result number 40

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

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 80

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 ... Naor, Moni Pandu Rangan, C. 80 Steffen, Bernhard 80 Sudan, Madhu 80 Terzopoulos, Demetri 80 Tygar, Doug 80 Weikum, Gerhard 80 Nierstrasz, Oscar 79 Vardi, Moshe Y. 79 Goebel, Randy 6 Siekmann, Jörg 6 Wahlster, Wolfgang 6 Artikis, Alexander 2 Hofmeister, Christine 2 Mirandola, Raffaela 2 Paige, Richard F. 2 Wolf, Karsten 2 Abdennadher, Nabil 1 Al-Begain, Khalid 1 Alexander, Michael 1 Alfaro, Luca 1 Allen, Gabrielle 1 Altman, Eitan 1 Amestoy, Patrick R. 1 see all ... less ...

Software engineering Computer science 79 Computer Communication Networks 37 Logic design 26 Information systems 22 Computer software 19 more ... Computer simulation 15 Information Systems 15 Artificial intelligence 13 Computer network architectures 11 Computer system performance 10 Data protection 10 Information storage and retrieval systems 10 Information theory 8 Operating systems (Computers) 8 Data mining 7 Computational complexity 4 Computer vision 4 Data encryption (Computer science) 4 Multimedia systems 4 Telecommunication 4 Algorithms 3 Data structures (Computer science) 3 Electronic data processing 3 Education 2 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)