Search results for “[Subject: programming-compilers]”

• Author(s): Alastair Donaldson | David Parker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...

• Author(s): Martin Abadi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriente...

• Author(s): Matthew Campbell • Publisher: Springer • Publisher Imprint: Apress • BISAC: Programming - MacintoshSwift Quick Syntax Reference is a condensed code and syntax reference to the new Apple Swift programming language, which is the altern...

• Author(s): Warren Gay • Publisher: Springer • Publisher Imprint: Apress • BISAC: RoboticsRaspberry Pi is Linux, but it's a unique flavor of Linux, specifically for the ARM-based Pi. Raspberry Pi Software Reference guides you through the boot pr...

• Author(s): Diana Schmidt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDieses Buch stellt den gesamten Sprachumfang von Ada vor. Es behandelt die g�ngigen Methoden des Software-Engi...

• Author(s): Diana Schmidt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDieses Buch stellt den gesamten Sprachumfang von Ada vor. Es behandelt die g�ngigen Methoden des Software-Engi...

• Author(s): Gerhard Goos | Guido Persch | Jürgen Uhl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedAda ist eine Systemprogrammiersprache, geeignet zum Schreiben groBer Programmsysteme, die aus vielen g...

• Author(s): Edmund Clarke | Irina Virbitskaite | Andrei Voronkov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Computer Vision & Pattern RecognitThis book contains thoroughly refereed and revised pape...

• Author(s): O. Komarnicki • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - General. . . . 1.1. Aufbau des Pflichtenheftes 1 1.2. Inhalt des Pflichtenheftes .

• Author(s): Walter S. Brainerd • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralWritten by members of the Fortran 90 ISO and ANSI committees, this book is the source of the most important information about the powe...

• Author(s): Dean C. Wills • Publisher: Springer • Publisher Imprint: Apress • BISAC: Programming - MicrosoftC++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginnin...

• Author(s): Rainer Alletsee | Konrad Zuse | Horst Jung • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralAls die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang...

• Author(s): Rainer Alletsee | Konrad Zuse | Horst Jung • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General

• Author(s): Afonso Ferreira | Jose Rolim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured ...

• Author(s): M. Teresa Higuera-Toledano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFrom the Back CoverResearch on real-time Java technology has been prolific over the past decade, leading to...

• Author(s): Ahmet Bindal • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis textbook provides semester-length coverage of the basics of embedded prog...

• Author(s): Roderick Bloem • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th Int...

• Author(s): Raymond J. Spiteri | Kyle Klenk • Publisher: Springer • Publisher Imprint: Springer • BISAC: Numerical AnalysisPart 1 - Extreme Scientific Computing Software Management.- Chapter 1 Linux Command Line.- Chapter 2: Version Control and ...

• Author(s): Lenore D. Zuck | Paul D. Attie | Agostino Cortesi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume contains the proceedings of the 4th International Conference o...

• Author(s): José Cano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, ...

• Author(s): Klaus Drosten • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersTermersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch...

• Author(s): Neng-Fa Zhou • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book introduces a new logic-based multi-paradigm programming language that integrates logic programmin...

• Author(s): Per Stenström • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis highly relevant and up-to-the-minute book constitutes the refereed proceedings of the Third International Conference on High Performance ...

• Author(s): Kenneth A. Loparo | CII Honeywell Bull • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralLexical elements.- Declarations and types.- Names and expressions.- Statements.- Subprograms.- Package...

• Author(s): Jean-Michel Muller • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Counting & NumerationFrom the Back CoverThis handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has con...

• Author(s): Klaus Keimel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersDomain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains sel...

• Author(s): Rainer Alletsee | Konrad Zuse | Horst Jung • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralAls die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang...

• Author(s): Rabe V. Randow • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchThis comprehensive bibliography lists all recent works on integer programming and combinatorial optimization. It will be an invaluble refe...

• Author(s): Cliff B. Jones • Publisher: Springer • Publisher Imprint: Springer • BISAC: HistoryFrom the Back CoverThousands of different programming languages exist, and many more are being created each year, yet all those involved in such work ...

• Author(s): Cliff B. Jones • Publisher: Springer • Publisher Imprint: Springer • BISAC: HistoryFrom the Back CoverThousands of different programming languages exist, and many more are being created each year, yet all those involved in such work ...

• Author(s): Jörg Henkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverAs we embrace the world of personal, portable, and perplexingly complex digital systems, it has befallen upon...

• Author(s): Jeffrey R. Sampson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersThis book began as a series of lecture notes for a course called Introduc- tion to Adaptive Systems which I developed for undergra...

• Author(s): Sivarama P. Dandamudi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceHere is an accessible, comprehensive guide to all the popular modern RISC (Reduced Instruction Set Computer) processors: MIPS, SPARC, ...

• Author(s): Einar Smith • Publisher: Springer • Publisher Imprint: Springer • BISAC: Counting & NumerationFrom the Back CoverThe book provides an introduction to common programming tools and methods in numerical mathematics and scientific co...

• Author(s): Jean-Michel Muller • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Counting & NumerationFrom the Back CoverThis handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has con...