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

Electronic Edition

Logic design

Reset Filters

Show filters (2)

Electronic Edition

Logic design

Ask a Librarian

Books & more: Hits 1 - 20 of 1,061

sort by

Select all titles on this page

Select result number 1

1

A 25-Year Perspective on Logic Programming [E-Book] : Achievements of the Italian Association for Logic Programming, GULP /

E-Book

A 25-Year Perspective on Logic Programming [E-Book] : Achievements of the Italian Association for Logic Programming, GULP /

Dovier, Agostino
2010

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Abstract Compositional Analysis of Iterated Relations [E-Book] : A Structural Approach to Complex State Transition Systems /

E-Book

Abstract Compositional Analysis of Iterated Relations [E-Book] : A Structural Approach to Complex State Transition Systems /

Geurts, Frédéric.
1998

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Abstract Computing Machines [E-Book] : A Lambda Calculus Perspective /

E-Book

Abstract Computing Machines [E-Book] : A Lambda Calculus Perspective /

Kluge, W.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

E-Book

Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

Börger, Egon.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Abstract State Machines 2004. Advances in Theory and Practice [E-Book] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

E-Book

Abstract State Machines 2004. Advances in Theory and Practice [E-Book] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

Thalheim, Bernhard.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

E-Book

Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

Frappier, Marc
2010

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

E-Book

Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

Gurevich, Yuri.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Abstraction, Refinement and Proof for Probabilistic Systems [E-Book] /

E-Book

Abstraction, Refinement and Proof for Probabilistic Systems [E-Book] /

McIver, Annabelle.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Abstraction, Reformulation, and Approximation [E-Book] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings /

E-Book

Abstraction, Reformulation, and Approximation [E-Book] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings /

Choueiry, Berthe Y.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Abstraction, Reformulation and Approximation [E-Book] / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

E-Book

Abstraction, Reformulation and Approximation [E-Book] / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Saitta, Lorenza.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Abstraction, Reformulation, and Approximation [E-Book] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

E-Book

Abstraction, Reformulation, and Approximation [E-Book] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

Miguel, Ian
2007

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Adapting Proofs-as-Programs [E-Book] : The Curry-Howard Protocol /

E-Book

Adapting Proofs-as-Programs [E-Book] : The Curry-Howard Protocol /

Poernomo, Iman Hafiz.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Adaptive Agents and Multi-Agent Systems [E-Book] : Adaptation and Multi-Agent Learning /

E-Book

Adaptive Agents and Multi-Agent Systems [E-Book] : Adaptation and Multi-Agent Learning /

Alonso, Eduardo
2003

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Adaptive Agents and Multi-Agent Systems II [E-Book] / Adaptation and Multi-Agent Learning

E-Book

Adaptive Agents and Multi-Agent Systems II [E-Book] / Adaptation and Multi-Agent Learning

Alonso, Eduardo
2005

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [E-Book] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /

E-Book

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [E-Book] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents a...

Guessoum, Zahia
2008

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

E-Book

Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

Jeuring, Johan.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /

E-Book

Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /

Müller, Peter
2010

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Advanced Symbolic Analysis for Compilers [E-Book] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization /

E-Book

Advanced Symbolic Analysis for Compilers [E-Book] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization /

Fahringer, Thomas.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Advances in Agent Communication [E-Book] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 /

E-Book

Advances in Agent Communication [E-Book] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 /

Dignum, Frank.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [E-Book] / 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006

E-Book

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [E-Book] / 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao...

Coelho, Helder
2006

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

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