Bladeren door 'Compilers' (921 - 940 van 1925 resultaten weergeven)

Systems Programming in Unix/Linux
door K.C. Wang
- Indeling: Reflowable
- Vanaf €19.62 EUR
  Prijs is inclusief btw

Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
- Indeling: Vast
- Vanaf €16.35 EUR
  Prijs is inclusief btw

Languages for Embedded Systems and their Applications
Selected Contributions on Specification, Design, and Verification from FDL'08
door Author
- Indeling: Vast
- Vanaf €45.78 EUR
  Prijs is inclusief btw

MDA®
Effektives Software-Engineering mit UML2® und Eclipse™
door Volker Gruhn; Daniel Pieper; Carsten Röttgers
- Indeling: Vast
- Vanaf €2.14 EUR
  Prijs is inclusief btw

Low-Level Programming
C, Assembly, and Program Execution on Intel® 64 Architecture
door Igor Zhirkov
- Indeling: Vast
- Vanaf €17.99 EUR
  Prijs is inclusief btw

PHP 7 Solutions
Dynamic Web Design Made Easy
door David Powers
- Editie: 4th
- Indeling: Reflowable
- Vanaf €17.42 EUR
  Prijs is inclusief btw

Handbook of Formal Languages
Volume 2. Linear Modeling: Background and Application
door Author
- Indeling: Vast
- Vanaf €71.61 EUR
  Prijs is inclusief btw

Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
- Indeling: Reflowable
- Vanaf €16.35 EUR
  Prijs is inclusief btw

Leveraging Applications of Formal Methods, Verification a...
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
- Indeling: Reflowable
- Vanaf €16.35 EUR
  Prijs is inclusief btw

Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
- Indeling: Vast
- Vanaf €16.35 EUR
  Prijs is inclusief btw

Concrete Semantics
With Isabelle/HOL
door Tobias Nipkow; Gerwin Klein
- Indeling: Vast
- Vanaf €16.35 EUR
  Prijs is inclusief btw

Tools and Algorithms for the Construction and Analysis of...
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
- Indeling: Vast
- Vanaf €16.35 EUR
  Prijs is inclusief btw

UML in logistischen Prozessen
Graphische Sprache zur Modellierung der Systeme
door Waldemar Czuchra
- Indeling: Vast
- Vanaf €1.93 EUR
  Prijs is inclusief btw

Software-Entwurf mit UML 2
Objektorientierte Modellierung mit Beispielen in Java
door Jochen Seemann; Jürgen Wolff von Gudenberg
- Editie: 2nd
- Indeling: Vast
- Vanaf €19.87 EUR
  Prijs is inclusief btw

More Math Into LaTeX
door George Grätzer
- Editie: 4th
- Indeling: Vast
- Vanaf €19.26 EUR
  Prijs is inclusief btw

MATLAB Optimization Techniques
door Cesar Lopez
- Indeling: Reflowable
- Vanaf €24.45 EUR
  Prijs is inclusief btw

Assurances for Self-Adaptive Systems
Principles, Models, and Techniques
door Author
- Indeling: Vast
- Vanaf €16.35 EUR
  Prijs is inclusief btw

Learn PHP 7
Object Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL
door Steve Prettyman
- Indeling: Vast
- Vanaf €11.31 EUR
  Prijs is inclusief btw

Present and Ulterior Software Engineering
- Indeling: Vast
- Vanaf €29.43 EUR
  Prijs is inclusief btw

Model-Driven Engineering and Software Development
4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
- Indeling: Reflowable
- Vanaf €16.35 EUR
  Prijs is inclusief btw