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

Logic design

Reset Filters

Show filters (1)

Logic design

Ask a Librarian

Books & more: Hits 181 - 200 of 1,061

sort by

Select all titles on this page

Select result number 181

181

Computer Safety, Reliability, and Security (vol. # 3688) [E-Book] / 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

E-Book

Computer Safety, Reliability, and Security (vol. # 3688) [E-Book] / 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Dahll, Gustav.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 182

182

Computer Safety, Reliability, and Security (vol. # 4166) [E-Book] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings

E-Book

Computer Safety, Reliability, and Security (vol. # 4166) [E-Book] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings

Górski, Janusz
2006

Full text

Favorites

Saved in:

QR Code

Select result number 183

183

Computer Science Logic [E-Book] : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /

E-Book

Computer Science Logic [E-Book] : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /

Bezem, Marc
1997

Full text

Favorites

Saved in:

QR Code

Select result number 184

184

Computer Science Logic [E-Book] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /

E-Book

Computer Science Logic [E-Book] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /

Nielsen, Mogens.
1998

Full text

Favorites

Saved in:

QR Code

Select result number 185

185

Computer Science Logic [E-Book] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /

E-Book

Computer Science Logic [E-Book] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /

Gottlob, Georg.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 186

186

Computer Science Logic [E-Book] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings /

E-Book

Computer Science Logic [E-Book] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings /

Flum, Jörg.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 187

187

Computer Science Logic [E-Book] : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings /

E-Book

Computer Science Logic [E-Book] : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings /

Clote, Peter G.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 188

188

Computer Science Logic [E-Book] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings /

E-Book

Computer Science Logic [E-Book] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings /

Fribourg, Laurent.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 189

189

Computer Science Logic [E-Book] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings /

E-Book

Computer Science Logic [E-Book] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings /

Bradfield, Julian.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 190

190

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings [E-Book] /

E-Book

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

Baaz, Matthias
2003

Full text

Favorites

Saved in:

QR Code

Select result number 191

191

Computer Science Logic [E-Book] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /

E-Book

Computer Science Logic [E-Book] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /

Marcinkowski, Jerzy.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 192

192

Computer Science Logic [E-Book] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

E-Book

Computer Science Logic [E-Book] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

Duparc, Jacques
2007

Full text

Favorites

Saved in:

QR Code

Select result number 193

193

Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /

E-Book

Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /

Grädel, Erich
2009

Full text

Favorites

Saved in:

QR Code

Select result number 194

194

Computer Science Logic [E-Book] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

E-Book

Computer Science Logic [E-Book] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

Dawar, Anuj
2010

Full text

Favorites

Saved in:

QR Code

Select result number 195

195

Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

E-Book

Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Ong, Luke.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 196

196

Computer Science Logic (vol. # 4207) [E-Book] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

E-Book

Computer Science Logic (vol. # 4207) [E-Book] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Ésik, Zoltán
2006

Full text

Favorites

Saved in:

QR Code

Select result number 197

197

Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

E-Book

Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

Ablayev, Farid
2010

Full text

Favorites

Saved in:

QR Code

Select result number 198

198

Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /

E-Book

Computer Science – Theory and Applications [E-Book] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /

Kulikov, Alexander.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 199

199

Computer Science - Theory and Applications [E-Book] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /

E-Book

Computer Science - Theory and Applications [E-Book] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /

Frid, Anna
2009

Full text

Favorites

Saved in:

QR Code

Select result number 200

200

Computer Security - ESORICS 2000 [E-Book] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings /

E-Book

Computer Security - ESORICS 2000 [E-Book] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings /

Cuppens, Frederic.
2000

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
5
6
7
8
9
10
11
12
13
14
15
Next
[54]

Narrow Search Results

Electronic Edition 1,061

Conference Publication 890 Theses 1

From:

To:

Vardi, Moshe Y. 42 Nierstrasz, Oscar 40 Steffen, Bernhard 40 Hutchison, David 39 Kanade, Takeo 39 Kittler, Josef 39 more ... Kleinberg, Jon M. 39 Mattern, Friedemann 39 Mitchell, John C. 39 Pandu Rangan, C. 39 Sudan, Madhu 39 Terzopoulos, Demetri 39 Tygar, Doug 39 Weikum, Gerhard 39 Naor, Moni 38 Rozenberg, Grzegorz. 9 Bonsangue, Marcello M. 8 Peled, Doron A. 7 Stafford, Judith A. 7 Voronkov, Andrei 7 Voronkov, Andrei. 7 Ehrig, Hartmut. 6 Liu, Zhiming 6 Rossi, Francesca 6 Boer, Frank S. 5 Dix, Jürgen 5 Gorrieri, Roberto 5 Montanari, Ugo 5 Reed, Rick 5 Siekmann, Jörg 5 see all ... less ...

Logic design Computer science 965 Software engineering 698 Artificial intelligence 326 Computer Communication Networks 278 Computer software 141 more ... Operating systems (Computers) 88 Information Systems 85 Computational complexity 83 Information systems 61 Algebra 55 Information storage and retrieval systems 43 Data structures (Computer science) 42 Computer simulation 37 Information theory 36 Logic, Symbolic and mathematical 34 Computer system performance 33 Database management 29 Engineering 25 Computer aided design 23 Multimedia systems 22 Systems engineering 18 Computer network architectures 15 Data encryption (Computer science) 15 Electronic data processing 15 Management information systems 15 Computer hardware 14 Coding theory 13 Data transmission systems 13 Data protection 11 see all ... less ...

MWE - Decision theory, game theory 1

English 905 German 4

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...