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

Hutchison, David AND Naor, Moni AND Sudan, Madhu

Software engineering

Reset Filters

Show filters (4)

Hutchison, David AND Naor, Moni AND Sudan, Madhu

Software engineering

Ask a Librarian

Books & more: Hits 21 - 40 of 80

sort by

Select all titles on this page

Select result number 21

21

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

E-Book

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

Du, Ding-Zhu
2009

Full text

Favorites

Saved in:

QR Code

Select result number 22

22

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 23

23

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

E-Book

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

Díaz, Oscar
2009

Full text

Favorites

Saved in:

QR Code

Select result number 24

24

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 25

25

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 26

26

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

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

Full text

Favorites

Saved in:

QR Code

Select result number 27

27

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 28

28

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

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

Full text

Favorites

Saved in:

QR Code

Select result number 29

29

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 30

30

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

E-Book

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

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 31

31

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

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

Full text

Favorites

Saved in:

QR Code

Select result number 32

32

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

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

Full text

Favorites

Saved in:

QR Code

Select result number 33

33

Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

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

Full text

Favorites

Saved in:

QR Code

Select result number 34

34

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 35

35

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 Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

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

Full text

Favorites

Saved in:

QR Code

Select result number 36

36

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

E-Book

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

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 37

37

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

E-Book

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

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 38

38

GeoSensor Networks [E-Book] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /

E-Book

GeoSensor Networks [E-Book] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /

Hutchison, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 39

39

Ad-hoc, Mobile and Wireless Networks [E-Book] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings /

E-Book

Ad-hoc, Mobile and Wireless Networks [E-Book] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings /

Coudert, David
2008

Full text

Favorites

Saved in:

QR Code

Select result number 40

40

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 all titles on this page

[1]
Prev
1
2
3
4
Next
[4]

Narrow Search Results

Electronic Edition 80

Conference Publication 65

From:

To:

Hutchison, David 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 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 ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...