A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Food Supply Chain Management | Bourlakis |
9780470995556 |
Wiley |
Agriculture, Aquaculture & Food Science, Food Science & Technology |
2004 |
|
| Forcing, Arithmetic, Division Rings | Joram Hirschfeld, William H. Wheeler |
9783540374855 |
Springer |
Mathematics |
454 |
1975 |
| Formal Aspects of Cognitive Processes | Thomas Storer, David Winter |
9783540372974 |
Springer |
Computer Science |
22 |
1975 |
| Formal Aspects of Component Software | Farhad Arbab, Sung-Shik Jongmans |
9783030409142 |
Springer |
Computer Science |
2020 |
|
| Formal Category Theory: Adjointness for 2-Categories | John W. Gray |
9783540377689 |
Springer |
Mathematics |
391 |
1974 |
| Formal Development of Reactive Systems | Claus Lewerentz, Thomas Lindner |
9783540491330 |
Springer |
Computer Science |
891 |
1995 |
| Formal Groups | A. Fröhlich |
9783540359166 |
Springer |
Mathematics |
74 |
1968 |
| Formal Methods and Software Development | Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
9783540393078 |
Springer |
Computer Science |
186 |
1985 |
| Formal Methods and Software Engineering | Shang-Wei Lin, Zhe Hou, Brendan Mahony |
9783030634063 |
Springer |
Computer Science |
2020 |
|
| Formal Methods for Industrial Applications | Jean-Raymond Abrial, Egon Börger, Hans Langmaack |
9783540495666 |
Springer |
Computer Science |
1165 |
1996 |
| Formal Methods for Industrial Critical Systems | Maurice H. ter Beek, Dejan NiÄković |
9783030582982 |
Springer |
Computer Science |
2020 |
|
| Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications | Chuchu Fan |
9798400708657 |
Association for Computing Machinery |
Software Engineering |
2024 |
|
| Formal Methods for the Analysis of Biomedical Ontologies | Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui |
9783031121319 |
Synthesis Collection of Technology (R0) |
Biomedical Ontologies |
2022 |
|
| Formal Methods in Computer-Aided Design | Mandayam Srivas, Albert Camilleri |
9783540495673 |
Springer |
Computer Science |
1166 |
1996 |
| Formal Methods in Programming and Their Applications | Dines Bjørner, Manfred Broy, Igor V. Pottosin |
9783540480563 |
Springer |
Computer Science |
735 |
1993 |
| Formal Methods: Foundations and Applications | Gustavo Carvalho, Volker Stolz |
9783030638825 |
Springer |
Computer Science |
2020 |
|
| Formal Methods. FM 2019 International Workshops | Emil Sekerinski…(et al.) |
9783030549978 |
Springer |
Computer Science |
2020 |
|
| Formal Methods. FM 2019 International Workshops | Emil Sekerinski…(et al.) |
9783030549947 |
Springer |
Computer Science |
2020 |
|
| Formal Model of Visualization in Computer Graphics Systems | Tamiya Onodera, Satoru Kawai |
9783540469797 |
Springer |
Computer Science |
421 |
1990 |
| Formal Modeling and Analysis of Timed Systems | Nathalie Bertrand, Nils Jansen |
9783030576288 |
Springer |
Computer Science |
2020 |
