Relevant bibliographies by topics / Automated / Books

Books on the topic 'Automated'

To see the other types of publications on this topic, follow the link: Automated.
Author: Grafiati
Published: 4 June 2021
Last updated: 1 August 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Automated.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Rachel, Subrin, ed. Automated guided vehicles and automated manufacturing. Dearborn, Mich: Society of Manufacturing Engineers, Publications Development Dept., Marketing Division, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Blanchette, Jasmin, Laura Kovács, and Dirk Pattinson, eds. Automated Reasoning. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Watzenig, Daniel, and Martin Horn, eds. Automated Driving. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-31895-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Galmiche, Didier, Stephan Schulz, and Roberto Sebastiani, eds. Automated Reasoning. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94205-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gardner, LB, ed. Automated Manufacturing. 100 Barr Harbor Drive, PO Box C700, West Conshohocken, PA 19428-2959: ASTM International, 1985. http://dx.doi.org/10.1520/stp862-eb.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gramlich, Bernhard, Dale Miller, and Uli Sattler, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31365-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Peltier, Nicolas, and Viorica Sofronie-Stokkermans, eds. Automated Reasoning. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51054-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Peltier, Nicolas, and Viorica Sofronie-Stokkermans, eds. Automated Reasoning. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Boyer, Robert S., ed. Automated Reasoning. Dordrecht: Springer Netherlands, 1991. http://dx.doi.org/10.1007/978-94-011-3488-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Goré, Rajeev, Alexander Leitsch, and Tobias Nipkow, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Oliveira, Nelio. Automated Organizations. Heidelberg: Physica-Verlag HD, 2012. http://dx.doi.org/10.1007/978-3-7908-2759-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Zhang, David D. Automated Biometrics. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4519-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Olivetti, Nicola, and Ashish Tiwari, eds. Automated Reasoning. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40229-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Furbach, Ulrich, and Natarajan Shankar, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11814771.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Basin, David, and Michaël Rusinowitch, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b98691.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Giesl, Jürgen, and Reiner Hähnle, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Demri, Stéphane, Deepak Kapur, and Christoph Weidenbach, eds. Automated Reasoning. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08587-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Armando, Alessandro, Peter Baumgartner, and Gilles Dowek, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-71070-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Cadena, Richard. Automated Lighting. Third edition. | New York, NY : Routledge, 2017.: Routledge, 2017. http://dx.doi.org/10.4324/9781315724492.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

D, Lane Jack, and Treer Kenneth R, eds. Automated assembly. 2nd ed. Dearborn, Mich: Society of Manufacturing Engineers, Publications Development Dept., Marketing Services Division, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Paula, Beasley, BKT Information Services, Institution of Manufacturing Engineers, and Nottingham Polytechnic Library and Consultancy Unit., eds. Automated assembly. Nottingham: BKT Information Services and Nottingham Consultants Ltd, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

Noon, Jeff. Automated Alice. London: Doubleday, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Noon, Jeff. Automated Alice. New York: Crown Publishers, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

Benzmüller, Christoph, Marijn J. H. Heule, and Renate A. Schmidt, eds. Automated Reasoning. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63498-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Benzmüller, Christoph, Marijn J. H. Heule, and Renate A. Schmidt, eds. Automated Reasoning. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63501-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

17th International Conference on Automated People Movers and Automated Transit Systems (conference cancelled due to COVID-19) Chicago, Illinois, USA 2020. Automated People Movers and Automated Transit Systems 2020: Automated Transit for Smart Mobility. Reston, VA: American Society of Civil Engineers, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

Shumway, Jim. Automated Performer Flying. Milton Park, Abingdon, Oxon ; New York, NY : Routledge, 2020.: Routledge, 2019. http://dx.doi.org/10.4324/9781351131513.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Loke, Seng W., and Andry Rakotonirainy. The Automated City. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-82318-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Klebanov, Beata Beigman, and Nitin Madnani. Automated Essay Scoring. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-02182-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Larsen, Per, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, and Michael Franz. Automated Software Diversity. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-031-02346-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Al-Shaer, Ehab, Xinming Ou, and Geoffrey Xie, eds. Automated Security Management. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-01433-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Hutter, Frank, Lars Kotthoff, and Joaquin Vanschoren, eds. Automated Machine Learning. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05318-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Caferra, Ricardo, Alexander Leitsch, and Nicholas Peltier. Automated Model Building. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2653-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Bibel, Wolfgang. Automated Theorem Proving. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-90102-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Jena, Ajay Kumar, Himansu Das, and Durga Prasad Mohapatra, eds. Automated Software Testing. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-2455-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Liu, Rongfang. Automated Transit Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2016. http://dx.doi.org/10.1002/9781119289852.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Newborn, Monty. Automated Theorem Proving. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4613-0089-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Zhang, Hantao, ed. Automated Mathematical Induction. Dordrecht: Springer Netherlands, 1996. http://dx.doi.org/10.1007/978-94-009-1675-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Al-Shaer, Ehab. Automated Firewall Analytics. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10371-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Durenard, Eugene A. Professional Automated Trading. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118755846.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Ioannou, Petros A., ed. Automated Highway Systems. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4757-4573-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Pfalzgraf, Jochen, and Dongming Wang, eds. Automated Practical Reasoning. Vienna: Springer Vienna, 1995. http://dx.doi.org/10.1007/978-3-7091-6604-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Metcalfe, Francis G. Automated systems design. [S.l: The author], 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Barnaby, Frank. The automated battlefield. London: Sidgwick & Jackson, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

1941-, Pryor Timothy R., and North Walter 1934-, eds. Applying automated inspection. Dearborn, Mich: Society of Manufacturing Engineers, Publications Development Dept., Marketing Services Division, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Ottina, Miguel, Peter Johannes Steffensen, and Jesper Kristensen. Automated Market Makers. Berkeley, CA: Apress, 2023. http://dx.doi.org/10.1007/978-1-4842-8616-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Bibel, W. Automated theorem proving. 2nd ed. Braunschweig: F. Vieweg, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

1953-, Ioannou P. A., ed. Automated highway systems. New York: Plenum Press, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

1927-, Peacock John, ed. The automated building. London: Architectural Press, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

H, Zhang, ed. Automated mathematical induction. Dordrecht: Kluwer Academic, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Automated' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography