- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 77,81, Mittelwert: € 64,84
1
Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings - Pier Luca Lanzi
Bestellen
bei hive.co.uk
£ 57,79
(ca. € 65,06)
Bestellengesponserter Link
Pier Luca Lanzi:

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings - neues Buch

2003, ISBN: 9783540400189

With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countr… Mehr…

No. 9783540400189. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Programming Languages and Systems - Atsushi Ohori
Bestellen
bei Springer.com
€ 64,19
Versand: € 0,001
Bestellengesponserter Link

Atsushi Ohori:

Programming Languages and Systems - neues Buch

2003, ISBN: 9783540400189

With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countr… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
3
Programming Languages and Systems
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
Programming Languages and Systems - neues Buch

2003

ISBN: 9783540400189

With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countr… Mehr…

Nr. 978-3-540-40018-9. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
4
Bestellen
bei lehmanns.de
€ 77,81
Versand: € 9,951
Bestellengesponserter Link
Atsushi Ohori:
Programming Languages and Systems - neues Buch

2003, ISBN: 9783540400189

First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003

Versandkosten:Download sofort lieferbar. (EUR 9.95)
5
Bestellen
bei lehmanns.de
€ 74,33
Versand: € 0,001
Bestellengesponserter Link
Atsushi Ohori:
Programming Languages and Systems - neues Buch

2003, ISBN: 9783540400189

First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540400189
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-05-10T02:16:34+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-09-27T01:34:58+02:00 (Vienna)
ISBN/EAN: 9783540400189

ISBN - alternative Schreibweisen:
978-3-540-40018-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: berlin luca
Titel des Buches: china beijing, programming systems and languages


Daten vom Verlag:

Autor/in: Atsushi Ohori
Titel: Lecture Notes in Computer Science; Programming Languages and Systems - First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
Verlag: Springer; Springer Berlin
434 Seiten
Erscheinungsjahr: 2003-11-06
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 434 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; APL; Aspect-oriented programming; Constraint; Haskell; OVal; automata; formal methods; inheritance; model checking; polymorphism; program analysis; programming language; programming languages; type systems; verification; C; Compilers and Interpreters; Software Engineering; Operating Systems; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Software Engineering; Betriebssysteme; Theoretische Informatik; BC

Invited Talk 1.- On a Method of Global Optimization.- Session 1.- Observing Asymmetry and Mismatch.- Expressive Synchronization Types for Inheritance in the Join Calculus.- Term Graph Rewriting for the ?-Calculus.- Useless-Code Elimination and Program Slicing for the Pi-Calculus.- Session 2.- Constraint Functional Logic Programming for Origami Construction.- A Typeful and Tagless Representation for XML Documents.- Dataflow Pointcut in Aspect-Oriented Programming.- Session 3.- Affine-Based Size-Change Termination.- Using Locality of Flow in Dataflow Analyses.- A Differential Fixpoint Evaluation Framework for Non-distributive Systems.- Invited Talk 2.- Model Checking: From Hardware to Software.- Session 4.- Executing Verified Compiler Specification.- Controlling and Optimizing the Usage of One Resource.- Resource Usage Verification.- Automatic Construction of Hoare Proofs from Abstract Interpretation Results.- Session 5.- A Program Inverter for a Functional Language with Equality and Constructors.- Rebuilding a Tree from Its Traversals:.- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.- Session 6.- Continuation Semantics for Parallel Haskell Dialects.- Translating a Continuous-Time Temporal Logic into Timed Automata.- The Semantic Layers of Timber.- Invited Talk 3.- Scrap Your Boilerplate.- Session 7.- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.- Extensional Polymorphism by Flow Graph Dispatching.- Register Allocation Based on a Reference Flow Analysis.- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9781013269882 Programming Languages and Systems (Amal Ahmed)


< zum Archiv...