Suchergebnisse - "Compilers (Computer programs)"

Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung

Wagenknecht, Christian (Verfasser)

3rd ed. 2022

Wiesbaden : Springer Fachmedien Wiesbaden, 2022

E-Book

Writing compilers and interpreters : [an applied approach using C++]

Mak, Ronald

2. ed.

New York [u.a.] : Wiley, 1996

Buch

High performance embedded architectures and compilers : first international conference ; proceedings

Conte, Tom (Herausgeber)

Berlin : Springer, 2005

Buch

A set based calculus and its implementation

Grieskamp, Wolfgang (Verfasser)

1999

E-Book

Integration of verification and testing into compilation systems : concept and case study

Didrich, Klaus (Verfasser)

2001

E-Book

Fantastic circuits and where to find them - a holistic ILP formulation for model-based hardware design

Fiege, Nicolai (Verfasser)

ACM Transactions on Reconfigurable Technology and Systems. - 2025. - 10.1145/3705325. - ISSN 1936-7414. - Volume 18, Issue 1, Article 12

E-Book

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Lochbihler, Andreas (Verfasser)

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2012

E-Book

Übersetzung objektorientierter Programmiersprachen : Konzepte, abstrakte Maschinen und Praktikum "Java-Compiler"

Bauer, Bernhard

Berlin [u.a.] : Springer, 1998

Buch

Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Yang, Hongseok (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

E-Book

Translating formal specifications into behavioural hardware descriptions

Drögehorn, Olaf (Verfasser)

Kassel : Kassel University Press, 2004

E-Book

Formal semantics for SDL : definition and implementation

Prinz, Andreas (Verfasser)

2001

E-Book

Languages and Compilers for Parallel Computing : 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding

Huang, Chua-huang (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1996

E-Book

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Lochbihler, Andreas (Verfasser)

Karlsruhe : KIT Scientific Publishing, 2012

E-Book

Objekt-orientierte Modellierung und Simulation dynamischer Elektrodenprozesse in der molekularen Elektrochemie : eine Anwendung der adaptiven Multilevel-Finite-Elemente-Methode

Ludwig, Kai (Verfasser)

2006

E-Book

Languages and Compilers for Parallel Computing : 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings

Banerjee, Utpal (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1994

E-Book

Constraintbasierte Codegenerierung für eingebettete Prozessoren

Bashford, Steven (Verfasser)

2000

E-Book

Compiler : Aufbau und Arbeitsweise

Schneider, Hans J.

Berlin [u.a.] : de Gruyter, 1975

Buch

Implementation funktionaler Programmiersprachen durch Quelltexttransformation

Maćoš, Dragan (Verfasser)

1998

E-Book

Performance- und energieeffiziente Compilierung für digitale SIMD-Signalprozessoren mittels genetischer Algorithmen

Lorenz, Markus (Verfasser)

2003

E-Book

Compiler Specification and Verification

Polak, Wolfgang (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1981

E-Book

Treffer 21 - 40 von 45

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken