|
(Endo)symbiotic Methanogenic Archaea
|
Johannes H.P. Hackstein |
Springer |
_ |
2010 |
|
|
10th International Conference on Automated Deduction
|
Mark E. Stickel |
Springer |
9783540471714 |
1990 |
|
|
2.5D Printing - Bridging the Gap Between 2D and 3D Applications
|
Carinna Parraman Maria V. Ortiz Segovia |
Wiley |
9781118967317 |
2018 |
|
|
21st Century Learning for 21st Century Skills
|
Andrew RavenscroftStefanie LindstaedtCarlos Delgado KloosDavinia Hern�ndez-Leo |
Springer |
9783642332630 |
2012 |
|
|
25 Years of Model Checking
|
Orna GrumbergHelmut Veith |
Springer |
_ |
2008 |
|
|
2D Materials: Properties and Devices
|
Phaedon Avouris Tony Low |
Cambridge University Press |
9781316681619 |
2017 |
|
|
3-Manifolds
|
John Hempel |
American Mathematical Society |
978-1-4704-3025-2 |
2004 |
|
|
3D Bioprinting
|
Ozbolat, Ibrahim T |
ELSEVIER |
9780128030103 |
2016 |
|
|
3D Bioprinting for Reconstructive Surgery
|
Daniel J. Thomas, Zita M. Jessop and Iain S. Whitaker (ed.) |
ELSEVIER |
9780081011034 |
2018 |
|
|
3D Data Acquisition for Bioarchaeology Forensic Anthropology and Archaelogical Contexts
|
Noriko Seguchi and Beatrix Dudzik (ed.) |
ELSEVIER |
9780128153093 |
2019 |
|
|
3D Fibre Reinforced Polymer Composites
|
Liyong Tong, Adrian P. Mouritz and Michael K. Bannister |
ELSEVIER |
9780080439389 |
2002 |
|
|
3D Printing in Medicine
|
Kalaskar, Deepak M |
ELSEVIER |
9780081007174 |
2017 |
|
|
3D Printing in Orthopaedic Surgery*
|
Matthew Dipaola and Felasfa M. Wodajo (ed.) |
ELSEVIER |
9780323581189 |
2019 |
|
|
3D Printing of Concrete - State of the Art and Challenges of the Digital Construction Revolution
|
Arnaud Perrot |
Wiley |
9781119610755 |
2019 |
|
|
3D Structure from Images � SMILE 2000
|
Marc PollefeysLuc Van GoolAndrew ZissermanAndrew Fitzgibbon |
Springer |
_ |
2001 |
|
|
3D Structure from Multiple Images of Large-Scale Environments
|
Reinhard KochLuc Van Gool |
Springer |
_ |
1998 |
|
|
50 Years of Artificial Intelligence
|
Max LungarellaFumiya IidaJosh BongardRolf Pfeifer |
Springer |
_ |
2007 |
|
|
5th Conference on Automated Deduction Les Arcs, France, July 8�11, 1980
|
Wolfgang BibelRobert Kowalski |
Springer |
_ |
1980 |
|
|
5th Conference on Optimization Techniques Part I
|
R. ContiA. Ruberti |
Springer |
_ |
1973 |
|
|
5th Conference on Optimization Techniques Part II
|
R. ContiA. Ruberti |
Springer |
_ |
1973 |
|
|
6th Conference on Automated Deduction
|
D. W. Loveland |
Springer |
_ |
1982 |
|
|
7th International Conference on Automated Deduction
|
R. E. Shostak |
Springer |
978-0-387-34768-4 |
1984 |
|
|
8th International Conference on Automated Deduction
|
J�rg H. Siekmann |
Springer |
_ |
1986 |
|
|
9th International Conference on Automated Deduction
|
Ewing LuskRoss Overbeek |
Springer |
9783540392163 |
1988 |
|
|
A 25-Year Perspective on Logic Programming
|
Agostino DovierEnrico Pontelli |
Springer |
_ |
2010 |
|