1
0
0
(1 - 21 von 24
)
AbeBooks: mikael pettersson university of uppsala sweden ed - AbeBooks
COMPILING NATURAL SEMANTICS von MIKAEL PETTERSSON, UNIVERSITY OF UPPSALA, SWEDEN (ED.) und eine große Auswahl von ähnlichen neuen, ...
bokus.com: Mikael Pettersson - Böcker | Bokus bokhandel
Köp böcker av Mikael Pettersson: Turistmål som inte finns; Stormaktsstaden Jönköping : och framåt;
adlibris.com: Turistmål som inte finns - Mikael Pettersson - häftad ( )...
Pris: 126 kr. häftad, Skickas inom 2‑5 vardagar. Köp boken Turistmål som inte finns av Mikael Pettersson (ISBN ) hos Adlibris.se. Fri frakt.
Einen Moment, bitte...
www.hugendubel.de
· Compiling Natural Semantics, Buch (kartoniert) von Mikael Pettersson bei hugendubel.de. Portofrei bestellen oder in der Filiale abholen.
beluga - Exemplare: A compiler for natural semantics
beluga.sub.uni-hamburg.de
A compiler for natural semantics ; by Mikael Pettersson. Kein Bild verfügbar. Bibliographische Detailangaben. 1. Verfasser: Pettersson, Mikael. Format: Buch.
Compiling Natural Semantics - Google Books
books.google.de
Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the...
Compiler Construction: 5th International Conference, CC '94,...
books.google.cz
The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler...
Visual Library .NET - Die Suchmaschine für wissenschaftliche...
www.visuallibrary.net
Visual Library .NET bietet Ihnen einen einfachen Online-Zugang zu über 20 Bibliotheken, Buchhandlungen, Fachdatenbanken, Enzyklopädien und Archiven im...
ABM Proceedings - Mikael, Pettersson
abmproceedings.com.br
Mikael, Pettersson. This author-page was not requested by any user yet. Articles. 1. Downloads. 0. Articles published by this author ...
Intelligent Agents: ECAI-94 Workshop on Agent Theories,...
books.google.cz
This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages.There is...
Programming Language Implementation and Logic Programming: 6th...
books.google.de
Mikael Pettersson. A term pattern-match compiler inspired by finite automata theory. In Proc. CC'92, LNCS 641, pages Springer- Verlag,
beluga - Exemplare: Meaning and interpretation, conference...
beluga.sub.uni-hamburg.de
... Stockholm, September , 1998], ed.: Dag Prawitz : Stockholm, Almqvist & Wiksell Internat., [rezensiert von:] Mikael Pettersson. Kein Bild verfügbar ...
Still Songs: Music In and Around the Poetry of Paul Celan - Mr Axel...
books.google.de
What does it mean for poetry and music to turn to each other, in the shadow of the Holocaust, as a means of aesthetic self-reflection? How can their mutual...
Tools and Methods for Analysis, Debugging, and Performance...
books.google.de
Mikael Pettersson. “Compiling Natural Semantics”. Also published in [110]. Doctoral thesis No Sweden: Department of Computer and Information Science, ...
Automatic Verification of Parameterized Systems by Over-Approximation...
books.google.de
This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of...
Designing for Resilience: Navigating Change in Service Systems -...
books.google.de
... Description, Identification and Recovery from Problematic Control Situations, 1995, ISBN Mikael Pettersson: Compiling Natural Semantics ...
A Companion to Applied Philosophy - Google Books
books.google.by
Applied philosophy has been a growing area of research for the last 40 years. Until now, however, almost all of this research has been centered around the...
Fiktionalität: Ein interdisziplinäres Handbuch - Google Books
books.google.de
... Ryan hat das Prinzip der minimalen Abweichung vorgeschlagen, Mikael Pettersson das Prinzip der Kohärenz, vgl. Ryan: Fiction und Pettersson: Story.
Machine Learning-Based Bug Handling in Large-Scale Software ...books.google.com › books
books.google.de
Mikael Pettersson: Compiling Natural Semantics, 1995, ISBN Xinli Gu: RT Level Testability Improvement by Testability Analysis and ...
Evaluative Perception - Google Books
books.google.de
... by Vetenskapsrådet grant number 350–2012–6582]. 7 Perception of Absence as Value-Driven Perception Anya Farennikova MIKAEL PETTERSSON 5.
Verwandte Suchanfragen zu Mikael Pettersson
Personen Vorname "Mikael" (1225) Name "Pettersson" (644) |
sortiert nach Relevanz / Datum