Тема, жанр, tags: Computing Methodologies » Page 46 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computing Methodologies » Page 46

book Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

pdf

Author: N. Alechina M. Dastani F. Khan B. Logan (auth.) Mehdi Dastani Koen V. Hindriks John-Jules Charles Meyer (eds.)
Language: English
Year: 2010

00

27.01.2024

2

0

book Quantum Interaction: Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

Quantum Interaction: Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

pdf

Author: Jerome R. Busemeyer (auth.) Peter Bruza Donald Sofge William Lawless Keith van Rijsbergen Matthias Klusch (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Principles of Distributed Systems: 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings

Principles of Distributed Systems: 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings

pdf

Author: Rachid Guerraoui (auth.) Theodore P. Baker Alain Bui Sébastien Tixeuil (eds.)
Language: English
Year: 2008

00

27.01.2024

5

0

book Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

pdf

Author: Daniel Andersson Kristoffer Arnsfelt Hansen (auth.) Arnold Beckmann Costas Dimitracopoulos Benedikt Löwe (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

pdf

Author: Nagarajan Kanna Jaspal Subhlok (auth.) Guang R. Gao Lori L. Pollock John Cavazos Xiaoming Li (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

pdf

Author: Giovanni Di Crescenzo (auth.) Jacques Calmet Willi Geiselmann Jörn Müller-Quade (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Robust Computing with Nano-scale Devices: Progresses and Challenges

Robust Computing with Nano-scale Devices: Progresses and Challenges

pdf

Author: Chao Huang (auth.) Chao Huang (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings

Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings

pdf

Author: Erol Gelenbe (auth.) Cevdet Aykanat Tuǧrul Dayar İbrahim Körpeoğlu (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Artificial Economics: Agent-Based Methods in Finance, Game Theory and Their Applications

Artificial Economics: Agent-Based Methods in Finance, Game Theory and Their Applications

pdf

00

27.01.2024

0

0

book Data Mining and Multi-agent Integration

Data Mining and Multi-agent Integration

pdf

Author: Longbing Cao (auth.) Longbing Cao (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0