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

Nierstrasz, Oscar AND Sudan, Madhu AND Terzopoulos, Demetri

Electronic Edition

Software engineering

Reset Filters

Show filters (5)

Nierstrasz, Oscar AND Sudan, Madhu AND Terzopoulos, Demetri

Electronic Edition

Software engineering

Ask a Librarian

Books & more: Hits 21 - 40 of 81

sort by

Select all titles on this page

Select result number 21

21

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 22

22

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 23

23

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 24

24

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 25

25

Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

E-Book

Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Dubois, Catherine
2009

Full text

Favorites

Saved in:

QR Code

Select result number 26

26

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 27

27

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 28

28

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 29

29

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 30

30

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 31

31

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 32

32

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 33

33

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 34

34

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 35

35

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 36

36

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 37

37

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 38

38

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 39

39

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 40

40

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

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

Narrow Search Results

Electronic Edition

Conference Publication 67

From:

To:

Hutchison, David 81 Kanade, Takeo 81 Kittler, Josef 81 Kleinberg, Jon M. 81 Mattern, Friedemann 81 Mitchell, John C. 81 more ... Nierstrasz, Oscar Pandu Rangan, C. 81 Steffen, Bernhard 81 Sudan, Madhu Terzopoulos, Demetri Tygar, Doug 81 Weikum, Gerhard 81 Vardi, Moshe Y. 80 Naor, Moni 79 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 ...

Software engineering Computer science 80 Computer Communication Networks 38 Logic design 27 Information systems 22 Computer software 19 more ... Computer simulation 15 Information Systems 15 Artificial intelligence 12 Computer network architectures 11 Computer system performance 11 Data protection 10 Information storage and retrieval systems 10 Information theory 9 Operating systems (Computers) 8 Data mining 7 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 ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...