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 Tygar, Doug

Computer science AND Software engineering

Reset Filters

Show filters (4)

Hutchison, David AND Tygar, Doug

Computer science AND Software engineering

Ask a Librarian

Books & more: Hits 61 - 80 of 81

sort by

Select all titles on this page

Select result number 61

61

Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

E-Book

Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

Bouajjani, Ahmed
2009

Full text

Favorites

Saved in:

QR Code

Select result number 62

62

Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

E-Book

Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

Hartman, Alan
2009

Full text

Favorites

Saved in:

QR Code

Select result number 63

63

Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /

E-Book

Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /

González Nieto, Juan
2009

Full text

Favorites

Saved in:

QR Code

Select result number 64

64

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 65

65

Ambient Assistive Health and Wellness Management in the Heart of the City [E-Book] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings /

E-Book

Ambient Assistive Health and Wellness Management in the Heart of the City [E-Book] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, J...

Bauchet, Jérémy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 66

66

RoboCup 2008: Robot Soccer World Cup XII [E-Book] /

E-Book

RoboCup 2008: Robot Soccer World Cup XII [E-Book] /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 67

67

Computer Performance Engineering [E-Book] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /

E-Book

Computer Performance Engineering [E-Book] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /

Bradley, Jeremy T.
2009

Full text

Favorites

Saved in:

QR Code

Select result number 68

68

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 69

69

Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

E-Book

Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 70

70

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 71

71

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

72

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 73

73

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

E-Book

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

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 74

74

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 75

75

Trusted Computing [E-Book] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. /

E-Book

Trusted Computing [E-Book] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. /

Chen, Liqun
2009

Full text

Favorites

Saved in:

QR Code

Select result number 76

76

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 77

77

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 78

78

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

E-Book

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

Abdennadher, Nabil
2009

Full text

Favorites

Saved in:

QR Code

Select result number 79

79

The Semantic Web: Research and Applications [E-Book] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings /

E-Book

The Semantic Web: Research and Applications [E-Book] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings /

Aroyo, Lora
2009

Full text

Favorites

Saved in:

QR Code

Select result number 80

80

Organized Adaption in Multi-Agent Systems [E-Book] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers /

E-Book

Organized Adaption in Multi-Agent Systems [E-Book] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers /

Artikis, Alexander
2009

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 81

Conference Publication 66

From:

To:

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

Computer science Software engineering Computer Communication Networks 37 Logic design 27 Information systems 21 Computer software 19 more ... Computer simulation 16 Information Systems 15 Artificial intelligence 13 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 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 ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...