Programming category: 12034 books
Multicore and GPU Programming
An Integrated Approach
Language: English
Release Date: December 16, 2014
Multicore and GPU Programming offers broad coverage of the key parallel computing skillsets: multicore CPU programming and manycore "massively parallel" computing. Using threads, OpenMP, MPI, and CUDA, it teaches the design and development of software capable of taking advantage of today’s...
Programming Languages and Systems
26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
Language: English
Release Date: April 10, 2017
This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 36 papers presented in this volume were carefully...
by Aaron Stump
Language: English
Release Date: February 1, 2016
Language: English
Release Date: February 1, 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate...
by John C. Reynolds
Language: English
Release Date: October 13, 1998
Language: English
Release Date: October 13, 1998
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the...
Distributed Programming
Theory and Practice
Language: English
Release Date: September 15, 2012
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks,...
by Andrew J Wagner
Language: English
Release Date: March 23, 2016
Language: English
Release Date: March 23, 2016
Develop the skills required to create compelling, maintainable, and robust iOS and OS X apps with Swift
About This Book
Write expressive, understandable, and maintainable Swift 2 code with this hands-on tutorial
Unveil the complex underpinnings of Swift to turn your app ideas into reality
This...
by Harvey Deitel, Paul Deitel
Language: English
Release Date: January 16, 2015
Language: English
Release Date: January 16, 2015
The professional programmer’s Deitel® guide to Apple’s new Swift programming language for the iOS® and OS X® platforms ¿ Written for programmers with a background in object-oriented programming in a C-based language like Objective-C, Java, C# or C++, this book applies the Deitel signature...
by Peter Verhas
Language: English
Release Date: April 26, 2017
Language: English
Release Date: April 26, 2017
Get the steps you need to discover the world of Java 9 programming using real-world examples
About This Book
We bridge the gap between “learning” and “doing” by providing real-world examples that will improve your software development
Our example-based approach will get you started quickly...
by Sally Fincher
Language: English
Release Date: February 14, 2006
Language: English
Release Date: February 14, 2006
We've written this book to support students in studying programming. It is not a text to teach any particular programming language, but to be used alongside such a book, or in conjunction with a taught course. In Studying Programming we concentrate on what other books consider too 'obvious' or too...
by Anthony Sintes
Language: English
Release Date: September 11, 1997
Language: English
Release Date: September 11, 1997
Sams Teach Yourself Object Oriented Programming in 21 Days differs from other OOP books in two main ways. Many classic OOP books are designed for software engineers and teach at an academic level. Sams Teach Yourself Object Oriented Programming in 21 Days presents accessible, user-friendly lessons designed...
Python 3 Programming: A Complete Introduction to the Python Language
A Complete Introduction to the Python Language. Python 2 Programming Tutorials
Language: English
Release Date: February 21, 2019
Python 3 Programming
Python is a general-purpose interpreted, interactive, object-oriented, and high-level programming language. It was created by Guido van Rossum during 1985- 1990. Like Perl, Python source code is also available under the GNU General Public License (GPL). Python is named...
Fortran Programming
Guide to Fortran Programming
Language: English
Release Date: January 6, 2019
Fortran
Fortran was originally developed by a team at IBM in 1957 for scientific calculations. Later developments made it into a high level programming language. In this tutorial, we will learn the basic concepts of Fortran and its programming code.
This tutorial is designed for the...
by Arun Tigeraniya
Language: English
Release Date: September 28, 2016
Language: English
Release Date: September 28, 2016
Become more fluent in Python—learn strategies and techniques for smart and high-performance Python programming
About This Book
Write smarter, bug-free, high performance code with minimal effort
Uncover the best tools and options available to Python developers today
Deploy decorators, design...
by Julitta Korol
Language: English
Release Date: February 29, 2016
Language: English
Release Date: February 29, 2016
As part of the Pocket Primer series, this book was designed for someone like you who needs to master Access programming fundamentals without spending too much time. All you need is a short book to get you started. It will show you only the things you need to know to feel at home with VBA. What you learn...