[PDF] automated free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


 Fiction Pdf Search   Sci-hubs

498 books found   ►also search"automated" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
2152612 Ryan Kiggins (eds.) International Political Economy Series
The Political Economy of Robots: Prospects for Prosperity and Peace in the Automated 21st Century [1 ed.]
978-3-319-51465-9, 978-3-319-51466-6
Palgrave Macmillan 2018 XVII, 336 English 2 Mb pdf GET
184992 Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) Lecture Notes in Computer Science 449
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings [1 ed.]
9783540528852, 3540528857
Springer-Verlag Berlin Heidelberg 1990 690 English 6 Mb djvu GET
460004 Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) Lecture Notes in Computer Science 449
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings [1 ed.]
3540528857, 9783540528852
Springer-Verlag Berlin Heidelberg 1990 690 English 45 Mb pdf GET
1625287 Veronika Gazhonova (auth.) 3D Automated Breast Volume Sonography: A Practical Guide [1 ed.]
978-3-319-41970-1, 978-3-319-41971-8
Springer International Publishing 2017 XXII, 122 English 14 Mb pdf GET
595493 Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.) Lecture Notes in Computer Science 87
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [1 ed.]
3540100091, 9783540100096
Springer-Verlag Berlin Heidelberg 1980 388 English 4 Mb djvu GET
962362 Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.) Lecture Notes in Computer Science 87
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [1 ed.]
978-3-540-10009-6, 978-3-540-38140-2
Springer-Verlag Berlin Heidelberg 1980 388 English 10 Mb pdf GET
184991 L. Wos (auth.), D. W. Loveland (eds.) Lecture Notes in Computer Science 138
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 [1 ed.]
3540115587, 9783540115588
Springer Berlin Heidelberg 1982 397 English 3 Mb djvu GET
531576 L. Wos (auth.), D. W. Loveland (eds.) Lecture Notes in Computer Science 138
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 [1 ed.]
3540115587, 9783540115588, 0387115587, 9780387115580
Springer Berlin Heidelberg 1982 399 English 15 Mb pdf GET
564649 L. Wos (auth.), D. W. Loveland (eds.) Lecture Notes in Computer Science 138
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 [1 ed.]
3540115587, 9783540115588
Springer Berlin Heidelberg 1982 397 English 15 Mb pdf GET
595494 Jörg H. Siekmann (auth.), R. E. Shostak (eds.) Lecture Notes in Computer Science 170
7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings [1 ed.]
3540960228, 9783540960225
Springer-Verlag New York 1984 509 English 5 Mb djvu GET
766683 Jörg H. Siekmann (auth.), R. E. Shostak (eds.) Lecture Notes in Computer Science 170
7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings [1 ed.]
0387960228, 9780387960227
Springer-Verlag New York 1984 509 English 24 Mb pdf GET
595495 Peter B. Andrews (auth.), Jörg H. Siekmann (eds.) Lecture Notes in Computer Science 230
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings [1 ed.]
3540167803, 9783540167808
Springer-Verlag Berlin Heidelberg 1986 716 English 7 Mb djvu GET
962827 Peter B. Andrews (auth.), Jörg H. Siekmann (eds.) Lecture Notes in Computer Science 230
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings [1 ed.]
978-3-540-16780-8, 978-3-540-39861-5
Springer-Verlag Berlin Heidelberg 1986 716 English 15 Mb pdf GET
595496 Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.) Lecture Notes in Computer Science 310
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings [1 ed.]
354019343X, 9783540193432
Springer-Verlag Berlin Heidelberg 1988 776 English 7 Mb djvu GET
963036 Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.) Lecture Notes in Computer Science 310
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings [1 ed.]
978-3-540-19343-2, 978-3-540-39216-3
Springer-Verlag Berlin Heidelberg 1988 776 English 15 Mb pdf GET
2098635 Hector Geffner, Blai Bonet A Concise Introduction to Models and Methods for Automated Planning
9781608459704
Morgan & Claypool 2013 133 english 935 kb pdf GET
589400 Robert Nilsson. A mutation-based framework for automated testing of timeliness
9185523356
183 English 720 kb pdf GET
682785 David A. Leenknecht, Andre Szuwalski and Ann R. Sherlock ACES - AUTOMATED COASTAL ENGINEERING SYSTEM - TECHNICAL REFERENCE 1992 219 English 8 Mb pdf GET
525662 by Patrik Haslum. Admissible heuristics for automated planning
9185497282
175 English 1 Mb pdf GET
1148107 Izzat Alsmadi, Izzat Alsmadi Advanced Automated Software Testing: Frameworks for Refined Practice [1 ed.]
1466600896, 978-1-4666-0089-8, 978-1-4666-0090-4
IGI Global 2012 288 English 7 Mb pdf GET
1414675 Izzat Alsmadi (ed.) Advanced automated software testing: frameworks for refined practice [1 ed.]
1466600896, 978-1-4666-0089-8, 978-1-4666-0090-4
IGI Global 2012 289 English 5 Mb pdf GET
1291893 Jan Fischer-Wolfarth, Gereon Meyer (eds.) Lecture Notes in Mobility
Advanced Microsystems for Automotive Applications 2014: Smart Systems for Safe, Clean and Automated Vehicles [1 ed.]
978-3-319-08086-4, 978-3-319-08087-1
Springer International Publishing 2014 301 English 22 Mb pdf GET
1376818 Tim Schulze, Beate Müller, Gereon Meyer (eds.) Lecture Notes in Mobility
Advanced Microsystems for Automotive Applications 2015: Smart Systems for Green and Automated Driving [1 ed.]
978-3-319-20854-1, 978-3-319-20855-8
Springer International Publishing 2016 275 English 9 Mb pdf GET
273429 Takayuki Ito, Minjie Zhang, Valentin Robu, Shaheen Fatima, Tokuro Matsuo Studies in Computational Intelligence 233
Advances in Agent-Based Complex Automated Negotiations [2009 ed.]
3642031897, 9783642031892
Springer 2009 216 English 5 Mb pdf GET
275381 Fenghui Ren, Minjie Zhang (auth.), Takayuki Ito, Minjie Zhang, Valentin Robu, Shaheen Fatima, Tokuro Matsuo (eds.) Studies in Computational Intelligence 233
Advances in Agent-Based Complex Automated Negotiations [1 ed.]
3642031897, 9783642031892
Springer-Verlag Berlin Heidelberg 2009 216 English 4 Mb pdf GET
  ►

