Filters
- Springer
- Springer Verlag
- 12th Media Services
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- ALA Editions
- Alan Grid
- Ambrosius Publishing
- American Bible Society
- Anchor Academic Publishing
- Anson Street Press
- Apress
- ASTD
- Auerbach Publications
- Authorhouse UK
- Bayya
- Berghahn Books
- Bibliogov
- Biblioscholar
- Bloom Books
- Bloomsbury
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Booksurge Publishing
- Bottom of the Hill Publishing
- Bpb Publications
- Brill Nijhoff
- British Library, Historical Print Editions
- Cab International
- CABI
- Cambridge University Press
- Cambridge UP
- Canongate Books
- Cengage Learning India
- Centre for Addiction and Mental Health
- Chandos Publishing
- Charles M Dominquez
- Clemson University Press W/ Lup
- Clube de Autores
- Cognella Academic Publishing
- Coherent Press
- College Board
- College Publications
- Cornell University Press
- Coronat Services, LLC
- Corwin Publishers
- Course Technology
- CRC Press
- Createspace Independent Publishing Platform
- Dagger and Scythe
- Diplomica Verlag
- Dorling Kindersley Ltd
- Dot Edu
- Edicoes Nosso Conhecimento
- Edinburgh University Press
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Edizioni Sapienza
- Efren Cronin
- Eldonusa
- Elijah Lewis
- Eliva Press
- Elsevier
- Elsevier Science
- Emerald Publishing Limited
- Engineering Science Reference
- Eyrolles Group
- F. A. Davis Company
- Facsimile Publisher
- Felix Meiner
- For Dummies
- Fordham University Press
- Future Horizons
- Gale Ecco, Making of Modern Law
- Gale Ecco, Print Editions
- Gale Ecco, Sabin Americana
- Genever Benning
- Giddy Up Mikey
- Globeedit
- Greenwood
- Greenwood Press
- Grin Verlag
- Grove Atlantic
- Hansebooks
- HarperCollins Publishers
- Harvard Business Review
- Hassell Street Press
- Hay House
- HP Publishing (UK) Ltd
- Hutson Street Press
- I/O Press
- Ibidem Press
- In Easy Steps
- Independently Published
- Indiana University Press (Ips)
- 12th Media Services
- A K PETERS
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- ALA Editions
- Alan Grid
- Ambrosius Publishing
- American Bible Society
- Anchor Academic Publishing
- Anson Street Press
- Apress
- ASTD
- Atlantic
- Auerbach Publications
- Authorhouse UK
- Bayya
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloom Books
- Bloomsbury
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Booksurge Publishing
- Bottom of the Hill Publishing
- Bpb Publications
- Brill Nijhoff
- British Library, Historical Print Editions
- Cab International
- CABI
- CABI Publishing
- Cambridge
- Cambridge University Press
- Canongate Books
- Cengage Learning India
- Centre for Addiction and Mental Health
- Chandos Publishing
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Cognella Academic Publishing
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- de Gruyter
- Edicoes Nosso Conhecimento
- Edizioni Sapienza
- Greenwood
- Greenwood Press
- Grin Verlag
- Hansebooks
- Hutson Street Press
- Independently Published
- Kessinger Publishing
- LAP Lambert Academic Publishing
- Learning Matters
- Legare Street Press
- Lulu.com
- MC Press
- MIT Press
- Morgan Kaufmann Publishers
- Nabu Press
- Newnes
- No Starch Press
- Omniscriptum
- Packt Publishing
- Palala Press
- Palgrave MacMillan
- Pearson
- Pearson Education Limited
- Pisces Publishing
- Pragmatic Bookshelf
- Psychology Press
- Robert Campbell
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- SAGE Publications Ltd
- Samurai Media Limited
- SAS Institute
- Softmoore Consulting
- Springer
- Springer Vieweg
- Tredition Gmbh
- University of California Press
- VDM Verlag
- VDM Verlag Dr. Mueller E.K.
- Verlag Unser Wissen
- Vieweg+teubner Verlag
- Wentworth Press
- Wiley
- World Scientific Publishing Company
- Xlibris
- Computer Science and Information Technology
- Engineering
- Mathematics and Statistics
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Creative Writing, Fiction
- Economics
- Education & Psychology
- English Literature
- Fisheries & Aquaculture
- General Books
- Health, Physical Fitness and Yoga
- Library & Information Science
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- A. C. Hartmann
- Adam Freeman
- Afonso Ferreira
- Ahmet Bindal
- Alan Mycroft
- Alastair Donaldson
- Albert Cohen
- Alberto Pettorossi
- Aleksander Byrski
- Alex Aiken
- Alex Potanin
- Alexander Meduna
- Alexandru-Petru Tanase
- Alexis Espinosa
- Alfred Strohmeier
- Allen Holder
- Amir H. Ashouri
- Ana Moreira
- Anca Muscholl
- Andreas Krall
- Andreas Podelski
- Andrei Voronkov
- Andrew Pitts
- Annabelle McIver
- Anne Mulkers
- Ata Elahi
- Ataeddin Ghassemi-Tabrizi
- Atsushi Igarashi
- Barbara Jobstmann
- Beningo, Jacob
- Bernd Teufel
- Bernhard Bauer
- Björn Franke
- Boleslaw K. Szymanski
- Bor-Yuh Evan Chang
- Călin Cașcaval
- C. C. Berg
- Carlos Canal
- Charith Mendis
- Charles Lins
- Chen Ding
- Chi-Ming Lam
- Chris Clack
- Chris Hankin
- Chris R. Jesshope
- Christopher Kormanyos
- Chua-Huang Huang
- Chung-Kil Hur
- Claus Sorensen
- Clemens Heitzinger
- Cliff B. Jones
- Clifford Liem
- Constantine D. Polychronopoulos
- D. Hausmann
- D. R. Brough
- D. Sundararajan
- Daniel Thalmann
- Daoqi Yang
- David A. Watt
- David E. Hudak
- David G. Schwartz
- David J. Lilja
- David Naumann
- David O'Hallaron
- David R. Brooks
- David R. Musser
- David Sehr
- Deepak D'Souza
- Derek Beng Kee Kiong
- Des Watson
- Diana Schmidt
- Dick Grune
- Dieter Hammer
- Dieter Maurer
- Dines Bjørner
- Dirk Draheim
- Dirk Koch
- Dominic Orchard
- Dumitru Potop-Butucaru
- Edmund Clarke
- Eiiti Wada
- Einar Smith
- Elfriede Fehr
- Elizabeth A. Calhoun
- Enno Ohlebusch
- Erich W. Schmid
- Ernst-Rüdiger Olderog
- Esra Erdem
- Evan Tick
- Evelyn Duesterwald
- Gagniuc
- Hanspeter Mössenböck
- Kim Huynh-Ba
- Lubomir Bic
- Massimo Torquati
- Ralf Hinze
- Thomas Fahringer
- Tommy M. McGuire
- Utpal Banerjee
- Wolfgang E. Nagel
Products
Logic Grammars
Harvey Abramson
Paperback
• Author(s): Harvey Abramson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralLogic grammars have found wide application both in natural language processing and in formal applications such as compiler ...
View full detailsSeparation Logic for High-Level Synthesis
Felix Winterstein
Paperback
• Author(s): Felix Winterstein • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book presents novel compiler techniques, which combine a rigorous mathematical framework, novel pr...
View full detailsImplementation of Functional Languages: 12th International Workshop, Ifl 2000 Aachen, Germany, September 4-7, 2000. Selected Papers
Markus Mohnen
Paperback
• Author(s): Markus Mohnen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe International Workshops on Implementation of Functional Languages (IFL) are a tradition that has lasted for over a decade. The aim ...
View full detailsObjektorientierte Programmierung in Oberon-2
Hanspeter Mössenböck, N. Wirth
Paperback
• Author(s): Hanspeter Mössenböck | N. Wirth • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDer Autor führt den Leser von den Grundlagen objektorientierter Programmierung über Entwurfs...
View full detailsFoundations of Software Science and Computation Structures: 17th International Conference, Fossacs 2014, Held as Part of the European Joint Conference
Anca Muscholl
Paperback
• Author(s): Anca Muscholl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structure...
View full detailsParsing Techniques: A Practical Guide
Dick Grune
Hardcover
• Author(s): Dick Grune • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverParsing, also referred to as syntax analysis, has been and continues to be an essential part o...
View full detailsGI -- 9. Jahrestagung: Bonn, 1.-5. Oktober 1979
K. H. Böhling, P. P. Spies
Paperback
• Author(s): K. H. Böhling | P. P. Spies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceIn the field of programming language description, it is widely accepted that van-Wi1ngaarden grammars (vWGs, [Ba72), [A68R) prov...
View full detailsSupercomputing
Janusz S. Kowalik
Paperback
• Author(s): Janusz S. Kowalik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - Mainframes & MinicomputersThis book is a collection of papers presented at a NATO Advanced Research Workshop (ARW) on supercomputing. Resea...
View full detailsCompiler Construction: 7th International Conference, Cc'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, Eta
Kai Koskimies
Paperback
• Author(s): Kai Koskimies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, C...
View full detailsObject-Oriented Programming in Oberon-2
R. Bach
Paperback
• Author(s): R. Bach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverObject-oriented programming (OOP) tends to improve software quality by promoting structure, extensibility, and reusa...
View full detailsFunctional Programming Languages in Education: 1st International Symposium Fple '95 Nijmegen, the Netherlands, December 4-6, 1995. Proceedings
Pieter Hartel
Paperback
• Author(s): Pieter Hartel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Educ...
View full detailsUnifying Theories of Programming: 7th International Symposium, Utp 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal
Pedro Ribeiro
Paperback
• Author(s): Pedro Ribeiro • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, ...
View full detailsTrends in Functional Programming: 15th International Symposium, Tfp 2014, Soesterberg, the Netherlands, May 26-28, 2014. Revised Selected Papers
Jurriaan Hage
Paperback
• Author(s): Jurriaan Hage • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends ...
View full detailsAn Introduction to HTML and JavaScript: For Scientists and Engineers
David R. Brooks
Paperback
• Author(s): David R. Brooks • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThe JavaScript language is widely used for simple online applications. This useful book presents HTML and JavaScri...
View full detailsComputer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September
Julian Bradfield
Paperback
• Author(s): Julian Bradfield • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the Universit...
View full detailsImplementation and Application of Functional Languages: 24th International Symposium, Ifl 2012, Oxford, Uk, August 30 - September 1, 2012, Revised Sel
Ralf Hinze
Paperback
• Author(s): Ralf Hinze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application o...
View full detailsPharmaceutical Stability Testing to Support Global Markets
Kim Huynh-Ba
Hardcover
• Author(s): Kim Huynh-Ba • Publisher: Springer • Publisher Imprint: Springer • BISAC: PharmacologyThe International Conference of Harmonization (ICH) has worked on har- nizing the stability regulations in the US, Europe, and Japan since the earl...
View full detailsModern Compiler Design
Dick Grune
Paperback
• Author(s): Dick Grune • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Architecture"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By...
View full detailsProgramming Languages and Systems: 23rd Asian Symposium, Aplas 2025, Bengaluru, India, October 27-30, 2025, Proceedings
Alex Potanin
Paperback
• Author(s): Alex Potanin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, I...
View full detailsStatic Analysis: 12th International Symposium, SAS 2005, London, Uk, September 7-9, 2005, Proceedings
Chris Hankin
Paperback
• Author(s): Chris Hankin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralStatic analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionall...
View full detailsCompiler Construction: 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Softw
Görel Hedin
Paperback
• Author(s): Görel Hedin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, ...
View full detailsEmbedded System Design with the Atmel AVR Microcontroller I
Steven Barrett
Paperback
• Author(s): Steven Barrett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis textbook provides practicing scientists and engineers an advanced treatment of the Atmel AVR microcontroller. This book ...
View full detailsLive Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Anne Mulkers
Paperback
• Author(s): Anne Mulkers • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersA common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The avai...
View full detailsLanguages, Compilers and Run-Time Systems for Scalable Computers
Boleslaw K. Szymanski
Paperback
• Author(s): Boleslaw K. Szymanski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureLanguage, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third wo...
View full detailsTrends in Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers
Viktória Zsók
Paperback
• Author(s): Viktória Zsók • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programm...
View full detailsCompiler Construction: 4th International Conference, CC '92, Paderborn, Frg, October 5-7, 1992. Proceedings
Uwe Kastens, Peter Pfahler
Paperback
• Author(s): Uwe Kastens | Peter Pfahler • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the a...
View full detailsProgramming Languages and Systems: 12th Asian Symposium, Aplas 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Jacques Garrigue
Paperback
• Author(s): Jacques Garrigue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Sin...
View full detailsGuide to Html, JavaScript and PHP: For Scientists and Engineers
David R. Brooks
Paperback
• 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 ...
View full detailsEssential VB .Net Fast
John Cowell
Paperback
• Author(s): John Cowell • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersDevelop applications for Windows and the Web fast, using VB .NET.
Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers
Aleksander Byrski
Paperback
• Author(s): Aleksander Byrski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, ...
View full detailsUnifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Revised Selected Papers
David Naumann
Paperback
• Author(s): David Naumann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held i...
View full detailsEcoop 2011--Object-Oriented Programming: 25th European Conference. Lancaster, Uk, July 25-29, 2011, Proceedings
Mira Mezini
Paperback
• Author(s): Mira Mezini • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in Ju...
View full detailsCode Optimization Techniques for Embedded Processors: Methods, Algorithms, and Tools
Rainer Leupers
Paperback
• Author(s): Rainer Leupers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMThe building blocks of today's and future embedded systems are complex intellectual property components, or cores, many...
View full detailsAdvanced Debugging Methods
Raimondas Lencevicius
Hardcover
• Author(s): Raimondas Lencevicius • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersObject relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to viola...
View full detailsStatic Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Manuel V. Hermenegildo
Paperback
• Author(s): Manuel V. Hermenegildo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbo...
View full detailsProgramming Languages and Systems: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Xinyu Feng
Paperback
• Author(s): Xinyu Feng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, S...
View full details