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

Artificial intelligence AND Logic design AND Software engineering

Reset Filters

Show filters (3)

Artificial intelligence AND Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 121 - 140 of 165

sort by

Select all titles on this page

Select result number 121

121

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 122

122

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [E-Book] / AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul

E-Book

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [E-Book] / AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagen...

Boissier, Olivier
2006

Full text

Favorites

Saved in:

QR Code

Select result number 123

123

Computer Aided Verification [E-Book] : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /

E-Book

Computer Aided Verification [E-Book] : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /

Grumberg, Orna
1997

Full text

Favorites

Saved in:

QR Code

Select result number 124

124

Declarative Agent Languages and Technologies IV [E-Book] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

E-Book

Declarative Agent Languages and Technologies IV [E-Book] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Baldoni, Matteo
2006

Full text

Favorites

Saved in:

QR Code

Select result number 125

125

Verification of Object-Oriented Software. The KeY Approach [E-Book] : Foreword by K. Rustan M. Leino /

E-Book

Verification of Object-Oriented Software. The KeY Approach [E-Book] : Foreword by K. Rustan M. Leino /

Beckert, Bernhard
2007

Full text

Favorites

Saved in:

QR Code

Select result number 126

126

Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

E-Book

Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Disc...

Meyer, Bertrand
2008

Full text

Favorites

Saved in:

QR Code

Select result number 127

127

Agent-Oriented Software Engineering VII [E-Book] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

E-Book

Agent-Oriented Software Engineering VII [E-Book] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Padgham, Lin
2007

Full text

Favorites

Saved in:

QR Code

Select result number 128

128

Innovative Internet Computing Systems [E-Book] : Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20–22, 2002 Proceedings /

E-Book

Innovative Internet Computing Systems [E-Book] : Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20–22, 2002 Proceedings /

Böhme, Thomas
2006

Full text

Favorites

Saved in:

QR Code

Select result number 129

129

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [E-Book] / 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

E-Book

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [E-Book] / 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedin...

Sutcliffe, Geoff
2005

Full text

Favorites

Saved in:

QR Code

Select result number 130

130

Theorem Proving in Higher Order Logics [E-Book] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

E-Book

Theorem Proving in Higher Order Logics [E-Book] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

Bertot, Yves.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 131

131

Declarative Agent Languages and Technologies II [E-Book] / Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

E-Book

Declarative Agent Languages and Technologies II [E-Book] / Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Leite, João.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 132

132

Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

E-Book

Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Hurd, Joe.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 133

133

Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /

E-Book

Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /

Hu, Alan J.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 134

134

Global Computing [E-Book] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

E-Book

Global Computing [E-Book] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Priami, Corrado.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 135

135

Compiler Construction [E-Book] : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

E-Book

Compiler Construction [E-Book] : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland...

Hedin, Görel.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 136

136

Semirings for Soft Constraint Solving and Programming [E-Book] /

E-Book

Semirings for Soft Constraint Solving and Programming [E-Book] /

Bistarelli, Stefano.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 137

137

Generic Model Management [E-Book] : Concepts and Algorithms /

E-Book

Generic Model Management [E-Book] : Concepts and Algorithms /

Melnik, Sergey.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 138

138

Program Development in Computational Logic [E-Book] : A Decade of Research Advances in Logic-Based Program Development /

E-Book

Program Development in Computational Logic [E-Book] : A Decade of Research Advances in Logic-Based Program Development /

Bruynooghe, Maurice.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 139

139

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 140

140

Issues in Agent Communication [E-Book] /

E-Book

Issues in Agent Communication [E-Book] /

Dignum, Frank.
2000

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 165

Conference Publication 144

From:

To:

Vardi, Moshe Y. 6 Hutchison, David 5 Kanade, Takeo 5 Kittler, Josef 5 Kleinberg, Jon M. 5 Mattern, Friedemann 5 more ... Mitchell, John C. 5 Naor, Moni 5 Nierstrasz, Oscar 5 Pandu Rangan, C. 5 Steffen, Bernhard 5 Sudan, Madhu 5 Terzopoulos, Demetri 5 Tygar, Doug 5 Voronkov, Andrei 5 Weikum, Gerhard 5 Baldoni, Matteo 4 Dix, Jürgen 4 Siekmann, Jörg 4 Voronkov, Andrei. 4 Bordini, Rafael H. 3 Dastani, Mehdi 3 Dignum, Frank. 3 Meyer, John-Jules Ch. 3 Müller, Jörg P. 3 Seghrouchni, Amal El Fallah 3 Torroni, Paolo 3 Alonso, Eduardo 2 Barthe, Gilles. 2 Basin, David. 2 see all ... less ...

Artificial intelligence Logic design Software engineering Computer science 151 Computer Communication Networks 66 Information systems 10 more ... Algebra 8 Computer software 6 Computational complexity 4 Computer aided design 4 Computer hardware 4 Information storage and retrieval systems 3 Algebra_xData processing 2 Algorithms 2 Computer simulation 2 Monoclonal antibodies 2 Operating systems (Computers) 2 Database management 1 Information theory 1 Logic, Symbolic and mathematical 1 Multimedia systems 1 decision theory 1 see all ... less ...

MWE - Decision theory, game theory 1

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...