Premium Members Save 10% Join Now
81- 100 of 139 results
Grid View Grid
List View List
Grid View Grid
List View List
Viewing availability for Buy Online, Pick up in Store at  B&N Lennox Town Change My Store
Pick up in Store  B&N Lennox Town Change My Store
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, Cristina Seceleanu, Ana Cavalcanti
#10471 in Series
Paperback $54.99

In Stock Online

Not in Stock at My Store

Title: Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / Edition 1, Author: João Leite
QUICK ADD
Declarative Agent Languages…
by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
#3476 in Series
Paperback $54.99

In Stock Online

Not in Stock at My Store

Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Automated Technology for…
by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
#9364 in Series
Paperback $54.99

In Stock Online

Not in Stock at My Store

Title: Scala for the Impatient / Edition 2, Author: Cay Horstmann
QUICK ADD
Scala for the Impatient /…
by Cay Horstmann
Paperback $59.84

In Stock Online

Not in Stock at My Store

Title: Reliable Software Technologies - Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings, Author: Johann Blieberger
QUICK ADD
Reliable Software Technologies…
by Johann Blieberger, Markus Bader
#10300 in Series
Paperback $59.99

In Stock Online

Not in Stock at My Store

Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard
QUICK ADD
Reasoning About Program…
by Jean-Francois Collard
Paperback $59.99

In Stock Online

Not in Stock at My Store

Title: Build Your Own .NET Language and Compiler / Edition 1, Author: Edward G. Nilges
QUICK ADD
Build Your Own .NET Language…
by Edward G. Nilges
Explore Series
Paperback $59.99

In Stock Online

Not in Stock at My Store

Title: Modern Fortran: Building efficient parallel applications / Edition 1, Author: Milan Curcic
QUICK ADD
Modern Fortran: Building…
by Milan Curcic
Paperback $59.99

In Stock Online

Not in Stock at My Store

Title: The Uncertain Reasoner's Companion: A Mathematical Perspective, Author: J. B. Paris
QUICK ADD
The Uncertain Reasoner's…
by J. B. Paris
#39 in Series
Paperback $63.00

In Stock Online

Not in Stock at My Store

Title: Steps in Scala: An Introduction to Object-Functional Programming, Author: Christos K. K. Loverdos
QUICK ADD
Steps in Scala: An…
by Christos K. K. Loverdos, Apostolos Syropoulos
Paperback $67.00

In Stock Online

Not in Stock at My Store

Title: 21st Century RPG: /Free, ILE, and MVC, Author: David Shirey
QUICK ADD
21st Century RPG: /Free, ILE,…
by David Shirey
Paperback $69.95

In Stock Online

Not in Stock at My Store

Title: Foundations of XML Processing: The Tree-Automata Approach, Author: Haruo Hosoya
QUICK ADD
Foundations of XML Processing:…
by Haruo Hosoya
Hardcover $69.99

In Stock Online

Not in Stock at My Store

Title: Model-Based Systems Engineering with OPM and SysML, Author: Dov Dori
QUICK ADD
Model-Based Systems…
by Dov Dori
Paperback $69.99

In Stock Online

Not in Stock at My Store

Title: Practical MATLAB: With Modeling, Simulation, and Processing Projects, Author: Irfan Turk
QUICK ADD
Practical MATLAB: With…
by Irfan Turk
Paperback $69.99

In Stock Online

Not in Stock at My Store

Title: Programming Language Concepts / Edition 2, Author: Peter Sestoft
QUICK ADD
Programming Language Concepts …
by Peter Sestoft
Explore Series
Paperback $69.99

In Stock Online

Not in Stock at My Store

Title: Introduction to Python for Science and Engineering / Edition 1, Author: David J. Pine
QUICK ADD
Introduction to Python for…
by David J. Pine
Explore Series
Paperback $71.99

In Stock Online

Not in Stock at My Store

Title: Knowledge Representation, Reasoning and Declarative Problem Solving, Author: Chitta Baral
QUICK ADD
Knowledge Representation,…
by Chitta Baral
Paperback $74.00

In Stock Online

Not in Stock at My Store

Title: Java in Two Semesters: Featuring JavaFX / Edition 4, Author: Quentin Charatan
QUICK ADD
Java in Two Semesters:…
by Quentin Charatan, Aaron Kans
Explore Series
Hardcover $79.99

In Stock Online

Not in Stock at My Store

Title: Introduction to Concurrency in Programming Languages / Edition 1, Author: Matthew J. Sottile
QUICK ADD
Introduction to Concurrency in…
by Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen
Paperback $82.99

In Stock Online

Not in Stock at My Store

Title: Theories of Programming Languages, Author: John C. Reynolds
QUICK ADD
Theories of Programming…
by John C. Reynolds
Paperback $83.00

In Stock Online

Not in Stock at My Store

Pagination Links