A to Z List of eBooks
| Title | Author | Publisher | Subject | Year | ISBN/e-ISBN | URL |
|---|---|---|---|---|---|---|
| Formal Methods in Programming and Their Applications | Dines Bjørner, Manfred Broy, Igor V. Pottosin |
Springer |
Computer Science |
1993 |
978-3-540-57316-6 |
http://dx.doi.org/10.1007/BFb0039695 |
| Formal Methods: Foundations and Applications | Gustavo Carvalho, Volker Stolz |
Springer |
Computer Science |
2020 |
978-3-030-63882-5 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-63882-5 |
| Formal Methods. FM 2019 International Workshops (Part - I) | Emil Sekerinski | Springer | Computer Science | 2020 | 978-3-030-54994-7 | Link |
| Formal Methods. FM 2019 International Workshops (Part - II) | Emil Sekerinski | Springer | Computer Science | 2020 | 978-3-030-54997-8 | Link |
| Formal Modeling and Analysis of Timed Systems | Nathalie Bertrand, Nils Jansen |
Springer |
Computer Science |
2020 |
978-3-030-57628-8 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-57628-8 |
| Formal Moduli of Algebraic Structures | Olav Arnfinn Laudal |
Springer |
Mathematics |
1979 |
978-3-540-09702-0 |
http://dx.doi.org/10.1007/BFb0065055 |
| Formal Program Development | Bernhard Möller, Helmut Partsch, Steve Schuman |
Springer |
Computer Science |
1993 |
978-3-540-57499-6 |
http://dx.doi.org/10.1007/3-540-57499-9 |
| Formal Properties of Finite Automata and Applications | J. E. Pin |
Springer |
Computer Science |
1989 |
978-3-540-51631-6 |
http://dx.doi.org/10.1007/BFb0013106 |
| Formal Systems Specification | Manfred Broy, Stephan Merz, Katharina Spies |
Springer |
Computer Science |
1996 |
978-3-540-61984-0 |
http://dx.doi.org/10.1007/BFb0024423 |
| Formal Techniques for Distributed Objects, Components, and Systems | Alexey Gotsman, Ana Sokolova |
Springer |
Computer Science |
2020 |
978-3-030-50086-3 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-50086-3 |
| Formal Techniques for Safety-Critical Systems | Osman Hasan, Frédéric Mallet |
Springer |
Computer Science |
2020 |
978-3-030-46902-3 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-46902-3 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden | Bengt Jonsson, Joachim Parrow |
Springer |
Computer Science |
1996 |
978-3-540-61648-1 |
http://dx.doi.org/10.1007/3-540-61648-9 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK | M. Joseph |
Springer |
Computer Science |
1988 |
978-3-540-50302-6 |
http://dx.doi.org/10.1007/3-540-50302-1 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands | Jan Vytopil |
Springer |
Computer Science |
1992 |
978-3-540-55092-1 |
http://dx.doi.org/10.1007/3-540-55092-5 |
| 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 |
Springer |
Computer Science |
1994 |
978-3-540-58468-1 |
http://dx.doi.org/10.1007/3-540-58468-4 |
| Formalization of Programming Concepts | J. Díaz, I. Ramos |
Springer |
Computer Science |
1981 |
978-3-540-10699-9 |
http://dx.doi.org/10.1007/3-540-10699-5 |
| Formalizing Natural Languages with NooJ 2019 and Its Natural Language Processing Applications | Héla Fehri, Slim Mesfar, Max Silberztein |
Springer |
Computer Science |
2020 |
978-3-030-38833-1 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-38833-1 |
| Formally p-adic Fields | Alexander Prestel, Peter Roquette |
Springer |
Mathematics |
1984 |
978-3-540-12890-8 |
http://dx.doi.org/10.1007/BFb0071461 |
| FORMWORK FOR CONCRETE STRUCTURES | JHA, K. N. |
McGraw Hill |
Engineering |
#N/A |
9789339212810 |
http://www.expresslibrary.mheducation.com/product/formwork-for-concrete-structu… |
| Forward Electron Ejection in Ion Collisions | K. O. Groeneveld, W. Meckbach, I. A. Sellin |
Springer |
Physics |
1984 |
978-3-540-13887-7 |
http://dx.doi.org/10.1007/3-540-13887-0 |
