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

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

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings

Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings

djvu

Author: Joel V. Earnest-DeYoung Emmanuelle Lerat Bernard M. E. Moret (auth.) Inge Jonassen Junhyong Kim (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

pdf

Author: Kurt Jensen Lars M. Kristensen
Language: English
Year: 2009

00

26.01.2024

1

0

book Neural-symbolic cognitive reasoning

Neural-symbolic cognitive reasoning

pdf

Author: Dr. Artur S. d’Avila Garcez Dr. Luís C. Lamb Prof. Dov M. Gabbay (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

pdf

Author: Wolfgang Thomas (auth.) Luca de Alfaro (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Multiobjective Optimization: Interactive and Evolutionary Approaches

Multiobjective Optimization: Interactive and Evolutionary Approaches

pdf

Author: Kaisa Miettinen (auth.) Jürgen Branke Kalyanmoy Deb Kaisa Miettinen Roman Słowiński (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Substitutions in Dynamics, Arithmetics and Combinatorics

Substitutions in Dynamics, Arithmetics and Combinatorics

pdf

Author: N. Pytheas Fogg Valéré Berthé Sébastien Ferenczi Christian Mauduit Anne Siegel (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings

AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings

pdf

Author: Hiroshi Motoda (auth.) Abdul Sattar Byeong-ho Kang (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

pdf

Author: Mihai Ionescu Andrei Păun Gheorghe Păun Mario J. Pérez-Jiménez (auth.) Chengde Mao Takashi Yokomori (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Advances in Artificial Intelligence – IBERAMIA 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings

Advances in Artificial Intelligence – IBERAMIA 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings

pdf

Author: Rubén Fuentes Jorge J. Gómez-Sanz Juan Pavón (auth.) Christian Lemaître Carlos A. Reyes Jesús A. González (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0