A to Z List of eBooks
| Title | Author | Publisher | Subject | Year | ISBN/e-ISBN | URL |
|---|---|---|---|---|---|---|
| Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken | Jacques Loeckx |
Springer |
Computer Science |
1974 |
978-3-540-06841-9 |
http://dx.doi.org/10.1007/978-3-662-21545-6 |
| Automata, Languages and Programming: Eighth Colloquium Acre (Akko) | Shimon Even, Oded Kariv |
Springer |
Computer Science |
1981 |
978-3-540-10843-6 |
http://dx.doi.org/10.1007/3-540-10843-2 |
| Automata, Languages and Programming: Fifth Colloquium, Udine | Giorgio Ausiello, Corrado Böhm |
Springer |
Computer Science |
1978 |
978-3-540-08860-8 |
http://dx.doi.org/10.1007/3-540-08860-1 |
| Automata, Languages and Programming: Fourth Colloquium, University of Turku | Arto Salomaa, Magnus Steinby |
Springer |
Computer Science |
1977 |
978-3-540-08342-9 |
http://dx.doi.org/10.1007/3-540-08342-1 |
| Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark | Mogens Nielsen, Erik Meineche Schmidt |
Springer |
Computer Science |
1982 |
978-3-540-11576-2 |
http://dx.doi.org/10.1007/BFb0012751 |
| Automata, Languages and Programming:22nd International Colloquium, ICALP 95 Szeged | Zoltán Fülöp, Ferenc Gécseg |
Springer |
Computer Science |
1995 |
978-3-540-60084-8 |
http://dx.doi.org/10.1007/3-540-60084-1 |
| Automated and Algorithmic Debugging | Peter A. Fritzson |
Springer |
Computer Science |
1993 |
978-3-540-57417-0 |
http://dx.doi.org/10.1007/BFb0019396 |
| 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 |
