A to Z List of eBooks

Title Author Publisher Subject Year ISBN/e-ISBN URL
Automated Deduction — CADE-12

Alan Bundy

Springer

Computer Science

1994

978-3-540-58156-7

http://dx.doi.org/10.1007/3-540-58156-1
Automated Deduction — Cade-13

M. A. McRobbie, J. K. Slaney

Springer

Computer Science

1996

978-3-540-61511-8

http://dx.doi.org/10.1007/3-540-61511-3
Automated Deduction in Equational Logic and Cubic Curves

W. McCune, R. Padmanabhan

Springer

Computer Science

1996

978-3-540-61398-5

http://dx.doi.org/10.1007/3-540-61398-6
Automated Essay Scoring

Susanne Bodker, Christian Dindler, Ole S. Iversen, Rachel C. Smith

Morgan & Claypool Synth eBooks

Synthesis Lectures on Human Language Technologies

12-11-2021

9781636392233

https://doi.org/10.2200/S01121ED1V01Y202108HLT052
Automated Grammatical Error Detection for Language Learners

Leacock

Morgan & Claypool

Computing and Processing

2010

9781608454716

https://ieeexplore.ieee.org/servlet/opac?bknumber=6813250
Automated Grammatical Error Detection for Language Learners, Second Edition

Leacock

Morgan & Claypool

Computing and Processing; General Topics for Engineers

2014

9781627050142

https://ieeexplore.ieee.org/servlet/opac?bknumber=6813108
Automated Metadata in Multimedia Information Systems

Christel

Morgan & Claypool

Computing and Processing

2009

9781598297720

https://ieeexplore.ieee.org/servlet/opac?bknumber=6812564
Automated Modeling of Physical Systems

P. Pandurang Nayak

Springer

Computer Science

1995

978-3-540-60641-3

http://dx.doi.org/10.1007/3-540-60641-6
Automated Reasoning

Nicolas Peltier, Viorica Sofronie-Stokkermans

Springer

Computer Science

2020

978-3-030-51054-1

http://link.springer.com/openurl?genre=book&isbn=978-3-030-51054-1
Automated Reasoning

Nicolas Peltier, Viorica Sofronie-Stokkermans

Springer

Computer Science

2020

978-3-030-51074-9

http://link.springer.com/openurl?genre=book&isbn=978-3-030-51074-9
Automated Software Diversity

Larsen

Morgan & Claypool

Computing and Processing

2015

9781627057554

https://ieeexplore.ieee.org/servlet/opac?bknumber=7374853
Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

Springer

Computer Science

2020

978-3-030-59152-6

http://link.springer.com/openurl?genre=book&isbn=978-3-030-59152-6
Automated Verification of Concurrent Search Structures

Krishna

Morgan & Claypool

Computing and Processing; General Topics for Engineers

2021

9781636391298

https://ieeexplore.ieee.org/servlet/opac?bknumber=9448595
Automatic Ambiguity Resolution in Natural Language Processing

Alexander Franz

Springer

Computer Science

1996

978-3-540-62004-4

http://dx.doi.org/10.1007/BFb0021059
Automatic Assessment of Parkinsonian Speech

Juan I. Godino-Llorente

Springer

Computer Science

2020

978-3-030-65654-6

http://link.springer.com/openurl?genre=book&isbn=978-3-030-65654-6
Automatic Detection of Verbal Deception

Fitzpatrick

Morgan & Claypool

Computing and Processing

2015

9781627053389

https://ieeexplore.ieee.org/servlet/opac?bknumber=7240062
Automatic Differentiation: Techniques and Applications

Louis B. Rall

Springer

Computer Science

1981

978-3-540-10861-0

http://dx.doi.org/10.1007/3-540-10861-0
Automatic Disambiguation of Author Names in Bibliographic Repositories

Ferreira

Morgan & Claypool

Computing and Processing; General Topics for Engineers

2020

9781681738581

https://ieeexplore.ieee.org/servlet/opac?bknumber=9110820
Automatic Flight Control Systems

Sadraey

Morgan & Claypool

Aerospace; Computing and Processing; Fields, Waves and Electromagnetics; Robotics and Control Systems; Signal Processing and Analysis; Transportation

2020

9781681737294

https://ieeexplore.ieee.org/servlet/opac?bknumber=9011810
Automatic Parallelization: An Overview of Fundamental Compiler Techniques

Midkiff

Morgan & Claypool

Computing and Processing

2012

9781608458424

https://ieeexplore.ieee.org/servlet/opac?bknumber=6813266