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

• Author(s): Clemens Heitzinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number SystemsFrom the Back CoverThis book provides an introduction to modern topics in scientific computing and machine learning, using JULIA to illustr...

• Author(s): Roland Meyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Profess...

• Author(s): Ian P. Gent • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Cons...

• Author(s): Georges Gonthier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Pr...

• Author(s): D. Hausmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)

• Author(s): Olivier Danvy | Robert Glück | Peter Thiemann • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersPartial Evaluation has reached a point where theory and techniques have matured, substantial systems have been develo...

• Author(s): Herbert Kuchen | Kazunori Ueda • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming, FLOPS2001, heldinTokyo, Japan, Mar...

• Author(s): Mario Tokoro | Oscar Nierstrasz | Peter Wegner • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distribut...

• Author(s): Henk Schepers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A-...

• Author(s): Luca Benini • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralCompilers and Operating Systems for Low Power focuses on both application-level compiler directed energy optimization and low-power o...

• Author(s): Kung-Kiu Lau • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralLogic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be m...

• Author(s): Keith Cooper | John Mellor-Crummey | Vivek Sarkar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the thoroughly refereed post-proceedings of the 23rd International Wo...

• Author(s): Charith Mendis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers fo...

• Author(s): Veljko Milutinovic • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralFrom the Back CoverThis informative text/reference highlights the potential of DataFlow computing in research requiring high s...

• Author(s): Michael Maher • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersConstraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brou...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDie Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darst...

• Author(s): Mary Shaw • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralAlphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'm...

• Author(s): F. L. Bauer | G. Goos • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersNeben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens, die an den Besuch...

• Author(s): Pradeep Singh | Balasubramanian Raman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General

• Author(s): Muhammad Aslam • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical & Statistical Software

• Author(s): Maurizio Proietti • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held i...

• Author(s): S. Eisenbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe material for this book first appeared in the magazine Personal Computer World, as a series of articles which ran from September 1979 to ...

• Author(s): Giesela Engeln-Müllges • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThe book gives an informal introduction to mathematical and computational principles governing numerical analysis, as well ...

• Author(s): David R. Brooks • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverHTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in ...

• Author(s): Alfred Strohmeier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held ...

• Author(s): Carlos Canal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Fo...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conferenc...

• Author(s): Andreas Krall • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in...

• Author(s): Vaskaran Sarcar • Publisher: Springer • Publisher Imprint: Apress • BISAC: Languages - GeneralFrom the Back CoverDiscover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major s...

• Author(s): Peter D. Mosses • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, ...

• Author(s): John Rosenberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProceedings of a workshop on the unification of temporary and permanent objects in computer systems. This yields more powerful and eff...

• Author(s): Partha Pratim Pande • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides a comprehensive guide to the design of sustainable and green computing systems (GS...

• Author(s): C. C. Berg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science

• Author(s): Shaoying Liu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Me...

• Author(s): David O'Hallaron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralIt is a great pleasure to present this collection of papers from LCR '98, the Fourth Workshop on Languages, Compilers, and Run...

• 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 ...