Rezultati

1

Slika na naslovnici

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

Izdano 2007

eKnjiga

2

Slika na naslovnici

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /

Izdano 2007

eKnjiga

3

Slika na naslovnici

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /

Izdano 2007

eKnjiga

4

Slika na naslovnici

Automated Deduction - CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

Izdano 2007

eKnjiga

5

Slika na naslovnici

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Izdano 2007

eKnjiga

6

Slika na naslovnici

Coordination, Organizations, Institutions, and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda,...

od Noriega, Pablo.
Izdano 2007

eKnjiga

7

Slika na naslovnici

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

Izdano 2007

eKnjiga

8

Slika na naslovnici

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

Izdano 2007

eKnjiga

9

Slika na naslovnici

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

Izdano 2005

eKnjiga

10

Slika na naslovnici

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Izdano 2005

eKnjiga

11

Slika na naslovnici

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /

Izdano 2005

eKnjiga

12

Slika na naslovnici

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /

Izdano 2005

eKnjiga

13

Slika na naslovnici

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning /

Izdano 2005

eKnjiga

14

Slika na naslovnici

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /

Izdano 2005

eKnjiga

15

Slika na naslovnici

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

Izdano 2005

eKnjiga

16

Slika na naslovnici

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Izdano 2005

eKnjiga

17

Slika na naslovnici

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

Izdano 2005

eKnjiga

18

Slika na naslovnici

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

Izdano 2005

eKnjiga

19

Slika na naslovnici

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Izdano 2005

eKnjiga

20

Slika na naslovnici

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

eKnjiga