Compiling natural semantics

Compiling natural semantics

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Pettersson, Mikael
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Springer 1999
Σειρά:	Lecture notes in computer science 1549
Θέματα:	Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού Επιστήμη των υπολογιστών > Μαθηματικά Επιστήμη των υπολογιστών

Παρόμοια τεκμήρια

Domains and lambda-calculi
ανά: Amadio, Roberto M.
Έκδοση: (1998)

Syntax-directed semantics formal models based on tree transducers
ανά: Fulop, Zoltan
Έκδοση: (1998)

Action semantics
ανά: Mosses, Peter D.
Έκδοση: (1992)

Comparative metric semantics of programming languages nondeterminism and recursion
ανά: Breugel, Franck van 1966-
Έκδοση: (1998)

Μελέτη των διερμηνευτών (scripting languages) που χρησιμοποιούνται στο [sic] παγκόσμιο ιστό, το διαδίκτυο, την εικονική πραγματικότητα και σε σχετικές τεχνολογίες και ανάπτυξη πιλοτικού συστήματος δικτυοκεντρικού διερμηνευτή
ανά: Ψιστάκης, Ιωσήφ Ε.
Έκδοση: (2009)

Classic data structures in C ++
ανά: Budd, Tomothy A.
Έκδοση: (1994)

Data structures using C and C++
ανά: Langsam, Yedidyah
Έκδοση: (1996)

Programming languages concepts and constructs
ανά: Sethi, Ravi
Έκδοση: (1996)

C θεωρία και πράξη /
ανά: Τομαράς, Αλέξανδρος
Έκδοση: (1994)

H βίβλος της Microsoft C από την ομάδα Waite /
ανά: Barkakati, Nabajyoti 1956-
Έκδοση: (1988)

The java tutorial object - oriented programming for the internet
ανά: Campione, Mary
Έκδοση: (1996)

Ειδικά θέματα βάσεων δεδομένων

Εισαγωγή στην πληροφορική
ανά: Λυπιτάκης, Ηλίας Α., κ.ά.
Έκδοση: (2000)

Αριθμητικοί υπολογισταί : τρόπος εργασίας, προγραμματισμός, επιστημονικαί εφαρμογαί /
ανά: Αποστολάτος, Νικόλαος Θ.
Έκδοση: (1972)

An introduction to object COBOL
ανά: Doke, E. Reed
Έκδοση: (1998)

Current trents in theoretical computer science essays and tutorials
Έκδοση: (1993)

Φασματικές μέθοδοι ανάκτησης πληροφορίας, εργαλεία λογισμικού και εφαρμογές
ανά: Ζεϊμπέκης, Δημήτριος
Έκδοση: (2009)

LAN times guide to SQL
ανά: Groff, James R.
Έκδοση: (1994)

Computers : tools for an information age /
ανά: Capron, H. L.
Έκδοση: (2000)

Ο κόσμος της πληροφορικής : καλύπτει τα windows XP και τα windows 2003 server /
ανά: Ζωγόπουλος, Ευστάθιος Αθ
Έκδοση: (2004)

Η επιστήμη της πληροφορικής /
ανά: Αναγνώστου, Παναγιώτης Κ.
Έκδοση: (2003)

Εισαγωγή στην πληροφορική και το διαδίκτυο /
ανά: Καρολίδης, Δημήτριος Α.
Έκδοση: (2004)

Εισαγωγή στην πληροφορική και χρήση υπολογιστή : πιστοποιημένη εκπαιδευτική ύλη ECDL, Syllabus 4.0 /
ανά: Κοίλιας, Χρήστος
Έκδοση: (2004)

Εισαγωγή στην πληροφορική /
ανά: Πανέτσος, Σπύρος
Έκδοση: (2002)

Ολα όσα θέλετε να μάθετε για τους υπολογιστές και...ντρεπόσαστε να ρωτήσετε /
ανά: Stevens, Richard
Έκδοση: (1986)

Ο κόσμος της πληροφορικής /
ανά: Ζωγόπουλος, Ευστάθιος Αθ
Έκδοση: (1996)

Εισαγωγή στην επιστήμη των υπολογιστών : θεμελιώδεις έννοιες - από το χειρισμό δεδομένων μέχρι τη θεωρία των υπολογισμών /
ανά: Forouzan, Behrouz A.
Έκδοση: (2003)

Εισαγωγή στην πληροφορική /
ανά: Τσουροπλής, Αθανάσιος Γ.
Έκδοση: (1990)

Selected papers on computer science
ανά: Knuth, Donald Ervin, 1938-
Έκδοση: (1996)

Discrete mathematics with applications
ανά: Mattson, H.F. Jr
Έκδοση: (1993)

An introduction to data structures and algorithms with Java
ανά: Rowe, Glenn
Έκδοση: (1998)

Semantics and logics of computation
Έκδοση: (1997)

Principles of concurrent and distributed programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1990)

Applying UML and Patterns An introduction to object - oriented analysis and design
ανά: Larman, Craig
Έκδοση: (1998)

Computing
ανά: Coffman, E.G
Έκδοση: (1992)

Structure and interpretation of computer programs
ανά: Adelson, Harold
Έκδοση: (1996)

Projects in scientific computation
ανά: Crandall, Richard E. 1947-2012
Έκδοση: (1996)

Computational recreations in mathematica
ανά: Vardi, Ilan
Έκδοση: (1991)

Σπουδαίες ιδέες στην επιστήμη των υπολογιστών μια προσιτή εισαγωγή
ανά: Biermann, Alan W.
Έκδοση: (2008)

Logic for applications
ανά: Nerode, Anil 1932-
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_tvupq59jo1v30daimav6v24ar5