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

Tygar, Doug

Conference Publication

Computer science AND Software engineering

Reset Filters

Show filters (4)

Tygar, Doug

Conference Publication

Computer science AND Software engineering

Ask a Librarian

Books & more: Hits 41 - 60 of 66

sort by

Select all titles on this page

Select result number 41

41

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 42

42

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 43

43

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

E-Book

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

Garg, Vijay
2009

Full text

Favorites

Saved in:

QR Code

Select result number 44

44

Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /

E-Book

Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /

Barthès, Jean-Paul A.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 45

45

High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

E-Book

High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Amestoy, Patrick R.
2008

Full text

Favorites

Saved in:

QR Code

Select result number 46

46

Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

E-Book

Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 47

47

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 48

48

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 49

49

Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 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

Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, E...

Castagna, Giuseppe
2009

Full text

Favorites

Saved in:

QR Code

Select result number 50

50

Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 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

Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Softwar...

Chechik, Marsha
2009

Full text

Favorites

Saved in:

QR Code

Select result number 51

51

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 52

52

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 53

53

Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /

E-Book

Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /

Denazis, Spyros
2009

Full text

Favorites

Saved in:

QR Code

Select result number 54

54

NETWORKING 2009 [E-Book] : 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings /

E-Book

NETWORKING 2009 [E-Book] : 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings /

Fratta, Luigi
2009

Full text

Favorites

Saved in:

QR Code

Select result number 55

55

Pervasive Computing [E-Book] : 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings /

E-Book

Pervasive Computing [E-Book] : 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings /

Beigl, Michael
2009

Full text

Favorites

Saved in:

QR Code

Select result number 56

56

Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

E-Book

Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

Ghose, Aditya
2009

Full text

Favorites

Saved in:

QR Code

Select result number 57

57

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

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

Full text

Favorites

Saved in:

QR Code

Select result number 58

58

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

Ferré, Sébastien
2009

Full text

Favorites

Saved in:

QR Code

Select result number 59

59

Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /

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

Full text

Favorites

Saved in:

QR Code

Select result number 60

60

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

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

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 66

Conference Publication

From:

To:

Hutchison, David 66 Kanade, Takeo 66 Kittler, Josef 66 Kleinberg, Jon M. 66 Mattern, Friedemann 66 Mitchell, John C. 66 more ... Nierstrasz, Oscar 66 Pandu Rangan, C. 66 Steffen, Bernhard 66 Sudan, Madhu 66 Terzopoulos, Demetri 66 Tygar, Doug Weikum, Gerhard 66 Vardi, Moshe Y. 65 Naor, Moni 64 Goebel, Randy 5 Siekmann, Jörg 5 Wahlster, Wolfgang 5 Allen, Gabrielle 2 Artikis, Alexander 2 Dongarra, Jack 2 Hofmeister, Christine 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 Al-Begain, Khalid 1 see all ... less ...

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

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...