Тема, жанр, tags: Computation by Abstract Devices » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices » Page 3

book Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition

Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition

pdf

Author: Malte Helmert (auth.)
Language: English
Year: 2008

00

06.02.2024

0

0

book Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

pdf

Author: Kathy Yelick (auth.) George Almási Călin Caşcaval Peng Wu (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

pdf

Author: Shankar Sastry (auth.) Alberto Bemporad Antonio Bicchi Giorgio Buttazzo (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

pdf

Author: Howard Barringer Dov M. Gabbay (auth.) Zohar Manna Doron A. Peled (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Algorithm Theory - SWAT 2010: 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Algorithm Theory - SWAT 2010: 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

pdf

Author: Jurek Czyzowicz David Ilcinkas Arnaud Labourel (auth.) Haim Kaplan (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

pdf

Author: Janusz Brzozowski (auth.) Adrian-Horia Dediu Henning Fernau Carlos Martín-Vide (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book From Animals to Animats 11: 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings

From Animals to Animats 11: 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings

pdf

Author: Michael A. Arbib (auth.) Stéphane Doncieux Benoît Girard Agnès Guillot John Hallam Jean-Arcady Meyer Jean-Baptiste Mouret (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Contemporary Computing: Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II

Contemporary Computing: Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II

pdf

Author: Narmada Nayak Durga Prasad Mohapatra (auth.) Sanjay Ranka Arunava Banerjee Kanad Kishore Biswas Sumeet Dua Prabhat Mishra Rajat Moona Sheung-Hung Poon Cho-Li Wang (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Transactions on Rough Sets XII

Transactions on Rough Sets XII

pdf

Author: Lech Polkowski Maria Semeniuk–Polkowska (auth.) James F. Peters Andrzej Skowron Roman Słowiński Pawan Lingras Duoqian Miao Shusaku Tsumoto (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

pdf

Author: Burkhard Monien Dominic Dumrauf Tobias Tscheuschner (auth.) Samson Abramsky Cyril Gavoille Claude Kirchner Friedhelm Meyer auf der Heide Paul G. Spirakis (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0