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

• Author(s): Sandeep Koranne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiPractical Programming in the Cell Broadband Engine offers a unique programming guide for...

• Author(s): Wolfgang E. Nagel | Diana Goehringer | Pedro C. Diniz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on...

• Author(s): Joachim Ziegler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDas Buch bietet eine vollst�ndige Einf�hrung in die prozedurale Programmierung anhand der Skriptsprache Perl. Eine F�lle praxis...

• 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): João Manuel Paiva Cardoso • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides techniques to tackle the design challenges raised by the increasing diversit...

• 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): Conor Ryan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis handbook offers a comprehensive treatise on Grammatical Evolution (GE), a grammar-based Evolutionary Alg...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed ...

• Author(s): Siddharta Chatterjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralLCPC'98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, w...

• Author(s): Jan Heering | Karl Meinke | Bernhard Möller • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis volume contains the final revised versions of the best papers presented at the First International Workshop on Hig...

• 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): Mitsuhisa Sato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverCovering research topics from system software such as programming languages, compilers, runtime systems, oper...

• 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): O. Komarnicki • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - General. . . . 1.1. Aufbau des Pflichtenheftes 1 1.2. Inhalt des Pflichtenheftes .

• 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): 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): 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): 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): 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): 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): Rainer Alletsee | Konrad Zuse | Horst Jung • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General

• 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): Peter Seibel • Publisher: Springer • Publisher Imprint: Apress • BISAC: Artificial Intelligence - GeneralLisp is thought of an academic language but it need not be. This is the first book that introduces Lisp as a language for the re...

• 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): Jingling Xue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralLoop tiling, as one of the most important compiler optimizations, is beneficial for both parallel machines and uniprocessors with ...

• 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): Hossam A. Gabbar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Chemistry - Physical & TheoreticalFormal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems c...