A more thoughtful world through books

Track Order Contact

Home / Books / Programming

Programming El solar de Ado cover

El solar de Ado cover

THE BOOKSHELF · English

El solar de Ado

$8.00~~$55.00~~

PayPal & cryptocurrencyGuest checkout available

BETWEEN THE COVERS

About this book

Explore all books by Tim Davies →

More to discover

Explore the shelf →

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues) cover

−81%

Programming

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues)

$16.00~~$86.00~~

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju cover

−92%

Programming

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

$7.00~~$88.00~~

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science) cover

−70%

Programming

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science)

$16.00~~$53.00~~

Design and Implementation of the MTX Operating System: 2015 cover

−92%

Programming

Design and Implementation of the MTX Operating System: 2015

$7.00~~$93.00~~

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science) cover

−89%

Programming

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science)

$13.00~~$120.00~~

Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) cover

−71%

Programming

Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues)

$12.00~~$42.00~~