Models and Analysis for Distributed Systems

AI Engineering: Building Applications with Foundation Models

Learn Computer Science

Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Quick Revision of Python programming: Easy and Fast

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Software Engineering Handbook

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Digital Design and Computer Architecture: Edition 2

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Getting Started with Arduino: Edition 2

Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

C in a Nutshell: The Definitive Reference, Edition 2

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Part 11: Hacking Mobile Applications: Part 11 of Certified Ethical Hacker (CEH) Course

Formal Methods for Embedded Distributed Systems: How to master the complexity

Transactions on Petri Nets and Other Models of Concurrency IX