461- 480 of 828 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
QUICK ADD
Critical Systems: Formal…
by Laure Petrucci (Editor), Cristina Seceleanu (Editor), Ana Cavalcanti (Editor)
#10471 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Formal Methods for Industrial…
by Kim Guldstrand Larsen (Editor), Tim Willemse (Editor)
#11687 in Series
Paperback $54.99
Title: From Ruby to Elixir: Unleash the Full Potential of Functional Programming, Author: Stephen Bussey
QUICK ADD
From Ruby to Elixir: Unleash…
by Stephen Bussey
Paperback $48.95
Title: Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Author: Bruno C. d. S. Oliveira
QUICK ADD
Programming Languages and…
by Bruno C. d. S. Oliveira (Editor)
#12470 in Series
eBook $54.99
Title: Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings, Author: Pierre Cointe
QUICK ADD
Meta-Level Architectures and…
by Pierre Cointe (Editor)
#1616 in Series
Paperback $54.99
Title: MLOps Fundamentals: Master Machine Learning Operations with Hands-On Azure Demos, Author: Piper Shaw
QUICK ADD
MLOps Fundamentals: Master…
by Piper Shaw
Paperback $13.16
Title: The Clausal Theory of Types, Author: D. A. Wolfram
QUICK ADD
The Clausal Theory of Types
by D. A. Wolfram
#21 in Series
Paperback $37.00
Title: Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings, Author: José F. Morales
QUICK ADD
Practical Aspects of…
by José F. Morales (Editor), Dominic Orchard (Editor)
#12548 in Series
eBook $54.99
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings, Author: Patrick Cousot
QUICK ADD
Static Analysis: Third…
by Patrick Cousot (Editor), Moreno Falaschi (Editor), Gilberto File (Editor), Antoine Rauzy (Editor)
#724 in Series
Paperback $54.99
Created with Sketch.
Close
Created with Sketch.
Created with Sketch.

Understanding Software: Max Kanat-Alexander on simplicity, coding, and how to suck less as a programmer
QUICK ADD
Understanding Software: Max…
by Max Kanat-Alexander
Narrated by  Steve Menasche
Audiobook (Unabridged) $19.99
. Price is $19.99 . You save %.
OR

FREE with a B&N Audiobooks Subscription trial!

Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
QUICK ADD
Programming Language Design…
by Torben Ægidius Mogensen
Explore Series
Paperback $64.99
Title: Clean C++20: Sustainable Software Development Patterns and Best Practices, Author: Stephan Roth
QUICK ADD
Clean C++20: Sustainable…
by Stephan Roth
Paperback $44.99
Title: Full Stack iOS Development with Swift and Vapor, Author: Hem Dutt
QUICK ADD
Full Stack iOS Development…
by Hem Dutt
eBook $54.99
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
QUICK ADD
Mathematical Logic through…
by Yannai A. Gonczarowski, Noam Nisan
Hardcover $79.00
Title: Pro Jakarta EE 10: Open Source Enterprise Java-based Cloud-native Applications Development, Author: Peter Spïth
QUICK ADD
Pro Jakarta EE 10: Open Source…
by Peter Spïth
eBook $64.99
Title: Modern C++ for Absolute Beginners: A Friendly Introduction to the C++ Programming Language and C++11 to C++23 Standards, Author: Slobodan Dmitrovic
QUICK ADD
Modern C++ for Absolute…
by Slobodan Dmitrovic
eBook $49.99
Title: Swift Cookbook: Proven recipes for developing robust iOS applications with Swift 5.9, Author: Keith Moon
QUICK ADD
Swift Cookbook: Proven recipes…
by Keith Moon, Chris Barker, Daniel Bolella, Nathan Lawlor
eBook $31.99
Title: Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings, Author: Marco Gavanelli
QUICK ADD
Practical Aspects of…
by Marco Gavanelli (Editor), John Reppy (Editor)
#9585 in Series
Paperback $44.99
Title: Advanced Guide to Python 3 Programming, Author: John Hunt
QUICK ADD
Advanced Guide to Python 3…
by John Hunt
Explore Series
eBook $64.99
Title: Rust for Beginners, Author: Hernando Abella
QUICK ADD
Rust for Beginners
by Hernando Abella
eBook $9.00

Pagination Links