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 Steffen, Bernhard AND Tygar, Doug

English

Reset Filters

Show filters (4)

Hutchison, David AND Steffen, Bernhard AND Tygar, Doug

English

Ask a Librarian

Books & more: Hits 41 - 60 of 177

sort by

Select all titles on this page

Select result number 41

41

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 42

42

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [E-Book] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings /

E-Book

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [E-Book] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009....

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 43

43

Information Security and Cryptology [E-Book] : 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers /

E-Book

Information Security and Cryptology [E-Book] : 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 44

44

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 45

45

Theory of Cryptography [E-Book] : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings /

E-Book

Theory of Cryptography [E-Book] : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 46

46

Numerical Analysis and Its Applications [E-Book] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers /

E-Book

Numerical Analysis and Its Applications [E-Book] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 47

47

Public Key Cryptography – PKC 2009 [E-Book] : 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings /

E-Book

Public Key Cryptography – PKC 2009 [E-Book] : 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 48

48

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 49

49

New Frontiers in Artificial Intelligence [E-Book] : JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /

E-Book

New Frontiers in Artificial Intelligence [E-Book] : JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 50

50

Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /

E-Book

Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selec...

Bosch, Peter
2009

Full text

Favorites

Saved in:

QR Code

Select result number 51

51

Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /

E-Book

Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Ge...

Goebel, Randy
2009

Full text

Favorites

Saved in:

QR Code

Select result number 52

52

Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /

E-Book

Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /

Cheon, Jung Hee
2009

Full text

Favorites

Saved in:

QR Code

Select result number 53

53

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 54

54

Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /

E-Book

Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /

Bruza, Peter
2009

Full text

Favorites

Saved in:

QR Code

Select result number 55

55

Topics in Cryptology – CT-RSA 2009 [E-Book] : The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings /

E-Book

Topics in Cryptology – CT-RSA 2009 [E-Book] : The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings /

Fischlin, Marc
2009

Full text

Favorites

Saved in:

QR Code

Select result number 56

56

Advances in Knowledge Discovery and Data Mining [E-Book] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings /

E-Book

Advances in Knowledge Discovery and Data Mining [E-Book] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings /

Cercone, Nick
2009

Full text

Favorites

Saved in:

QR Code

Select result number 57

57

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 58

58

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 59

59

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 60

60

Independent Component Analysis and Signal Separation [E-Book] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings /

E-Book

Independent Component Analysis and Signal Separation [E-Book] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings /

Adali, Tülay
2009

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
1
2
3
4
5
6
7
8
9
Next
[9]

Narrow Search Results

Electronic Edition 177

Conference Publication 177

From:

To:

Hutchison, David Kanade, Takeo 177 Kleinberg, Jon M. 177 Mitchell, John C. 177 Nierstrasz, Oscar 177 Pandu Rangan, C. 177 more ... Steffen, Bernhard Terzopoulos, Demetri 177 Tygar, Doug Weikum, Gerhard 177 Kittler, Josef 176 Mattern, Friedemann 176 Sudan, Madhu 176 Vardi, Moshe Y. 176 Naor, Moni 175 Goebel, Randy 24 Siekmann, Jörg 24 Wahlster, Wolfgang 24 Istrail, Sorin 4 Pevzner, Pavel 4 Waterman, Michael S. 4 He, Haibo 3 Yu, Wen 3 Zhang, Nian 3 Allen, Gabrielle 2 Alvarez, Jose R. 2 Artikis, Alexander 2 Corchado, Emilio 2 Corchado, Juan M. 2 Dongarra, Jack 2 see all ... less ...

Computer science 166 Computer Communication Networks 70 Software engineering 67 Computer software 58 Artificial intelligence 52 Information systems 48 more ... Data mining 36 Logic design 36 Information storage and retrieval systems 30 Computational complexity 29 Information Systems 29 Optical pattern recognition 26 Computer vision 22 Data encryption (Computer science) 20 Data protection 20 Computer system performance 17 Bioinformatics 16 Computer simulation 15 Database management 14 Electronic data processing 14 Information theory 14 Data structures (Computer science) 13 Computer graphics 12 Computer network architectures 12 Multimedia systems 11 Algebra 10 Operating systems (Computers) 10 Coding theory 9 Telecommunication 8 Algorithms 6 see all ... less ...

English

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...