Compilers 9

Learn and use Python and PyGame to design and build cool arcade games. In Program Arcade Games: With Python and PyGame, Second Edition, Dr. Paul Vincent Craven teaches you how to create fun and simp……続きを見る

This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming……続きを見る

This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScr……続きを見る

Learn from F#'s inventor to become an expert in the latest version of this powerful programming language so you can seamlessly integrate functional, imperative, object-oriented, and query programmin……続きを見る

Find solutions to problems and answers to questions you are likely to encounter when writing real-world applications in Common Lisp. This book covers areas as diverse as web programming, databases, ……続きを見る

Durch kostengünstige Multiprozessor-Desktoprechner, Cluster von PCs und Innovationen wie die Hyperthreading-Technologie oder Multicore-Prozessoren sind parallele Rechenressourcen allgegenwärtig. Die……続きを見る

Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendb……続きを見る

Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft……続きを見る

Das Buch behandelt die Analysephase von Übersetzern für Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen für diese Aufgabe……続きを見る

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht……続きを見る

Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The ex……続きを見る

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume de……続きを見る

Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für di……続きを見る

Das Hamster-Modell ist ein spezielles didaktisches Modell zum spielerischen Erlernen der Programmierung. Es orientiert sich an der Programmiersprache Java. Programmieranfänger lernen die grundlegend……続きを見る

Ziel dieses Buches ist es, dem Leser fundierte Grundkenntnisse in Datenbanken und SQL zu vermitteln. Zahlreiche Zusammenfassungen und Übungsaufgaben zu jedem Kapitel dienen der Vertiefung des Stoffe……続きを見る

This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 ……続きを見る

The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important so……続きを見る

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented i……続きを見る

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015. The 15 full pap……続きを見る

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised……続きを見る

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 i……続きを見る

For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. If the reader requires a st……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, i……続きを見る

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume……続きを見る

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full ……続きを見る

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTE……続きを見る

This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest Universit……続きを見る

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, Fra……続きを見る

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conf……続きを見る

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands……続きを見る