Тема, жанр, tags: Mathematics of Computing » Page 79 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics of Computing » Page 79

book Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

pdf

Author: André Platzer (auth.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Computer Science – Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

Computer Science – Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

pdf

Author: Susanne Albers (auth.) Farid Ablayev Ernst W. Mayr (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

pdf

Author: Stephen L. Bloom Zoltan Ésik Werner Kuich (auth.) Symeon Bozapalidis George Rahonis (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Frontiers in Algorithmics: 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

Frontiers in Algorithmics: 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

pdf

Author: Kurt Mehlhorn Pascal Schweitzer (auth.) Der-Tsai Lee Danny Z. Chen Shi Ying (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book The P=NP Question and Gödel’s Lost Letter

The P=NP Question and Gödel’s Lost Letter

pdf

Author: Richard J. Lipton (auth.)
Language: English
Year: 2010

00

27.01.2024

2

0

book Computational Science - ICCS 2004: 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV

Computational Science - ICCS 2004: 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV

pdf

Author: Piotr Porwik Lisowska Agnieszka (auth.) Marian Bubak Geert Dick van Albada Peter M. A. Sloot Jack Dongarra (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

pdf

Author: Edwin J. Beggs (auth.) Cristian S. Calude José Félix Costa Nachum Dershowitz Elisabete Freire Grzegorz Rozenberg (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Die Keplersche Vermutung: Wie Mathematiker ein 400 Jahre altes Ratsel losten

Die Keplersche Vermutung: Wie Mathematiker ein 400 Jahre altes Ratsel losten

pdf

Author: George G. Szpiro (auth.)
Language: German
Year: 2011

00

27.01.2024

0

0

book Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

pdf

Author: Franz Baader (auth.) Sergio Tessaris Enrico Franconi Thomas Eiter Claudio Gutierrez Siegfried Handschuh Marie-Christine Rousset Renate A. Schmidt (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

pdf

Author: Dietmar Berwanger (auth.) Giacomo Bonanno Benedikt Löwe Wiebe van der Hoek (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0