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 |