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 AND Software engineering

Electronic Edition

Reset Filters

Show filters (3)

Logic design AND Software engineering

Electronic Edition

Ask a Librarian

Books & more: Hits 61 - 80 of 698

sort by

Select all titles on this page

Select result number 61

61

Automated Deduction - CADE-20 [E-Book] / 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

E-Book

Automated Deduction - CADE-20 [E-Book] / 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Nieuwenhuis, Robert.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 62

62

Automated Deduction – CADE-21 [E-Book] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

E-Book

Automated Deduction – CADE-21 [E-Book] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

Pfenning, Frank
2007

Full text

Favorites

Saved in:

QR Code

Select result number 63

63

Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /

E-Book

Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /

Bjørner, Nikolaj.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 64

64

Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

E-Book

Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

Goré, Rajeev.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 65

65

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 66

66

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 67

67

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 68

68

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 69

69

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 70

70

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 71

71

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 72

72

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 73

73

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 74

74

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 75

75

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 76

76

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 77

77

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 78

78

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 79

79

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 80

80

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 all titles on this page

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

Narrow Search Results

Electronic Edition

Conference Publication 593 Theses 1

From:

To:

Vardi, Moshe Y. 30 Nierstrasz, Oscar 28 Steffen, Bernhard 28 Hutchison, David 27 Kanade, Takeo 27 Kittler, Josef 27 more ... Kleinberg, Jon M. 27 Mattern, Friedemann 27 Mitchell, John C. 27 Pandu Rangan, C. 27 Sudan, Madhu 27 Terzopoulos, Demetri 27 Tygar, Doug 27 Weikum, Gerhard 27 Naor, Moni 26 Bonsangue, Marcello M. 8 Stafford, Judith A. 7 Voronkov, Andrei 7 Liu, Zhiming 6 Peled, Doron A. 6 Reed, Rick 5 Steffen, Bernhard. 5 Woodcock, Jim 5 Backhouse, Roland C. 4 Baldoni, Matteo 4 Bjørner, Dines. 4 Boer, Frank S. 4 Broy, Manfred. 4 Davies, Jim. 4 Dix, Jürgen 4 see all ... less ...

Logic design Software engineering Computer science 634 Computer Communication Networks 219 Artificial intelligence 165 Information Systems 77 more ... Operating systems (Computers) 65 Computer software 53 Information systems 35 Computer system performance 26 Computer simulation 23 Algebra 22 Computational complexity 22 Information storage and retrieval systems 18 Data structures (Computer science) 17 Multimedia systems 15 Database management 13 Computer network architectures 12 Information theory 12 Management information systems 11 Coding theory 9 Computer hardware 9 Data encryption (Computer science) 8 Data protection 6 Computer aided design 5 Engineering 5 Logic, Symbolic and mathematical 5 Structural control (Engineering) 5 Data mining 4 Telecommunication 4 see all ... less ...

MWE - Decision theory, game theory 1

English 601 German 2

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...