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

ZB

Algebra AND Artificial intelligence AND Computer science

Reset Filters

Show filters (4)

ZB

Algebra AND Artificial intelligence AND Computer science

Ask a Librarian

Books & more: Hits 1 - 20 of 45

sort by

Select all titles on this page

Select result number 1

1

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 2

2

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 3

3

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 4

4

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 5

5

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 6

6

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 7

7

Guide to Geometric Algebra in Practice [E-Book] /

E-Book

Guide to Geometric Algebra in Practice [E-Book] /

Dorst, Leo.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

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 9

9

Cognitive Engineering [E-Book] : A Distributed Approach to Machine Intelligence /

E-Book

Cognitive Engineering [E-Book] : A Distributed Approach to Machine Intelligence /

Konar, Amit.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

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 11

11

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 12

12

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 13

13

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 14

14

Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings

E-Book

Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings

Missaoui, Rokia
2006

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Rewriting Techniques and Applications [E-Book] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /

Middeldorp, Aart.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Rewriting Techniques and Applications [E-Book] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /

Narendran, Paliath.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Term Rewriting and Applications (vol. # 3467) [E-Book] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

E-Book

Term Rewriting and Applications (vol. # 3467) [E-Book] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Giesl, Jürgen.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers /

E-Book

Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21,...

Swart, Harrie C. M.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Rewriting Techniques and Applications [E-Book] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /

E-Book

Rewriting Techniques and Applications [E-Book] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /

Tison, Sophie.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Principles of Data Mining and Knowledge Discovery [E-Book] : 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings /

E-Book

Principles of Data Mining and Knowledge Discovery [E-Book] : 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings /

Komorowski, Jan.
2000

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
Next
[3]

Narrow Search Results

Electronic Edition 45

Conference Publication 34

From:

To:

ZB

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 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 Dorst, Leo. 1 Düntsch, Ivo 1 Egg, Markus. 1 Fernàndez Anta, Antonio. 1 see all ... less ...

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

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...