If no results, Please search automated here Again

Random Recommend
 Кудряшов Ю.Б.
Гординський С.
Гординський С.
Яглом И.М.
Залізняк Л.Л.
Залізняк Л.Л.
Длусский Г.М.

Гогейзель Г.
Остапенко А.Г. и др.
Роджер Абель, Герман Найф, Эндрю Даниэльс, Джеффри Грехэм
Мнджоян А.Л. (ред.)

Лойд С.
Diane Ravitch
Giuseppe Cambiano
David S. Watkins
recognovit brevique adnotatione critica instruxit D.J. Allan
Robert B. Ekelund Jr., Robert F. Hébert, Robert Tollison
Aristotle, David Ross
Н. А. Троицкий
Jan Chovanec, Jan Chovanec, Isabel Ermida
Rachel Kramer Bussel, Carol Queen
Soren Kierkegaard, a cura di Cornelio Fabro
Scott R. Bullock
Simon G. Sheppard
Cressida Elias
Greg Atkinson
John Man
Зомбарт В.
David Eisenbud, Daniel R. Grayson, Michael Stillman, Bernd Sturmfels
Max Newnham
Ray LeVitre
Kari Weil
Л. Гальперштейн
Kenneth L. Fisher
Roberto Pretagostini
Самойлов А. А.
Peter Ferentzy, Nigel E. Turner (auth.)
Борисов А.В., Мамаев И.С.
Douglas Alger
Jeffrey D. Stilwell, John A. Long

Чопра Дипак

Любарский Е.Л. (научн. ред.), Назарова И.В. (научн. ред.)
Karl Marx, Friedrich Engels
Александр Клинге (Авт.)
Anton A. Chuvakin, Kevin J. Schmidt
Anton A. Chuvakin, Kevin J. Schmidt
 E. Wolf (Eds.)
Spencer Fleury Dr (auth.)
David Maggs BVSc(Hons) DAVCO, Paul Miller DVM DACVO, Ron Ofri DVM PhD DECVO
James N. Parker, Philip Parker
Margaret Weis, Tracy Hickman
Donald W. Benbow and Hugh W. Broome
Jackie Cassada, Nicky Rea
Y. Pachepsky, and W.J. Rawls (Eds.)
Lenore Skenazy
Lisa H. Newton
Icon Health Publications
Christopher Fry, Stephen Langley E. N., Stephen Langley
Machtelt Garrels
Alessandro Benati, James F. Lee
Ann O. Sperry
Cindy N. Ariel, Robert A. Naseef
Amanda K. Baumle
Sharon L. Gursky, K.A.I. Nekaris
Debbie Pinfold
Laban Carrick Hill
OECD
George Milojcic, Sven C. Asmus, Thomas Thielemann, Hartmut Ernst (auth.), Christian Niemann-Delius, Rolf Dieter Stoll, Carsten Drebenstedt, Klaus Müllensiefen (eds.)
Georges Boulon (auth.), T. Schönherr (eds.)
Harris M. Lentz
Santiago Remacha Esteras
Clint Twist
Fantasy Flight Games
Linda Moran
Bruno Breitmeyer
Susan M. Wolf
Hilmar J. Vollmuth
Paul Kearney
Michael Gradias
J.K. Rowling
Spike Milligan
Susan B. Hansen
Mark Goldie, Robert Wokler
GDW
Peter Scholl-Latour
James Kelly, Fiona Clark
Roy Garn
Timothy R. Johnson
Jürgen Moltmann
Maria Jose Prados Velasco
John Richardson
John R. Sabin and Erkki Brändas (Eds.)
Jürgen Möllemann
by N. M. Christie
Peter Mathias, M. M. Postan
Robert Wallace

wireless sensor networknatural gasfactorizationtoxicity testingcomputational topologylogistic regression analysisgeologykeystone speciesliterary criticismefficiencyhuman resourceshigher orderbody weightprinciplesknowledge representationcircadian rhythmhydrodynamicssatisfiabilityresonant frequencyphotolysistaxonomyrate distortion optimizationenergy transferliteraturemotion picturesaluminumsource codingsystematic reviewvisualizationpsychoanalysisproduction functiondimension reductionpsychophysicssemanticsanesthesiaproject evaluationtransition probabilitywave breakingthermoregulationshockadditiveattentionnonlinearitynucleotide excision repairintegral imageoperating systemfirst orderreliability analysissocial servicesspecies abundance