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

Electronic Edition

Reset Filters

Show filters (2)

Logic design

Electronic Edition

Ask a Librarian

Books & more: Hits 101 - 120 of 1,061

sort by

Select all titles on this page

Select result number 101

101

Automated Reasoning [E-Book] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /

E-Book

Automated Reasoning [E-Book] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /

Basin, David.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 102

102

Automated Reasoning [E-Book] / Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

E-Book

Automated Reasoning [E-Book] / Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Furbach, Ulrich
2006

Full text

Favorites

Saved in:

QR Code

Select result number 103

103

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /

E-Book

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /

Brünnler, Kai.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 104

104

Automated Technology for Verification and Analysis [E-Book] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /

E-Book

Automated Technology for Verification and Analysis [E-Book] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /

Higashino, Teruo
2007

Full text

Favorites

Saved in:

QR Code

Select result number 105

105

Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

E-Book

Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Liu, Zhiming
2009

Full text

Favorites

Saved in:

QR Code

Select result number 106

106

Automated Technology for Verification and Analysis [E-Book] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings /

E-Book

Automated Technology for Verification and Analysis [E-Book] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings /

Bultan, Tevfik.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 107

107

Automated Technology for Verification and Analysis [E-Book] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /

E-Book

Automated Technology for Verification and Analysis [E-Book] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /

Wang, Farn.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 108

108

Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

E-Book

Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 109

109

Automated Technology for Vertification and Analysis [E-Book] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

E-Book

Automated Technology for Vertification and Analysis [E-Book] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Graf, Susanne
2006

Full text

Favorites

Saved in:

QR Code

Select result number 110

110

Automatic Verification of Sequential Infinite-State Processes [E-Book] /

E-Book

Automatic Verification of Sequential Infinite-State Processes [E-Book] /

Burkart, Olaf
1997

Full text

Favorites

Saved in:

QR Code

Select result number 111

111

Automotive Software- Connected Services in Mobile Networks [E-Book] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

E-Book

Automotive Software- Connected Services in Mobile Networks [E-Book] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Pape...

Broy, Manfred
2006

Full text

Favorites

Saved in:

QR Code

Select result number 112

112

B 2007: Formal Specification and Development in B [E-Book] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

E-Book

B 2007: Formal Specification and Development in B [E-Book] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques
2006

Full text

Favorites

Saved in:

QR Code

Select result number 113

113

B'98: Recent Advances in the Development and Use of the B Method [E-Book] : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings /

E-Book

B'98: Recent Advances in the Development and Use of the B Method [E-Book] : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings /

Didier, Bert.
1998

Full text

Favorites

Saved in:

QR Code

Select result number 114

114

Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /

E-Book

Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /

Rinderle-Ma, Stefanie.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 115

115

The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /

E-Book

The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /

Bradley, Aaron R.
2007

Full text

Favorites

Saved in:

QR Code

Select result number 116

116

CASL Reference Manual [E-Book] : The Complete Documentation of the Common Algebraic Specification Language /

E-Book

CASL Reference Manual [E-Book] : The Complete Documentation of the Common Algebraic Specification Language /

Mosses, Peter D.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 117

117

CASL User Manual [E-Book] : Introduction to Using the Common Algebraic Specification Language /

E-Book

CASL User Manual [E-Book] : Introduction to Using the Common Algebraic Specification Language /

Bidoit, Michel.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 118

118

Categories for Software Engineering [E-Book] /

E-Book

Categories for Software Engineering [E-Book] /

Fiadeiro, José Luiz.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 119

119

Category Theory and Computer Science [E-Book] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /

E-Book

Category Theory and Computer Science [E-Book] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /

Moggi, Eugenio
1997

Full text

Favorites

Saved in:

QR Code

Select result number 120

120

Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /

E-Book

Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selecte...

Horváth, Zoltán.
2010

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

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

Narrow Search Results

Electronic Edition

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...