Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings » Page 1272 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings » Page 1272

book Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

pdf

Author: Klaus Aehlig Jan Johannsen Helmut Schwichtenberg (auth.) Reinhard Kahle Peter Schroeder-Heister Robert Stärk (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Bioinformatics Research and Development: First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

Bioinformatics Research and Development: First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

pdf

Author: Nicole Radde Lars Kaderali (auth.) Sepp Hochreiter Roland Wagner (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction

Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction

pdf

Author: Stephan Heuel (auth.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Brain Dynamics: An Introduction to Models and Simualtions

Brain Dynamics: An Introduction to Models and Simualtions

pdf

Author: Hermann Haken (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers

Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers

pdf

Author: Yakov Keselman Sven Dickinson (auth.) Gregory D. Hager Henrik Iskov Christensen Horst Bunke Rolf Klein (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers

DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers

pdf

Author: Phiset Sa-Ardyen Nataša Jonoska Nadrian C. Seeman (auth.) Masami Hagiya Azuma Ohuchi (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Media Theory: Interdisciplinary Applied Mathematics

Media Theory: Interdisciplinary Applied Mathematics

pdf

Author: David Eppstein Jean-Claude Falmagne Sergei Ovchinnikov (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Foundations and Advances in Data Mining

Foundations and Advances in Data Mining

pdf

Author: T. Poggio S. Smale (auth.) Professor Wesley Chu Professor Tsau Young Lin (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book European Robotics Symposium 2006

European Robotics Symposium 2006

pdf

Author: John Hallam Herman Bruyninckx (auth.) Henrik I. Christensen (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Genetic and Evolutionary Computation — GECCO 2003: Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part I

Genetic and Evolutionary Computation — GECCO 2003: Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part I

pdf

00

26.01.2024

0

0