Compilers and interpreters

Write code that writes code with Elixir macros.

This book constitutes the refereed proceedings of the Second IFIP WG 1.

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems.

Learn how to build an interactive source code analytics system using Roslyn and JavaScript.

Learn software engineering and coding best practices to write Python code right and error free.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.

Learn the principles behind object-oriented programming and within a few chapters create a fully functional Ruby application.

This volume constitutes the refereed proceedings of the Confederated International  International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM),  Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and  Consumption of Structured Data for the e-Society (Meta4eS) and, 1st International Workshop on Security via Information Analytics and Applications (SIAnA 2019) held as part of OTM 2018 in October 2019 in Rhodes, Greece.

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires.

This book is all about getting developers to realize good, solid interface design for their products by considering a reasonable set of design axioms.

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.

Discover what's new in C# and .

There are three fundamental components in Control-Flow Integrity (CFI) enforcement.

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis.

This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019.

Die Fachtagungen, die der Fachausschuß 2 PROGRAMMIERSPRACH~N der Gesellschaft für Informatik*) seit 1971 regelmäßig, nunmehr zum sechsten Mal, veranstaltet und in Ta­ gungsbänden dokumentiert, geben Zeugnis von dem jeweiligen Selbst-Verständnis des Faches PROGRAMMIERSPRACHEN, zumindest aus der Sicht einiger seiner Repräsentanten und der Vortragenden.

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs.

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.

For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas.

Das Fach "Algorithmen und Datenstrukturen" deckt "klassische Themen" der Ausbildung von Informatikern ab.

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.

die Unterschiede zwischen den Versionen vergleichend gegenübergestellt und das Vor­ gehen geschildert, wie Programme in andere, höhere Versionen umgewandelt werden können.

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, France, in November 2015.

A practical, hands-on introduction to C# and object orientation.

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.

Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format.

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt.

When I attended college we studied vacuum tubes in our junior year.

Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing.

"e;Introduction to Computational Science"e; was developed over a period of two years at the University of Utah Department of Computer Science in conjunction with the U.

Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications.

1.

Solvent systems are integral to drug development and pharmaceutical technology.

Implement practical data structures and algorithms for text search and discover how it is used inside other larger applications.

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.

The microcomputer has put a vast amount of computational power in the hands of the practicing chemical engineer.

Immer mehr Rechner werden an Arbeitsplätzen in Verwaltung, Wirtschaft und bei Selbst­ ständigen eingesetzt.

Numerical Python by Robert Johansson shows you how to leverage the numerical and mathematical modules in Python and its Standard Library as well as popular open source numerical Python packages like NumPy, FiPy, matplotlib and more to numerically compute solutions and mathematically model applications in a number of areas like big data, cloud computing, financial engineering, business management and more.

Fortran is currently the world's most powerful numeric language and F is a subset of this.

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018.

Das vorliegende Buch ist als Einführung und Nachschlagewerk zur Programmiersprache C++ geeignet.

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.

Beginning Arduino Programming allows you to quickly and intuitively develop your programming skills through sketching in code.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.