Books

3688 works - Books.

"3688" Result

Get a head start in your game development career with this all-genre guide for absolute beginners. Whether you're into action games, role-playing games, or interactive fiction, we've got you covered. Mostly Codeless Game Development empowers new developers with little or no prev…

Get a head start in your game development career with this all-genre guide for absolute beginners. Whether you're into action games, role-playing games, or interactive fiction, we've got you covered. Mostly Codeless Game Development empowers new developers with little or no prev…

Scientific Python is a significant public domain alternative to expensive proprietary software packages. This book teaches from scratch everything the working scientist needs to know using copious, downloadable, useful and adaptable code snippets. Readers will discover how easy …

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is…

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is…

Have you ever thought that computer science should include more dragons and wizards? Computational Fairy Tales introduces principles of computational thinking, illustrating high-level computer science concepts, the motivation behind them, and their application in a non-computer-…