JuLib | Books & more - {"Heidelberg"}

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 Algebra

Reset Filters

Show filters (2)

Artificial intelligence AND Algebra

Ask a Librarian

Books & more: Hits 1 - 20 of 43

sort by

Select all titles on this page

Select result number 1

1

Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

E-Book

Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Mariño, Julio.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Formal Grammar [E-Book] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /

E-Book

Formal Grammar [E-Book] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /

Egg, Markus.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

E-Book

Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

Kuchen, Herbert.
2011

Full text Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Logic and Games on Automatic Structures [E-Book] : Playing with Quantifiers and Decompositions /

E-Book

Logic and Games on Automatic Structures [E-Book] : Playing with Quantifiers and Decompositions /

Kaiser, Łukasz.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /

E-Book

Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /

Kuich, Werner.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /

E-Book

Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /

Fernàndez Anta, Antonio.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

E-Book

Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

Narboux, Julien.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

E-Book

Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

Jouannaud, Jean-Pierre.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

E-Book

Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Swart, Harrie.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Formal Concept Analysis [E-Book] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings /

Jäschke, Robert.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /

E-Book

Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17,...

Larrosa, Javier.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Formal Concept Analysis [E-Book] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /

Kwuida, Léonard
2010

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Principles of Distributed Systems [E-Book] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /

E-Book

Principles of Distributed Systems [E-Book] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /

Lu, Chenyang.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

E-Book

Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

Berardi, Stefano
2009

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Stochastic Coalgebraic Logic [E-Book] /

E-Book

Stochastic Coalgebraic Logic [E-Book] /

Doberkat, Ernst-Erich
2009

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Flow, Gesture, and Spaces in Free Jazz [E-Book] : Towards a Theory of Collaboration /

E-Book

Flow, Gesture, and Spaces in Free Jazz [E-Book] : Towards a Theory of Collaboration /

Mazzola, Guerino B.
2009

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Semantics and Algebraic Specification [E-Book] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

E-Book

Semantics and Algebraic Specification [E-Book] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

Palsberg, Jens
2009

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

Ferré, Sébastien
2009

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Formal Concept Analysis [E-Book] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /

E-Book

Formal Concept Analysis [E-Book] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /

Medina, Raoul
2008

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Fuzzy Implications [E-Book] /

E-Book

Fuzzy Implications [E-Book] /

Baczynski, Michal
2008

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
Next
[3]

Narrow Search Results

Electronic Edition 43

Conference Publication 34

From:

To:

Hutchison, David 2 Kanade, Takeo 2 Kittler, Josef 2 Kleinberg, Jon M. 2 Mattern, Friedemann 2 Mitchell, John C. 2 more ... Naor, Moni 2 Nierstrasz, Oscar 2 Pandu Rangan, C. 2 Steffen, Bernhard 2 Sudan, Madhu 2 Terzopoulos, Demetri 2 Tygar, Doug 2 Vardi, Moshe Y. 2 Weikum, Gerhard 2 Altenkirch, Thorsten 1 Baader, Franz 1 Baczynski, Michal 1 Benhamou, Belaid. 1 Berardi, Stefano 1 Calmet, Jacques. 1 Calmet, Jaques 1 Campbell, John A. 1 Caprotti, Olga. 1 Cherlin, Paul B. 1 Damiani, Ferruccio 1 Doberkat, Ernst-Erich 1 Düntsch, Ivo 1 Egg, Markus. 1 Fernàndez Anta, Antonio. 1 see all ... less ...

Algebra Artificial intelligence Computer science 42 Logic design 20 Software engineering 18 Computational complexity 12 more ... Data mining 5 Computer software 3 Information storage and retrieval systems 3 Computer Communication Networks 2 Electronic data processing 2 Information systems 2 Mathematics 2 Algorithms 1 Computational linguistics 1 Computer graphics 1 Computer simulation 1 Computer vision 1 Database management 1 Distribution (Probability theory) 1 Engineering 1 Engineering mathematics 1 Grammar, Comparative and general 1 Logic, Symbolic and mathematical 1 Mathematical statistics 1 Music 1 Operator theory 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...