Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
ETAPS 2007 is the tenth instance of the European Joint Conferences on Theory and Practice of Software, and thus a cause for celebration.

The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and
...
Rust Programming By Example: Enter the world of Rust by building engaging, concurrent, reactive, and robust applications
Rust Programming By Example: Enter the world of Rust by building engaging, concurrent, reactive, and robust applications

Discover the world of Rust programming through real-world examples

Key Features

  • Implement various features of Rust to build blazingly fast applications
  • Learn to build GUI applications using Gtk-rs
  • Explore the multi-threading aspect of Rust to tackle...
Internet of Things Programming with JavaScript
Internet of Things Programming with JavaScript
The Raspberry Pi Zero is a powerful, low-cost, credit-card sized computer, which lends itself perfectly to begin the controller of sophisticated home automation devices. Using the available on-board interfaces, the Raspberry Pi Zero can be expanded to allow the connection of a virtually infinite number of security sensors and...
Programming Ruby 1.9 & 2.0: The Pragmatic Programmers' Guide (The Facets of Ruby)
Programming Ruby 1.9 & 2.0: The Pragmatic Programmers' Guide (The Facets of Ruby)

Ruby is the fastest growing and most exciting dynamic language out there. If you need to get working programs delivered fast, you should add Ruby to your toolbox.

This book is the only complete reference for both Ruby 1.9 and Ruby 2.0, the very latest version of Ruby.

2013 marks the 20th
...

Fourier Analysis: An Introduction (Princeton Lectures in Analysis)
Fourier Analysis: An Introduction (Princeton Lectures in Analysis)

This first volume, a three-part introduction to the subject, is intended for students with a beginning knowledge of mathematical analysis who are motivated to discover the ideas that shape Fourier analysis. It begins with the simple conviction that Fourier arrived at in the early nineteenth century when studying problems in the physical...

The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)
The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply “There is no royal road to mathematics.” Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there...
Probability Theory: A Comprehensive Course (Universitext)
Probability Theory: A Comprehensive Course (Universitext)

This second edition of the popular textbook contains a comprehensive course in modern probability theory. Overall, probabilistic concepts play an increasingly important role in mathematics, physics, biology, financial engineering and computer science. They help us in understanding magnetism, amorphous media, genetic diversity and the perils...

Examples and Counterexamples in Graph Theory
Examples and Counterexamples in Graph Theory
It is a real pleasure, indeed an honor, for me to have been invited by Mike Capobianco and John Molluzzo to write an introduction to this imaginative and valuable addition to graph theory. Let me therefore present a few of my thoughts on the current status of graph theory and how their work contributes to the field.

...
Version Control with Git: Powerful tools and techniques for collaborative software development
Version Control with Git: Powerful tools and techniques for collaborative software development

Version Control with Git takes you step-by-step through ways to track, merge, and manage software projects, using this highly flexible, open source version control system. Git permits virtually an infinite variety of methods for development and collaboration. Created by Linus Torvalds to manage development of the Linux kernel, it's become...

MongoDB: The Definitive Guide
MongoDB: The Definitive Guide

How does MongoDB help you manage a huMONGOus amount of data collected through your web application? With this authoritative introduction, you'll learn the many advantages of using document-oriented databases, and discover why MongoDB is a reliable, high-performance system that allows for almost infinite horizontal...

Scala Functional Programming Patterns
Scala Functional Programming Patterns

Grok and perform effective functional programming in Scala

About This Book

  • Understand functional programming patterns by comparing them with the traditional object-oriented design patterns
  • Write robust, safer, and better code using the declarative programming paradigm
  • An...
Developing Games on the Raspberry Pi: App Programming with Lua and LÖVE
Developing Games on the Raspberry Pi: App Programming with Lua and LÖVE

Learn to set up a Pi-based game development environment, and then develop a game with Lua, a popular scripting language used in major game frameworks like Unreal Engine (BioShock Infinite), CryEngine (Far Cry series), Diesel (Payday: The Heist), Silent Storm Engine (Heroes of Might and Magic V) and many others. More importantly,...

Result Page: 12 11 10 9 8 7 6 5 4 3 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy