Navigazione di "Compilers" (Visualizzazione di 961 - 980 di 1906 risultati)

Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
di Mark Aagaard; John Harrison
- Edizione: 1st
- Formato: Fisso
- Dalle €15.60 EUR
  Il prezzo include l'IVA

Correct System Design
Recent Insights and Advances
di ErnstRüdiger Olderog; Bernhard Steffen
- Edizione: 1st
- Formato: Fisso
- Dalle €15.60 EUR
  Il prezzo include l'IVA

OpenMP
Eine Einführung in die parallele Programmierung mit C/C++
di Simon Hoffmann; Rainer Lienhart
- Formato: Fisso
- Dalle €3.41 EUR
  Il prezzo include l'IVA

Android Espresso Revealed
Writing Automated UI Tests
di Denys Zelenchuk
- Formato: Adattabile
- Dalle €18.38 EUR
  Il prezzo include l'IVA

Software Engineering 1
Abstraction and Modelling
di Dines Bjørner
- Formato: Fisso
- Dalle €26.52 EUR
  Il prezzo include l'IVA

Übersetzerbau
Band 2: Syntaktische und semantische Analyse
di Reinhard Wilhelm; Helmut Seidl; Sebastian Hack
- Formato: Adattabile
- Dalle €3.93 EUR
  Il prezzo include l'IVA

The Semantics and Proof Theory of the Logic of Bunched Im...
di David J. Pym
- Formato: Fisso
- Dalle €43.68 EUR
  Il prezzo include l'IVA

Languages, Compilers, and Tools for Embedded Systems
ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
di Jack Davidson; ‎Sang Lyul Min
- Edizione: 1st
- Formato: Fisso
- Dalle €15.60 EUR
  Il prezzo include l'IVA

Call-By-Push-Value
A Functional/Imperative Synthesis
di P.B. Levy
- Formato: Fisso
- Dalle €34.32 EUR
  Il prezzo include l'IVA

Learn Java with Math
Using Fun Projects and Games
di Ron Dai
- Formato: Adattabile
- Dalle €16.62 EUR
  Il prezzo include l'IVA

Foundations of Libvirt Development
How to Set Up and Maintain a Virtual Machine Environment with Python
di W. David Ashley
- Formato: Adattabile
- Dalle €16.62 EUR
  Il prezzo include l'IVA

FME 2003: Formal Methods
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
di Author
- Formato: Adattabile
- Dalle €28.08 EUR
  Il prezzo include l'IVA

C++ for Lazy Programmers
Quick, Easy, and Fun C++ for Beginners
di Will Briggs
- Formato: Adattabile
- Dalle €13.71 EUR
  Il prezzo include l'IVA

Perl 6 Quick Syntax Reference
A Pocket Guide to the Language, the Core Modules, and the Community
di J.J. Merelo
- Formato: Adattabile
- Dalle €10.80 EUR
  Il prezzo include l'IVA

Practical MATLAB Modeling with Simulink
Programming and Simulating Ordinary and Partial Differential Equations
di Sulaymon L. Eshkabilov
- Formato: Adattabile
- Dalle €19.54 EUR
  Il prezzo include l'IVA

Practical Rust Web Projects
Building Cloud and Web-Based Applications
di Shing Lyu
- Formato: Adattabile
- Dalle €10.80 EUR
  Il prezzo include l'IVA

Transactions on Aspect-Oriented Software Development III
Focus: Early Aspects
di Awais Rashid; ‎Mehmet Aksit
- Edizione: 1st
- Formato: Fisso
- Dalle €15.60 EUR
  Il prezzo include l'IVA

AIxIA 2020 – Advances in Artificial Intelligence
XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers
- Formato: Adattabile
- Dalle €28.08 EUR
  Il prezzo include l'IVA

Android Studio IDE Quick Reference
A Pocket Guide to Android Studio Development
di Ted Hagos
- Formato: Adattabile
- Dalle €10.80 EUR
  Il prezzo include l'IVA

Exploring the .NET Core 3.0 Runtime
Through Code Generation and Metadata Inspection
di Roger Villela
- Formato: Adattabile
- Dalle €10.80 EUR
  Il prezzo include l'IVA