Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download - Immediately Available
Format: eBook (PDF)
Internet of Things : Theory to Practice
Pramod R. Gunjal
Download - Immediately Available
Format: eBook (PDF)
Internet of Things : Theory to Practice
Pramod R. Gunjal
Download - Immediately Available
Format: eBook (EPUB)
DevOps: A Journey from Microservice to Cloud Based Containerization
Hitesh Kumar Sharma
Download - Immediately Available
Format: eBook (PDF)
DevOps: A Journey from Microservice to Cloud Based Containerization
Hitesh Kumar Sharma
Download - Immediately Available
Format: eBook (EPUB)
Digital Effects, Strategies, and Industry 5.0
Fabio De Felice
Download - Immediately Available
Format: eBook (PDF)
Digital Effects, Strategies, and Industry 5.0
Fabio De Felice
Download - Immediately Available
Format: eBook (EPUB)
Bioinformatics : A Practical Guide to Next Generation Sequencing Data Analysis
Hamid D. Ismail
Download - Immediately Available
Format: eBook (PDF)
Bioinformatics : A Practical Guide to Next Generation Sequencing Data Analysis
Hamid D. Ismail
Download - Immediately Available
Format: eBook (EPUB)
Learning and Relearning Equipment Complexity : Achieving Safety in Engineering Complex Systems
Sasho Andonov
Download - Immediately Available
Format: eBook (PDF)
Learning and Relearning Equipment Complexity : Achieving Safety in Engineering Complex Systems
Sasho Andonov
Download - Immediately Available
Format: eBook (EPUB)
Foundations of Probabilistic Logic Programming : Languages, Semantics, Inference and Learning
Fabrizio Riguzzi
Download - Immediately Available
Format: eBook (PDF)
Foundations of Probabilistic Logic Programming : Languages, Semantics, Inference and Learning
Fabrizio Riguzzi
Download - Immediately Available
Format: eBook (EPUB)
Operating Systems : Evolutionary Concepts and Modern Design Principles
Pranabananda Chakraborty
Download - Immediately Available
Format: eBook (PDF)
Operating Systems : Evolutionary Concepts and Modern Design Principles
Pranabananda Chakraborty
Download - Immediately Available
Format: eBook (EPUB)
SQL Server Database Programming with C# : Desktop and Web Applications
Ying Bai
Download - Immediately Available
Format: eBook (PDF)
SQL Server Database Programming with C# : Desktop and Web Applications
Ying Bai
Download - Immediately Available
Format: eBook (EPUB)
Methods and Applications of Autonomous Experimentation
Marcus Noack
Download - Immediately Available
Format: eBook (PDF)
Methods and Applications of Autonomous Experimentation
Marcus Noack
Download - Immediately Available
Format: eBook (EPUB)
Negotiating Software Contracts
Susan Singleton
Download - Immediately Available
Format: eBook (EPUB)