Books on the topic 'Automated'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
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.
Rachel, Subrin, ed. Automated guided vehicles and automated manufacturing. Dearborn, Mich: Society of Manufacturing Engineers, Publications Development Dept., Marketing Division, 1987.
Find full textBlanchette, 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 textWatzenig, Daniel, and Martin Horn, eds. Automated Driving. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-31895-0.
Full textGalmiche, 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 textGardner, 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 textGramlich, 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 textPeltier, 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 textPeltier, 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 textBoyer, Robert S., ed. Automated Reasoning. Dordrecht: Springer Netherlands, 1991. http://dx.doi.org/10.1007/978-94-011-3488-0.
Full textGoré, 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 textOliveira, Nelio. Automated Organizations. Heidelberg: Physica-Verlag HD, 2012. http://dx.doi.org/10.1007/978-3-7908-2759-0.
Full textZhang, David D. Automated Biometrics. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4519-4.
Full textOlivetti, Nicola, and Ashish Tiwari, eds. Automated Reasoning. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40229-1.
Full textFurbach, Ulrich, and Natarajan Shankar, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11814771.
Full textBasin, David, and Michaël Rusinowitch, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b98691.
Full textGiesl, 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 textDemri, 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 textArmando, 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 textCadena, Richard. Automated Lighting. Third edition. | New York, NY : Routledge, 2017.: Routledge, 2017. http://dx.doi.org/10.4324/9781315724492.
Full textD, 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 textPaula, 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 textNoon, Jeff. Automated Alice. London: Doubleday, 1996.
Find full textNoon, Jeff. Automated Alice. New York: Crown Publishers, 1996.
Find full textBenzmü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 textBenzmü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 text17th 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 textShumway, Jim. Automated Performer Flying. Milton Park, Abingdon, Oxon ; New York, NY : Routledge, 2020.: Routledge, 2019. http://dx.doi.org/10.4324/9781351131513.
Full textLoke, 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 textKlebanov, 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 textLarsen, 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 textAl-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 textHutter, 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 textCaferra, 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 textBibel, Wolfgang. Automated Theorem Proving. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-90102-6.
Full textJena, 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 textLiu, Rongfang. Automated Transit Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2016. http://dx.doi.org/10.1002/9781119289852.
Full textNewborn, Monty. Automated Theorem Proving. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4613-0089-2.
Full textZhang, Hantao, ed. Automated Mathematical Induction. Dordrecht: Springer Netherlands, 1996. http://dx.doi.org/10.1007/978-94-009-1675-3.
Full textAl-Shaer, Ehab. Automated Firewall Analytics. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10371-6.
Full textDurenard, Eugene A. Professional Automated Trading. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118755846.
Full textIoannou, Petros A., ed. Automated Highway Systems. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4757-4573-3.
Full textPfalzgraf, Jochen, and Dongming Wang, eds. Automated Practical Reasoning. Vienna: Springer Vienna, 1995. http://dx.doi.org/10.1007/978-3-7091-6604-8.
Full textMetcalfe, Francis G. Automated systems design. [S.l: The author], 1985.
Find full textBarnaby, Frank. The automated battlefield. London: Sidgwick & Jackson, 1986.
Find full text1941-, 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 textOttina, 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 textBibel, W. Automated theorem proving. 2nd ed. Braunschweig: F. Vieweg, 1987.
Find full text1953-, Ioannou P. A., ed. Automated highway systems. New York: Plenum Press, 1997.
Find full text1927-, Peacock John, ed. The automated building. London: Architectural Press, 1985.
Find full textH, Zhang, ed. Automated mathematical induction. Dordrecht: Kluwer Academic, 1996.
Find full text