A to Z List of eBooks
| Title | Author | Publisher | Subject | Year | ISBN/e-ISBN | URL |
|---|---|---|---|---|---|---|
| Type Theory and Formal Proof | Nederpelt/Geuvers |
Cambridge University Press |
Mathematics,Computer Science; Logic, Categories and Sets,Programming Languages and Applied Logic |
2014 |
9781139567725 |
https://doi.org/10.1017/CBO9781139567725 |
| Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 | Marc Bezem, Jan Friso Groote |
Springer |
Computer Science |
1993 |
978-3-540-56517-8 |
http://dx.doi.org/10.1007/BFb0037093 |
| Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom | Mariangiola Dezani-Ciancaglini, Gordon Plotkin |
Springer |
Computer Science |
1995 |
978-3-540-59048-4 |
http://dx.doi.org/10.1007/BFb0014040 |
| Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden | Peter Dybjer, Bengt Nordström, Jan Smith |
Springer |
Computer Science |
1995 |
978-3-540-60579-9 |
http://dx.doi.org/10.1007/3-540-60579-7 |
| Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands | Henk Barendregt, Tobias Nipkow |
Springer |
Computer Science |
1994 |
978-3-540-58085-0 |
http://dx.doi.org/10.1007/3-540-58085-9 |
| Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy | Stefano Berardi, Mario Coppo |
Springer |
Computer Science |
1996 |
978-3-540-61780-8 |
http://dx.doi.org/10.1007/3-540-61780-9 |
| Typologies and Taxonomies | Kenneth D. Bailey |
SAGE Publications Ltd |
Social sciences, Research Methodology |
1994 |
9781412986397 |
http://methods.sagepub.com/book/typologies-and-taxonomies |
| Ubiquitous Networking | Oussama Habachi, Vahid Meghdadi, Essaid Sabir, Jean-Pierre Cances |
Springer |
Computer Science |
2020 |
978-3-030-58008-7 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-58008-7 |
| UK Feminist Cartoons and Comics | Nicola Streeten |
Springer Nature |
Literature, Cultural and Media Studies |
2020 |
978-3-030-36300-0 |
https://link.springer.com/openurl?genre=book&isbn=978-3-030-36300-0 |
| Ultrafast Optics | Weiner |
Wiley |
Physical Sciences & Engineering; Electrical & Electronics Engineering |
2009 |
9780470473467 |
https://onlinelibrary.wiley.com/doi/book/10.1002/9780470473467 |
| Ultrafast Spectroscopy — Quantum information and wavepackets | Aspuru-Guzik, A n |
Institute of Physics Publishing |
Physcis ; Atomic and molecular physics |
2014 |
978-0-7503-1062-8 |
https://iopscience.iop.org/book/978-0-750-31062-8 |
| Uncertain Schema Matching | Gal |
Morgan & Claypool |
Computing and Processing |
2011 |
9781608454341 |
https://ieeexplore.ieee.org/servlet/opac?bknumber=6812524 |
| Uncertainty and Intelligent Systems | B. Bouchon, L. Saitta, R. R. Yager |
Springer |
Computer Science |
1988 |
978-3-540-19402-6 |
http://dx.doi.org/10.1007/3-540-19402-9 |
| Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, and Graphs in Biomedical Image Analysis | Carole H. Sudre, Hamid Fehri, Tal Arbel, Christian F. Baumgartner, Adrian Dalca, Ryutaro Tanno, Koen Van Leemput, William M. Wells, Aristeidis Sotiras, Bartlomiej Papiez, Enzo Ferrante, Sarah Parisot |
Springer |
Computer Science |
2020 |
978-3-030-60365-6 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-60365-6 |
| Uncertainty in Knowledge Bases | Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh |
Springer |
Computer Science |
1991 |
978-3-540-54346-6 |
http://dx.doi.org/10.1007/BFb0028090 |
| Uncertainty in Knowledge-Based Systems | B. Bouchon, R. R. Yager |
Springer |
Computer Science |
1987 |
978-3-540-18579-6 |
http://dx.doi.org/10.1007/3-540-18579-8 |
| Understand Mathematics, Understand Computing | Arnold L. Rosenberg, Denis Trystram |
Springer |
Computer Science |
2020 |
978-3-030-58376-7 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-58376-7 |
| Understanding and Evaluating Qualitative Educational Research | Marilyn Lichtman |
SAGE Publications Ltd |
Educational Research |
2010 |
9781544364919 |
http://methods.sagepub.com/book/understanding-and-evaluating-qualitative-educat… |
| Understanding and Evaluating Research | Haythornthwaite |
SAGE Publications Ltd |
research, education |
2018 |
9781071802656 |
http://methods.sagepub.com/book/understanding-and-evaluating-research |
| Understanding and Improving Information Search | Wai Tat Fu, Herre van Oostendorp |
Springer |
Computer Science |
2020 |
978-3-030-38825-6 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-38825-6 |
