Wyniki wyszukiwania:
wyszukanych pozycji: 13
 |
Übersetzerbau: Band 3: Analyse Und Transformation
ISBN: 9783642033292 / Niemiecki / Miękka / 2010 / 177 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Dieses Buch behandelt die Optimierungsphase von Ubersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, mussen jeweils zugehorige Anwendbarkeitsbedingungen erfullt sein. Diese werden mittels statischer Analyse der Programme uberpruft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einfuhrung in die erforderlichen Konzepte und... Dieses Buch behandelt die Optimierungsphase von Ubersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Sema... |
cena:
94,26 zł |
 |
Compiler Design: Analysis and Transformation
ISBN: 9783662507162 / Angielski / Miękka / 2016 / 177 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages and methods for automatic generation.
This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification...
|
cena:
282,42 zł |
 |
Theoretical Aspects of Computing - Ictac 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
ISBN: 9783031177149 / Angielski / Miękka / 2022 / 482 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilis...
|
cena:
201,72 zł |
 |
Otto von Bayern: Der unsichtbare König
ISBN: 9783384430465 / Niemiecki / Miękka / 2024 / 232 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Otto von Bayern - ein Name, der oft im Schatten seines berühmten Bruders, König Ludwig II., verblasst. Doch hinter der Fassade des "unsichtbaren Königs" verbirgt sich eine außergewöhnliche Geschichte. Helmut R. Seidl nimmt Sie mit auf eine faszinierende Reise in die Vergangenheit und beleuchtet das Leben eines Mannes, der trotz königlicher Würde ein Dasein im Schatten führen musste.Als jüngerer Bruder des Märchenkönigs wuchs Otto in einer Welt voller Glanz und Tragik auf. Von psychischen Herausforderungen geplagt und durch die Last des königlichen Erbes gezeichnet, war sein Leben...
Otto von Bayern - ein Name, der oft im Schatten seines berühmten Bruders, König Ludwig II., verblasst. Doch hinter der Fassade des "unsichtbaren Kö...
|
cena:
86,84 zł |
 |
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferen
ISBN: 9783540713883 / Angielski / Miękka / 2007 / 400 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, ... |
cena:
201,72 zł |
 |
Mord nach der Messe
ISBN: 9783862224517 / Niemiecki / Miękka / 140 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Mitte des 19. Jahrhunderts hielt der brutale Mord an Johann Baptist Schwarz die königliche Haupt- und Residenzstadt München in Atem. Wie kein zweites erregte das abscheuliche Verbrechen bayernweit Aufsehen, handelte es sich bei dem Opfer doch um einen stadtbekannten Geistlichen. Was für ein Frevel!Das grausame Tötungsdelikt ging auf das Konto eines Täter-Duos, bestehend aus den arbeitslosen Handwerkern Joseph Stopfer und Ludwig Dantinger. Der Fall beschäftigte Polizei, Justiz und Presse in außerordentlicher Weise und fand ein dramatisches Ende: Während das Todesurteil für Dantinger...
Mitte des 19. Jahrhunderts hielt der brutale Mord an Johann Baptist Schwarz die königliche Haupt- und Residenzstadt München in Atem. Wie kein zweite...
|
cena:
80,70 zł |
 |
Medizinische Sprichw?rter: Das gro?e Lexikon deutscher Gesundheitsregeln
ISBN: 9783911527651 / Niemiecki Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
238,08 zł |
 |
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783642288685 / Angielski / Miękka / 2012 / 602 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and...
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 20...
|
cena:
201,72 zł |
 |
Den Kopf halt kühl, die Füße warm! : Sprichwörtliche Gesundheitstipps und was dahintersteckt
ISBN: 9783534268801 / Niemiecki / Miękka / 2017 / 175 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Der Volksmund hat in den letzten 500 Jahren zahllose Ratschläge zum Gesundbleiben und Gesundwerden gefunden, deren ursprüngliche Bedeutung längst vergessen ist. Seidls Buch erhellt die Hintergründe und gewährt überraschende Einblicke in die Vorstellungen der Volksmedizin. Treffende Beispiele machen es zu einer instruktiven und vergnüglichen Lektüre.
Der Volksmund hat in den letzten 500 Jahren zahllose Ratschläge zum Gesundbleiben und Gesundwerden gefunden, deren ursprüngliche Bedeutung längst v...
|
cena:
140,99 zł |
 |
Obacht geben, länger leben!
ISBN: 9783862224333 / Niemiecki / Twarda / 196 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) "Gsund" ist der altbairische Ausdruck für "Gesundheit". Und um diese zu bewahren bzw. zu erlangen, suchte man im alten Bayern sein Heil vielfach in dubiosen Praktiken, abergläubischen Vorstellungen oder volksmedizinischen Empfehlungen wie etwa: "Auf an Katznjamma g'hört a frische Maß Bier." Nicht selten gehen Ratschläge und Weisheiten dieser Art auf überholte Ansichten der Schulmedizin zurück.Das Buch möchte kein medizinischer Ratgeber im heutigen Sinne sein, auch wenn mancher Gesundheitstipp durchaus noch gerechtfertigt wäre. Es versteht sich vielmehr als vergnüglich-informativer...
"Gsund" ist der altbairische Ausdruck für "Gesundheit". Und um diese zu bewahren bzw. zu erlangen, suchte man im alten Bayern sein Heil vielfach in d...
|
cena:
89,67 zł |
 |
Otto von Bayern: Der unsichtbare König
ISBN: 9783384430472 / Niemiecki / Twarda / 2024 / 232 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Otto von Bayern - ein Name, der oft im Schatten seines berühmten Bruders, König Ludwig II., verblasst. Doch hinter der Fassade des "unsichtbaren Königs" verbirgt sich eine außergewöhnliche Geschichte. Helmut R. Seidl nimmt Sie mit auf eine faszinierende Reise in die Vergangenheit und beleuchtet das Leben eines Mannes, der trotz königlicher Würde ein Dasein im Schatten führen musste.Als jüngerer Bruder des Märchenkönigs wuchs Otto in einer Welt voller Glanz und Tragik auf. Von psychischen Herausforderungen geplagt und durch die Last des königlichen Erbes gezeichnet, war sein Leben...
Otto von Bayern - ein Name, der oft im Schatten seines berühmten Bruders, König Ludwig II., verblasst. Doch hinter der Fassade des "unsichtbaren Kö...
|
cena:
137,95 zł |
 |
Schwindelköpfe, Schwätzer und Schmarotzer: Schmähinserate im alten München. Mit 50 Abbildungen
ISBN: 9783752611601 / Niemiecki / Miękka / 2020 / 266 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
120,66 zł |
 |
Compiler Design: Analysis and Transformation
ISBN: 9783642175473 / Angielski / Twarda / 2012 / 177 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This text deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages and methods for automatic generation.
This text deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification...
|
cena:
282,42 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
