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
- Anson Street Press
- Apress
- Auerbach Publications
- Authorhouse UK
- Bayya
- Bibliogov
- Biblioscholar
- Bloomsbury
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Booksurge Publishing
- Bottom of the Hill Publishing
- Brill Nijhoff
- British Library, Historical Print Editions
- Cab International
- CABI
- Cambridge University Press
- Cambridge UP
- 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
- College Board
- College Publications
- Continuum
- Coronat Services, LLC
- Corwin Publishers
- Course Technology
- CRC Press
- Createspace Independent Publishing Platform
- Dagger and Scythe
- Diplomica Verlag
- Dot Edu
- Duke University Press
- Edicoes Nosso Conhecimento
- 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
- Fairchild
- Felix Meiner
- Firefly Books
- 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
- Hansebooks
- Hassell Street Press
- Hutson Street Press
- I/O Press
- IGI Global
- In Easy Steps
- Independently Published
- Indiana University Press (Ips)
- Industrial Press
- Information Age Publishing
- Information Science Reference
- Jaypee Brothers Medical Publishers
- Jcm Test Preparation Group
- Jem-Brm, LLC
- John Smiley Publishing
- John Wiley & Sons
- John Wiley & Sons Inc
- Jones & Bartlett Publishers
- Jossey-Bass
- 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
- Anson Street Press
- Apress
- Auerbach Publications
- Authorhouse UK
- Bayya
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Blurb
- CABI
- Cambridge University Press
- Chapman and Hall/CRC
- Charles M Dominquez
- Cognella Academic Publishing
- Corwin Publishers
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- de Gruyter
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Edizioni Sapienza
- For Dummies
- Gale Ecco, Making of Modern Law
- Gale Ecco, Print Editions
- Greenwood
- Greenwood Press
- Grin Verlag
- Hansebooks
- Hassell Street Press
- Hutson Street Press
- Independently Published
- John Smiley Publishing
- Kaplan Publishing
- Kessinger Publishing
- LAP Lambert Academic Publishing
- Learning Matters
- Legare Street Press
- Literary Licensing, LLC
- Lulu.com
- Manning Publications
- McGraw-Hill/Osborne Media
- MIT Press
- Morgan Kaufmann Publishers
- Nabu Press
- Newnes
- No Starch Press
- O'Reilly Media
- Omniscriptum
- Oxford University Press, USA
- Oxford UP
- Packt Publishing
- Palala Press
- Palgrave MacMillan
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Pisces Publishing
- Pragmatic Bookshelf
- Psychology Press
- Read Books
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- Sage Publications, Inc
- Samurai Media Limited
- Softmoore Consulting
- Springer
- Springer Verlag
- Springer Vieweg
- Springer vs
- Tradd Street Press
- Tredition Gmbh
- University of California Press
- University of Texas Press
- VDM Verlag
- VDM Verlag Dr. Mueller E.K.
- Verlag Unser Wissen
- Vieweg+teubner Verlag
- Walter de Gruyter
- Wentworth Press
- Wiley
- Wiley-IEEE Computer Society PR
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- Xlibris
- Computer Science and Information Technology
- Engineering
- Mathematics and Statistics
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Education & Psychology
- English Literature
- Fashion & Textile
- Fisheries & Aquaculture
- General Books
- Library & Information Science
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- A. C. Hartmann
- Adam Freeman
- Adriaan Van Van Wijngaarden
- Afonso Ferreira
- Ahmet Bindal
- Alan Burns
- 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
- Andrew Pitts
- Annabelle McIver
- Anne Mulkers
- Ata Elahi
- Ataeddin Ghassemi-Tabrizi
- Atsushi Igarashi
- Barbara Jobstmann
- Bassam Tabbara
- Bernd Teufel
- Bernhard Bauer
- Björn Franke
- Călin Cașcaval
- C. C. Berg
- 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
- Conor Ryan
- Constantine D. Polychronopoulos
- Cooper Redwine
- D. Hausmann
- D. R. Brough
- D. Sundararajan
- Daoqi Yang
- David A. Watt
- David E. Hudak
- David J. Lilja
- David Naumann
- David R. Brooks
- David R. Musser
- David Sehr
- Derek Beng Kee Kiong
- Dick Grune
- Dieter Hammer
- Felix Winterstein
- Franz W. Gatzweiler
- Gyungho Lee
- Hanspeter Mössenböck
- Helmut Seidl
- Jens Knoop
- Jesus Carretero
- Jingling Xue
- João M. P. Cardoso
- João Manuel Paiva Cardoso
- Joseph Geunes
- Jüri Plado
- Kazuyuki Kanosue
- Ken Naono
- Kim Huynh-Ba
- Klaus Keimel
- Luca Benini
- Massimo Torquati
- Maurice Bruynooghe
- Monica S. Lam
- Neil Jones
- Olivier Danvy
- Pierre Deransart
- Ping-Sheng Tseng
- Rainer Alletsee
- Rainer Leupers
- Reinhard Wilhelm
- Sandeep Koranne
- Seppo Sippu
- Stefano Crespi Reghizzi
- Thomas Fahringer
- Unnikrishnan Cheramangalath
- Utpal Banerjee
Products
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings
Maurice Bruynooghe
Paperback
• Author(s): Maurice Bruynooghe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementa...
View full detailsInstruction Level Parallelism
Alex Aiken
Paperback
• Author(s): Alex Aiken • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureFrom the Back CoverSince its introduction decades ago, Instruction Level Parallelism (ILP) has gradually become ubiquitous and is now featur...
View full detailsCompiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems
Santosh Pande, Dharma P. Agrawal
Paperback
• Author(s): Santosh Pande | Dharma P. Agrawal • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersScalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinat...
View full detailsAda-Europe '93: 12th Ada-Europe International Conference, ADA Sans Frontieres, Paris, France, June 14-18, 1993. Proceedings
Michel Gauthier
Paperback
• Author(s): Michel Gauthier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" ...
View full detailsProgramming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings
Jürg Gutknecht
Paperback
• Author(s): Jürg Gutknecht • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersProgramming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adven...
View full detailsEcoop 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Giuseppe Castagna
Paperback
• Author(s): Giuseppe Castagna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpelli...
View full detailsFoundations of Programming Languages
Lee, Kent D.
Paperback
• Author(s): Lee | Kent D. • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Languages - GeneralFrom the Back CoverThis clearly written textbook provides an accessible intro...
View full detailsThe Modula-2 Software Component Library: Volume 4
Charles Lins
Paperback
• Author(s): Charles Lins • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersSource Code Availability All of the source code found in this volume, and some that is not, is available from the author at a nominal fe...
View full detailsCompiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Softw
Rastislav Bodik
Paperback
• Author(s): Rastislav Bodik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference...
View full detailsAutomatic Tuning of Compilers Using Machine Learning
Amir H. Ashouri
Paperback
• Author(s): Amir H. Ashouri • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book explores break-through approaches to tackling and mitigating the well-known problems of compil...
View full detailsEcoop 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Richard Jones
Paperback
• Author(s): Richard Jones • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Swed...
View full detailsProgramming Languages and Systems: 21st Asian Symposium, Aplas 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Chung-Kil Hur
Paperback
• Author(s): Chung-Kil Hur • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei...
View full detailsSoftware Automatic Tuning: From Concepts to State-Of-The-Art Results
Ken Naono
Hardcover
• Author(s): Ken Naono • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverSoftware Automatic Tuning: From Concepts to State-of-the-Art Results Ken Naono Keita Teranishi John Cavazos Rei...
View full detailsModular Programming Languages: Joint Modular Languages Conference, Jmlc'97 Linz, Austria, March 19-21, 1997, Proceedings
Hanspeter Mössenböck
Paperback
• Author(s): Hanspeter Mössenböck • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held...
View full detailsFoundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990
J. W. De Bakker, W. P. De Roever, G. Rozenberg
Paperback
• Author(s): J. W. De Bakker | W. P. De Roever | G. Rozenberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersObject-oriented programming is the best way currently available of structuring software systems. This volume prese...
View full detailsComposability, Comprehensibility and Correctness of Working Software: 8th Summer School, Cefp 2019, Budapest, Hungary, June 17-21, 2019, Revised Selec
Zoltán Porkoláb
Paperback
• Author(s): Zoltán Porkoláb • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, ...
View full detailsFunktionale Und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken
Wolfram-Manfred Lippe
Hardcover
• Author(s): Wolfram-Manfred Lippe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralSeit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter...
View full detailsDeclarative Programming and Knowledge Management: Conference on Declarative Programming, Declare 2019, Unifying Inap, Wlp, and Wflp, Cottbus, Germany,
Petra Hofstedt
Paperback
• Author(s): Petra Hofstedt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programm...
View full detailsCorrect System Design: Recent Insights and Advances
Ernst-Rüdiger Olderog, Bernhard Steffen
Paperback
• Author(s): Ernst-Rüdiger Olderog | Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiComputers are gaining more and more control over systems that w...
View full detailsFunktionale Programmierung: In Opal, ML, Haskell Und Gofer
Peter Pepper
Paperback
• Author(s): Peter Pepper • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersKompakte Einf�hrung in Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Mathematisch fundiert werden die theoretisc...
View full details
Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping
Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping
David E. Hudak
Paperback
• Author(s): David E. Hudak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhe...
View full detailsCompiler Specification and Verification
W. Polak
Paperback
• Author(s): W. Polak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - General
Object-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 detailsSeparation Logic for High-Level Synthesis
Felix Winterstein
Hardcover
• 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 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 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 detailsLanguages and Compilers for Parallel Computing: 8th International Workshop, Columbus, Ohio, Usa, August 10-12, 1995. Proceedings
Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee
Paperback
• Author(s): Chua-Huang Huang | Ponnuswamy Sadayappan | Utpal Banerjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for ...
View full detailsStatic Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Kwangkeun Yi
Paperback
• Author(s): Kwangkeun Yi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revise...
View full detailsLanguages and Compilers for Parallel Computing: 5th International Workshop, New Haven, Connecticut, Usa, August 3-5, 1992. Proceedings
Utpal Banerjee, David Gelernter, Alex Nicolau
Paperback
• Author(s): Utpal Banerjee | David Gelernter | Alex Nicolau • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe articles in this volume are revised versions of the best papers presented at the Fifth Workshop on Languages an...
View full detailsStatic Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
Andreas Podelski
Paperback
• Author(s): Andreas Podelski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germ...
View full detailsSoftware Engineering 2: Specification of Systems and Languages
Dines Bjørner
Hardcover
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics a...
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 detailsTrends in Functional Programming: 12th International Symposium, Tfp 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Ricardo Peña, Rex Page
Paperback
• Author(s): Ricardo Peña | Rex Page • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Progr...
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 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 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 details