Filters
- 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
- ASTD
- Auerbach Publications
- Authorhouse UK
- Berghahn Books
- Bibliogov
- CABI
- Cambridge University Press
- Clemson University Press W/ Lup
- Cognella Academic Publishing
- Corwin Publishers
- CRC Press
- Createspace Independent Publishing Platform
- de Gruyter
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Edizioni Sapienza
- Elsevier Science
- For Dummies
- Gale Ecco, Making of Modern Law
- Gale Ecco, Print Editions
- Greenwood
- Greenwood Press
- Grin Verlag
- Hansebooks
- Hassell Street Press
- Hutson Street Press
- In Easy Steps
- Independently Published
- Kessinger Publishing
- Ladoo Publishing LLC
- LAP Lambert Academic Publishing
- Learning Matters
- Legare Street Press
- Literary Licensing, LLC
- Lulu.com
- Manning Publications
- MC Press
- McGraw-Hill Education
- McGraw-Hill/Osborne Media
- MIT Press
- Morgan Kaufmann Publishers
- Nabu Press
- No Starch Press
- O'Reilly Media
- Omniscriptum
- Oxford University Press
- Oxford UP
- Packt Publishing
- Palala Press
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Pisces Publishing
- Pragmatic Bookshelf
- Psychology Press
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- SAGE Publications Ltd
- Sage Publications, Inc
- Sagwan Press
- Saint Philip Street Press
- Samurai Media Limited
- Softmoore Consulting
- Springer
- Springer Verlag
- Springer Vieweg
- Springer vs
- T&F
- Taylor & Francis
- Taylor & Francis Group
- Tradd Street Press
- Tredition Gmbh
- University of California Press
- University of Texas Press
- VDM Verlag
- VDM Verlag Dr. Mueller E.K.
- Verlag Unser Wissen
- Via Etenea Ltd
- Vieweg+teubner Verlag
- Walter de Gruyter
- Wentworth Press
- Wiley
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- Xlibris
- 12th Media Services
- A K PETERS
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- ALA Editions
- Alan Grid
- Anson Street Press
- Apress
- ASTD
- Auerbach Publications
- Berghahn Books
- Bibliogov
- Birkhauser
- CABI
- Cambridge University Press
- Chapman and Hall/CRC
- Clemson University Press W/ Lup
- Cognella Academic Publishing
- Corwin Publishers
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- de Gruyter
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Edizioni Sapienza
- Elsevier Science
- For Dummies
- Gale Ecco, Making of Modern Law
- Gale Ecco, Print Editions
- Greenwood
- Greenwood Press
- Grin Verlag
- Hansebooks
- Hassell Street Press
- Hutson Street Press
- In Easy Steps
- Independently Published
- Kessinger Publishing
- Ladoo Publishing LLC
- LAP Lambert Academic Publishing
- Learning Matters
- Legare Street Press
- Literary Licensing, LLC
- Lulu.com
- Manning Publications
- MC Press
- McGraw-Hill Education
- McGraw-Hill/Osborne Media
- MIT Press
- Morgan Kaufmann Publishers
- Nabu Press
- No Starch Press
- O'Reilly Media
- Omniscriptum
- Oxford University Press
- Oxford UP
- Packt Publishing
- Palala Press
- Palgrave MacMillan
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Pisces Publishing
- Pragmatic Bookshelf
- Psychology Press
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- SAGE Publications Ltd
- Sage Publications, Inc
- Sagwan Press
- Saint Philip Street Press
- Samurai Media Limited
- Softmoore Consulting
- Springer
- Springer Verlag
- Springer Vieweg
- Springer vs
- Taylor & Francis
- Tradd Street Press
- Tredition Gmbh
- University of California Press
- University of Texas Press
- VDM Verlag
- VDM Verlag Dr. Mueller E.K.
- Verlag Unser Wissen
- Via Etenea Ltd
- Vieweg+teubner Verlag
- Walter de Gruyter
- Wentworth Press
- Wiley
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- Xlibris
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Computer Science and Information Technology
- Education & Psychology
- Engineering
- Fisheries & Aquaculture
- General Books
- Health, Physical Fitness and Yoga
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Chemistry
- English Literature
- Writing/Research Methods
- A. Antony Prakash
- Alan Grid
- Alexandru-Petru Tanase
- Alison Desimone
- Amal Ahmed
- Amara Hawthorn
- Andrew W. Appel
- Andy Vickler
- Anonymous
- Anthony J. Dos Reis
- Aristides Bouras
- Ashel Green Fairchild
- Ata Elahi
- C. Wade Savage
- Calvin Noyes Kendall
- Charles Lins
- Christian Wagenknecht
- Chuck Hellebuyck
- Cliff B. Jones
- Clifford Liem
- Clinton L. Jeffery
- Committee on International Relations
- David E. Hudak
- David R. Brooks
- Derek Beng Kee Kiong
- Dick Grune
- Dieter Hammer
- Dirk Draheim
- Dirk Koch
- Douglas Thain
- Edmund V. Starrett
- Edward Black Greenshields
- Edward Steere
- Enno Ohlebusch
- Ethan B. Carter
- Felix Winterstein
- Flemming Nielson
- Franz W. Gatzweiler
- Fritz Henglein
- Gary T. Leavens
- Gcc Dev Community
- Gcc Development Community
- Gcc Documentation Team
- Gedare Bloom
- Georg P. Loczewski
- Gerd Harbeck
- Gerhard Paulin
- Gyungho Lee
- Hanspeter Mössenböck
- Harvey Abramson
- Helen Sillitoe
- Helmut Seidl
- Herbert Kuchen
- Herbert Schildt
- Irini A. Stamatoudi
- J. Roger Hindley
- James MacKenzie
- James Ram
- James RAM
- Jean-Francois Collard
- Jean-Michel Muller
- Jeffrey B. Scott
- Jens Knoop
- Jeremy G. Siek
- Jesus Carretero
- Jingling Xue
- João M. P. Cardoso
- João Manuel Paiva Cardoso
- John I. Moore
- John W. McCormick
- Joseph Geunes
- Juergen Pintaske
- Jüri Plado
- Kazuyuki Kanosue
- Ken Naono
- Kenneth A. Loparo
- Kevin Hammond
- Kim Huynh-Ba
- L. L. Bumgarner
- Leandro Silva de Paula
- Lee A. Westberry
- Leen Ammeraal
- Lewis Morris
- Lin Heng Lye
- Louis S. Schafer
- Lubomir Bic
- Luca Benini
- Manuel Hohenauer
- Margaret Wan
- María José Rodrigo
- Martin C. Morales
- Matthew D. Passmore
- Maurice Bruynooghe
- Praveen Gupta
- Rainer Leupers
- Reinhard Wilhelm
- Residency Guide
- Sajid Kunhabdulla
- Utpal Banerjee
- William Brown
Products
Static 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 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 detailsC++: C++ Performance Coding
Andy Vickler
Paperback
• Author(s): Andy Vickler • Publisher: Ladoo Publishing LLC • Publisher Imprint: Ladoo Publishing LLC • BISAC: Programming - GamesDiscover the tactics to unleash your code to its full potential. Learn how you can avoid spending hours on compilati...
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 detailsCompiler Design
Chattopadhyay Santanu
Paperback
• Author(s): Chattopadhyay Santanu • Publisher: PHI Learning Pvt Ltd • Publisher Imprint: PHI Learning Pvt LtdToday, enzyme technology, amalgamating enzymology with biotechnology, has become a household name in practically all branches of the con...
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 detailsObject Oriented C++ for Science and Engineering
Okon H. Akpan
Paperback
• Author(s): Okon H. Akpan • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: GeneralThis book introduces the object oriented programming concepts and demonstrates th...
View full detailsBeginner's Guide to Programming the PIC24/dsPIC33: Using the Microstick and Microchip C Compiler for PIC24 and dsPIC33
Thomas Kibalo
Paperback
• Author(s): Thomas Kibalo • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: Computer EngineeringThomas Kibalo, who has written many articles for Nuts & Volts ma...
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 detailsL'istruzione nel XVII secolo nell'America portoghese
Leandro Silva de Paula
Paperback
• Author(s): Leandro Silva de Paula • Publisher: Edizioni Sapienza • Publisher Imprint: Edizioni Sapienza • BISAC: GeneralQuesto lavoro � una raccolta degli studi sull'istruzione nel XVIII secolo, sviluppati nei programmi di post-laurea in Brasil...
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: 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 detailsReal World OCaml: Functional Programming for the Masses
Anil (University of Cambridge) Madhavapeddy
Paperback
• Author(s): Anil (University of Cambridge) Madhavapeddy • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Languages - GeneralThis fast-moving tutorial introduces you to OCaml, an industrial-strength...
View full detailsDie Microsoft Programmer's Workbench: Arbeiten Mit Dem Microsoft C/C++ Pds 7.0
Thomas Kregeloh
Paperback
• Author(s): Thomas Kregeloh • Publisher: Vieweg+teubner Verlag • Publisher Imprint: Vieweg+teubner Verlag • BISAC: Computer ScienceComputer erleichtern die Arbeit! Hiervon iiberzeugt, beschiiftigen sich Heerscharen von Technikbegeisterten seit v...
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 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 detailsdBASE IV 2.0 Programmer's Reference
Virginia Andersen
Paperback
• Author(s): Virginia Andersen • Publisher: iUniverse • Publisher Imprint: iUniverse • BISAC: Languages - General
Pharmaceutical 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 detailsLearn to Program with Assembly: Foundational Learning for New Programmers
Bartlett, Jonathan
Paperback
• Author(s): Bartlett | Jonathan • Publisher: Springer Verlag • Publisher Imprint: Apress • Subject: Computer Science and Information Technology • BISAC: Computer ScienceMany programmers have limited effectiveness because they don't have a deep u...
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 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 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 detailsC++
Herbert Schildt
Paperback
• Author(s): Herbert Schildt • Publisher: McGraw-Hill Education • Publisher Imprint: McGraw-Hill Education • BISAC: Programming - GeneralPublisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality...
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 detailsSystems Software: Essential Concepts
Eurípides Montagne
Paperback
• Author(s): Eurípides Montagne • Publisher: Cognella Academic Publishing • Publisher Imprint: Cognella Academic Publishing • BISAC: Operating Systems - GeneralSystems Software: Essential Concepts provides students with an accessible introduction...
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 detailsModern C++ for Embedded Systems Development: A Practical Guide to Building Efficient, Scalable, and Maintainable Firmware Using C++17 and C++20
Joel Natty
Paperback
• Author(s): Joel Natty • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Computer ArchitectureBreak free from the limits of C and unlock the true power of modern C++ in embedded systems-without sacrificin...
View full detailsLogic 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 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 detailsCompiler Technology: Tools, Translators and Language Implementation
Derek Beng Kee Kiong
Paperback
• Author(s): Derek Beng Kee Kiong • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralCompiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fac...
View full detailsProgramming For Hybrid Multicore Mpp Systems
John Levesque, Jeff Larkin
Hardcover
• Author(s): John Levesque | Jeff Larkin • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Computer Science and Information Technology • BISAC: Computer Architecture"Ask not what your compiler can do for you, ask what...
View full detailsCompiler Construction: 8th International Conference, Cc'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'9
Stefan Jähnichen
Paperback
• Author(s): Stefan Jähnichen • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that ...
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 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 details