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

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

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

1

0

book Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

pdf

Author: Andrés Iglesias (auth.) Marian Bubak Geert Dick van Albada Jack Dongarra Peter M. A. Sloot (eds.)
Language: English
Year: 2008

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 A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

pdf

Author: Gianfranco Rossi (auth.) Agostino Dovier Enrico Pontelli (eds.)
Language: English
Year: 2010

00

06.02.2024

2

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

3

0