A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Formal Moduli of Algebraic Structures | Olav Arnfinn Laudal |
9783540385325 |
Springer |
Mathematics |
754 |
1979 |
| Formal Program Development | Bernhard Möller, Helmut Partsch, Steve Schuman |
9783540481973 |
Springer |
Computer Science |
755 |
1993 |
| Formal Properties of Finite Automata and Applications | J. E. Pin |
9783540467212 |
Springer |
Computer Science |
386 |
1989 |
| Formal Systems Specification | Manfred Broy, Stephan Merz, Katharina Spies |
9783540495734 |
Springer |
Computer Science |
1169 |
1996 |
| Formal Techniques for Distributed Objects, Components, and Systems | Alexey Gotsman, Ana Sokolova |
9783030500863 |
Springer |
Computer Science |
2020 |
|
| Formal Techniques for Safety-Critical Systems | Osman Hasan, Frédéric Mallet |
9783030469023 |
Springer |
Computer Science |
2020 |
|
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden | Bengt Jonsson, Joachim Parrow |
9783540706533 |
Springer |
Computer Science |
1135 |
1996 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK | M. Joseph |
9783540459651 |
Springer |
Computer Science |
331 |
1988 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands | Jan Vytopil |
9783540466925 |
Springer |
Computer Science |
571 |
1992 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany | Hans Langmaack, Willem-Paul Roever, Jan Vytopil | 9783540489849 | Springer | Computer Science | 863 | 1994 |
| Formal Verification of Just-in-Time Compilation | Aurèle Barrière |
9798400713774 |
Association for Computing Machinery |
Software Engineering |
2025 |
|
| Formalization of Programming Concepts | J. DÃaz, I. Ramos |
9783540386544 |
Springer |
Computer Science |
107 |
1981 |
| Formalizing Natural Languages with NooJ 2019 and Its Natural Language Processing Applications | Héla Fehri, Slim Mesfar, Max Silberztein |
9783030388331 |
Springer |
Computer Science |
2020 |
|
| Formally p-adic Fields | Alexander Prestel, Peter Roquette |
9783540387688 |
Springer |
Mathematics |
1050 |
1984 |
| Formwork for Concrete Structures | Jha, K. N. |
McGraw Hill |
Civil Engineering |
2012 |
||
| Forward Electron Ejection in Ion Collisions | K. O. Groeneveld, W. Meckbach, I. A. Sellin |
9783540390992 |
Springer |
Physics |
213 |
1984 |
| Foundation Mathematics for Computer Science | John Vince |
9783030420789 |
Springer |
Computer Science |
2020 |
|
| Foundation of Software Technology and Theoretical Computer Science | P. S. Thiagarajan |
9783540490548 |
Springer |
Computer Science |
880 |
1994 |
| Foundational Java | David Parsons |
9783030545185 |
Springer |
Computer Science |
2020 |
|
| Foundations and Practice of Security | Abdelmalek Benzekri, Michel Barbeau, Guang Gong, Romain Laborde, Joaquin Garcia-Alfaro |
9783030453718 |
Springer |
Computer Science |
2020 |
