-
Programming with Higher-Order Logic
Venditore: FeltrinelliCambridge University Press, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane70,60 € -
Concepts in Programming Languages
Venditore: FeltrinelliCambridge University Press, 2002Libri in Inglese | Science, Computer & TechnologyAttualmente non disponibile81,40 € -
Higher Order Operational Techniques in Semantics
Venditore: FeltrinelliCambridge University Press, 1998Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,00 € -
Modern Compiler Implementation in C
Venditore: FeltrinelliCambridge University Press, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane124,00 € -
Epistemic Logic for AI and Computer Science
Venditore: FeltrinelliCambridge University Press, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane99,50 € -
Formal Semantics and Pragmatics for Natural Language Querying
Venditore: FeltrinelliCambridge University Press, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,90 € -
The Functional Approach to Programming
Venditore: FeltrinelliCambridge University Press, 1998Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane124,30 € -
Topology via Logic
Venditore: FeltrinelliCambridge University Press, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane92,40 € -
The Pi-Calculus: A Theory of Mobile Processes
Venditore: FeltrinelliCambridge University Press, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane106,40 € -
Memory as a Programming Concept in C and C++
Venditore: FeltrinelliCambridge University Press, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,60 € -
Pearls of Functional Algorithm Design
Venditore: FeltrinelliCambridge University Press, 2010Libri in Inglese | Science, Computer & TechnologyAttualmente non disponibile64,90 € -
The Muse Method for Usability Engineering
Venditore: FeltrinelliCambridge University Press, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane95,10 € -
Illustrating C
Venditore: FeltrinelliCambridge University Press, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane105,60 € -
Categories for Types
Venditore: FeltrinelliCambridge University Press, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane128,80 € -
C by Example
Venditore: FeltrinelliCambridge University Press, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane114,90 € -
Categories and Computer Science
Venditore: FeltrinelliCambridge University Press, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane126,40 € -
Logic and Computation: Interactive Proof with Cambridge LCF
Venditore: FeltrinelliCambridge University Press, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane87,10 € -
Rationale for the Design of the Ada Programming Language
Venditore: FeltrinelliCambridge University Press, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane234,70 € -
Illustrating BBC Basic
Venditore: FeltrinelliCambridge University Press, 1986Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane72,80 € -
Introduction to Functional Programming Systems Using Haskell
Venditore: FeltrinelliCambridge University Press, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane90,50 € -
Illustrating BASIC
Venditore: FeltrinelliCambridge University Press, 1977Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,30 € -
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Venditore: FeltrinelliCambridge University Press, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane64,50 € -
Numerical Methods in Finance with C++
Venditore: FeltrinelliCambridge University Press, 2012Libri in Inglese | Science, Computer & TechnologyDisponibile in 5 gg lavorativi47,50 € -
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Venditore: FeltrinelliCambridge University Press, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane119,90 € -
Higher Order Logic and Hardware Verification
Venditore: FeltrinelliCambridge University Press, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,30 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.