[PDF] automated free ebooks download




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

Library Search


New Fictions

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

  Т.М. Мелькумов, Н.И. Мелик-Пашаев, П.Г. Чистяков, А.Г. Шиуков
Terje Wagener
Susanne Niemeier, Martin Pütz
Sandra Jotzo, Brigitte Loibl, Wolfgang Baum
John Stanley, Linda Stanley
William Hoffman, James E. Smith
Victoriano Gaviño Rodríguez
Г. Россум, Ф.Л.Дж. Дрейк, Д.С. Откидач, М. Задка, М. Левис, С. Монтаро, Э.С. Реймонд, А.М. Кучлинг, М.-А. Лембург, К.-П. Йи, Д. Ксиллаг, Х.Г. Петрилли, Б.А. Варсав, Дж.К. Ахлстром, Дж. Роскинд, Н. Шеменор, С. Мулендер
Hudson Orsine Assumpção
Ştefan Drăgan
Gillian Flynn, Héloïse Esquié
Хилл К. (ред.)
R.J. Ruppenthal
David Lewis
Florin Lobont
Narendra Patel (auth.), David C. Wyld, Jan Zizka, Dhinaharan Nagamalai (eds.)
ДеВитт Брайс С.

Arthur Winter
Sarvepalli Radhakrishnan, Charles A. Moore

single domaintherapyquality controlcommunicationarsenicthinkingcell divisiondna microarrayworking papernatural resourcesolar radiationquantum field theoryremote sensingnonlinear opticsconfidence intervalscalar fieldsoftware agentsmolecular biologyinfraredtime seriesalkali metalsforward error correctionthree dimensionalsimulationcoppererror correctionsocial environmentgrowthdigital imagetaprootcobaltz transformintegrated circuitradio frequencysovereigntytritiumsalivaacademic researchboltzmann equationstageshear strengthshock wavessmall angle neutron scatteringsolid state chemistrysteady stateforward ratespollutionbondsregret