CENTRAL LIBRARY
MILITARY INSTITUTE OF SCIENCE & TECHNOLOGY
0%
MIST Logo
Central Library
Military Institute of Science & Technology
Est. 1999  ·  Mirpur Cantonment, Dhaka
Open · Research · Knowledge
--:--
---
CHECKING
Register

eBook Library

Full-text academic eBook collections subscribed by MIST Central Library, searchable in one place.

27,308
Total Titles
3
Publishers
12
Subject Areas
All Publishers Springer Nature (13,870) Taylor & Francis (10,916) Wiley (2,522)
Showing 27,308 titles
Formal Aspects of Component Software
2024 Computer Science Springer Nature Diego Marmsoler, Meng Sun
Details
Formal Concept Analysis
2023 Computer Science Springer Nature Dominik Dürrschnabel, Domingo López Rodríguez
Details
Formal Concept Analysis
2024 Computer Science Springer Nature Bernhard Ganter, Rudolf Wille
Details
Formal Methods
2023 Computer Science Springer Nature Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Details
Formal Methods and Software Engineering
2023 Computer Science Springer Nature Yi Li, Sofiène Tahar
Details
Formal Methods and Software Engineering
2024 Computer Science Springer Nature Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Details
Formal Methods for an Informal World
2023 Computer Science Springer Nature Antonio Cerone
Details
Formal Methods for Control of Nonlinear Systems:
2023 Science and Technology Taylor & Francis Jun Liu; Yinan Li
Details
Formal Methods for Industrial Critical Systems
2023 Computer Science Springer Nature Alessandro Cimatti, Laura Titolo
Details
Formal Methods for Industrial Critical Systems
2024 Computer Science Springer Nature Anne E. Haxthausen, Wendelin Serwe
Details
Formal Methods in Architecture
2023 Engineering Springer Nature Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Details
Formal Methods in Architecture
2025 Engineering Springer Nature Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz
Details
Formal Methods Teaching
2023 Computer Science Springer Nature Catherine Dubois, Pierluigi San Pietro
Details
Formal Methods Teaching
2024 Computer Science Springer Nature Emil Sekerinski, Leila Ribeiro
Details
Formal Methods: Foundations and Applications
2024 Computer Science Springer Nature Haniel Barbosa, Yoni Zohar
Details
Formal Methods: Foundations and Applications
2025 Computer Science Springer Nature Sidney C. Nogueira, Ciprian Teodorov
Details
Formal Modeling and Analysis of Timed Systems
2023 Computer Science Springer Nature Laure Petrucci, Jeremy Sproston
Details
Formal Semantics in Modern Type Theories (1st Edition)
2021 Humanities, Social Sciences, Management, Law Wiley Stergios Chatzikyriakidis
Details
Formal Techniques for Distributed Objects, Components, and Systems
2023 Computer Science Springer Nature Marieke Huisman, António Ravara
Details
Formal Techniques for Distributed Objects, Components, and Systems
2024 Computer Science Springer Nature Valentina Castiglioni, Adrian Francalanza
Details
Showing 9941–9960 of 27308 results
‹ 1 2 … 495 496 497 498 499 500 501 … 1365 1366 ›
Theme