100 Minuten für den kompetenten Auftritt
Persönlichkeitstraining nicht nur für Techniker, Ingenieure und Informatiker
Sibylle Horger-Thies
2011
10th International Conference on Automated Deduction
Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Mark E. Stickel
Lecture Notes in Computer Science, 1990, Volume 449
111 Thesen zur erfolgreichen Softwareentwicklung
Argumente und Entscheidungshilfen für Manager Konzepte und Anleitungen für Praktiker
Rainer Gerlich and Ralf Gerlich
Xpert.press, 2005
25 Years of Model Checking
History, Achievements, Perspectives
Orna Grumberg and Helmut Veith
Lecture Notes in Computer Science, 2008, Volume 5000
3-D Shape Estimation and Image Restoration
Exploiting Defocus and Motion Blur
Paolo Favaro and Stefano Soatto
2007
3D Computer Vision
Efficient Methods and Applications
Christian Wöhler
X.media.publishing, 2009
3D Face Processing
Modeling, Analysis and Synthesis
Zhen Wen and Thomas Huang
The Kluwer International Series in Video Computing, 2004, Volume 8
3D Imaging for Safety and Security
Andreas Koschan, Marc Pollefeys and Mongi Abidi
Computational Imaging and Vision, 2007, Volume 35
3D Structure from Images — SMILE 2000
Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers
Marc Pollefeys, Luc Van Gool, Andrew Zisserman and Andrew Fitzgibbon
Lecture Notes in Computer Science, 2001, Volume 2018
3D Structure from Multiple Images of Large-Scale Environments
European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings
Reinhard Koch and Luc Van Gool
Lecture Notes in Computer Science, 1998, Volume 1506
50 Years of Artificial Intelligence
Essays Dedicated to the 50th Anniversary of Artificial Intelligence
Max Lungarella, Fumiya Iida, Josh Bongard and Rolf Pfeifer
Lecture Notes in Computer Science, 2007, Volume 4850
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Wolfgang Bibel and Robert Kowalski
Lecture Notes in Computer Science, 1980, Volume 87
5th Conference on Optimization Techniques Part I
R. Conti and A. Ruberti
Lecture Notes in Computer Science, 1973, Volume 3
5th Conference on Optimization Techniques Part II
R. Conti and A. Ruberti
Lecture Notes in Computer Science, 1973, Volume 4
6th Conference on Automated Deduction
New York, USA, June 7–9, 1982
D. W. Loveland
Lecture Notes in Computer Science, 1982, Volume 138
7th International Conference on Automated Deduction
Napa, California, USA May 14–16, 1984 Proceedings
R. E. Shostak
Lecture Notes in Computer Science, 1984, Volume 170
7th International Conference on Automated Deduction
Napa, California, USA May 14–16, 1984 Proceedings
R. E. Shostak
Lecture Notes in Computer Science, 1984, Volume 170
802.11 Wireless Networks
Security and Analysis
Alan Holt and Chi-Yu Huang
Computer Communications and Networks, 2010
8th International Conference on Automated Deduction
Oxford, England, July 27–August 1, 1986 Proceedings
Jörg H. Siekmann
Lecture Notes in Computer Science, 1986, Volume 230
9th International Conference on Automated Deduction
Argonne, Illinois, USA, May 23–26, 1988 Proceedings
Ewing Lusk and Ross Overbeek
Lecture Notes in Computer Science, 1988, Volume 310