Filters
- Springer
- Springer Verlag
- 12th Media Services
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- Alan Grid
- Ambrosius Publishing
- American Bible Society
- Anchor Academic Publishing
- 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
- Chinese University of Hong Kong Press
- Clemson University Press W/ Lup
- Clube de Autores
- Cognella Academic Publishing
- Coherent Press
- College Board
- College Publications
- Coronat Services, LLC
- Corwin Publishers
- Course Technology
- CRC Press
- Createspace Independent Publishing Platform
- Dagger and Scythe
- Diplomica Verlag
- Dot Edu
- 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
- 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
- HP Publishing (UK) Ltd
- Hutson Street Press
- I/O Press
- In Easy Steps
- Independently Published
- Indiana University Press (Ips)
- Industrial Press
- Information Age Publishing
- Information Science Reference
- Jaypee Brothers Medical Publishers
- Jem-Brm, LLC
- John Smiley Publishing
- John Wiley & Sons
- John Wiley & Sons Inc
- Jones & Bartlett Publishers
- Jossey-Bass
- Kaplan Publishing
- Kendall/Hunt Publishing Co ,U.S.
- 12th Media Services
- A K PETERS
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- Alan Grid
- Ambrosius Publishing
- American Bible Society
- Anchor Academic Publishing
- Anson Street Press
- Apress
- Auerbach Publications
- Authorhouse UK
- Bayya
- Bibliogov
- Biblioscholar
- Birkhauser
- 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
- Cambridge University Press
- Cengage Learning India
- Centre for Addiction and Mental Health
- Chandos Publishing
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Chinese University of Hong Kong Press
- Clemson University Press W/ Lup
- Clube de Autores
- 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
- Greenwood Press
- Grin Verlag
- Hutson Street Press
- In Easy Steps
- Independently Published
- John Smiley Publishing
- Jossey-Bass
- Kessinger Publishing
- Ladoo Publishing LLC
- LAP Lambert Academic Publishing
- Learning Matters
- Legare Street Press
- Lulu.com
- Manning Publications
- MIT Press
- Nabu Press
- No Starch Press
- O'Reilly Media
- Omniscriptum
- Packt Publishing
- Palala Press
- Palgrave MacMillan
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Pisces Publishing
- Pragmatic Bookshelf
- Psychology Press
- Robert Campbell
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- SAGE Publications Ltd
- Saint Philip Street Press
- Samurai Media Limited
- SAS Institute
- Softmoore Consulting
- Springer
- University of California 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
- Computer Science and Information Technology
- Engineering
- Mathematics and Statistics
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Economics
- Education & Psychology
- English Literature
- Food Science & Technology
- General Books
- Health, Physical Fitness and Yoga
- Library & Information Science
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- 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
- Conor Ryan
- 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
- Dumitru Potop-Butucaru
- Edmund Clarke
- Eiiti Wada
- Einar Smith
- Gagniuc
- Hanspeter Mössenböck
- Hossam A. Gabbar
- Jesus Carretero
- Jingling Xue
- João Manuel Paiva Cardoso
- Kazuyuki Kanosue
- Lubomir Bic
- Mads Tofte
- Manuel Hohenauer
- Neil Jones
- Partha Pratim Pande
- Pierre Deransart
- Rainer Leupers
- Ralf Hinze
- Reinhard Wilhelm
- Swapnajit Mittra
- Thomas Fahringer
- Utpal Banerjee
Products
Pro Go
Adam Freeman
Paperback
• Author(s): Adam Freeman • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Programming - Open SourceFrom the Back CoverBest-selling author Adam Freeman explains how to get ...
View full detailsHigher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected
Jan Heering, Karl Meinke, Bernhard Möller
Paperback
• 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...
View full detailsModern Full-Stack Development: Using Typescript React Node.Js Webpack Python Django and Docker
Zammetti, Frank
Paperback
• Author(s): Zammetti | Frank • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Internet - Web ProgrammingExplore what React, Node, Python, Django, TypeScript, Webpack, and ...
View full detailsAssembler II: Ein Lernprogramm
Rainer Alletsee, Konrad Zuse, Horst Jung
Paperback
• 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...
View full detailsAssembler I: Ein Lernprogramm
Rainer Alletsee, Konrad Zuse, Horst Jung
Paperback
• Author(s): Rainer Alletsee | Konrad Zuse | Horst Jung • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General
Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Irregular '95, Lyon, France, September 4 - 6, 1995. Proceeding
Afonso Ferreira, Jose Rolim
Paperback
• 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 ...
View full detailsDistributed, Embedded and Real-Time Java Systems
M. Teresa Higuera-Toledano
Hardcover
• Author(s): M. Teresa Higuera-Toledano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFrom the Back CoverResearch on real-time Java technology has been prolific over the past decade, leading to...
View full detailsSoftware Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th International Workshop, N
Roderick Bloem
Paperback
• 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...
View full detailsDesigning Mobile Robot Interfaces with 16-Bit Microchip Microcontrollers
Ahmet Bindal
Hardcover
• 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...
View full detailsExtreme-Scale Computing: A Practical Introduction with C++
Raymond J. Spiteri, Kyle Klenk
Hardcover
• 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 ...
View full detailsVerification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi
Paperback
• 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...
View full detailsConstraint Solving and Planning with Picat
Neng-Fa Zhou
Paperback
• Author(s): Neng-Fa Zhou • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book introduces a new logic-based multi-paradigm programming language that integrates logic programmin...
View full detailsEuro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 20
José Cano
Paperback
• 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, ...
View full detailsTermersetzungssysteme: Grundlagen Der Prototyp-Generierung Algebraischer Spezifikationen
Klaus Drosten
Paperback
• 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...
View full detailsHigh Performance Embedded Architectures and Compilers: Third International Conference, Hipeac 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
Per Stenström
Paperback
• 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 ...
View full detailsThe Programming Language ADA: Reference Manual. Proposed Standard Document United States Department of Defense
Kenneth A. Loparo, CII Honeywell Bull
Paperback
• 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...
View full detailsDomains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Klaus Keimel
Paperback
• 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...
View full detailsAssembler III: Ein Lernprogramm
Rainer Alletsee, Konrad Zuse, Horst Jung
Paperback
• 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...
View full detailsInteger Programming and Related Areas: A Classified Bibliography 1984-1987 Compiled at the Institut Für Ökonometrie and Operations Research, Universit
Rabe V. Randow
Paperback
• 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...
View full detailsReflections on the Work of C.A.R. Hoare
Cliff B. Jones
Paperback
• 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 ...
View full detailsReflections on the Work of C.A.R. Hoare
Cliff B. Jones
Hardcover
• 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 ...
View full detailsAdaptive Information Processing: An Introductory Survey
Jeffrey R. Sampson
Paperback
• Author(s): Jeffrey R. Sampson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersThis book began as a series of lecture notes for a course called Introduc- tion to Adaptive Systems which I developed for undergra...
View full detailsDesigning Embedded Processors: A Low Power Perspective
Jörg Henkel
Hardcover
• Author(s): Jörg Henkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverAs we embrace the world of personal, portable, and perplexingly complex digital systems, it has befallen upon...
View full detailsModern Formal Methods and Applications
Hossam A. Gabbar
Paperback
• 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...
View full detailsGuide to RISC Processors: For Programmers and Engineers
Sivarama P. Dandamudi
Hardcover
• Author(s): Sivarama P. Dandamudi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceHere is an accessible, comprehensive guide to all the popular modern RISC (Reduced Instruction Set Computer) processors: MIPS, SPARC, ...
View full detailsModern Formal Methods and Applications
Hossam A. Gabbar
Hardcover
• 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...
View full detailsWriting Testbenches: Functional Verification of Hdl Models
Janick Bergeron
Paperback
• Author(s): Janick Bergeron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilersmental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a s...
View full detailsDomains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Klaus Keimel
Hardcover
• 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...
View full detailsArm Assembly Language with Hardware Experiments
Ata Elahi
Paperback
• Author(s): Ata Elahi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides a hands-on approach to learning ARM assembly language with the use of a TI microcontroller. ...
View full detailsIntroduction to the Tools of Scientific Computing
Einar Smith
Hardcover
• Author(s): Einar Smith • Publisher: Springer • Publisher Imprint: Springer • BISAC: Counting & NumerationFrom the Back CoverThe book provides an introduction to common programming tools and methods in numerical mathematics and scientific co...
View full detailsData Management for Mobile Computing
Evaggelia Pitoura
Paperback
• Author(s): Evaggelia Pitoura • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersEarth date, August 11, 1997 "Beam me up Scottie!" "We cannot do it! This is not Star Trek's Enterprise. This is early years Earth."...
View full detailsTechnology of Object-Oriented Languages, Systems and Architectures
Theo D'Hondt
Hardcover
• Author(s): Theo D'Hondt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedTOOLS Eastern Europe 2002 was the third annual conference on the technology of object-oriented languages and systems. It was held ...
View full detailsThe Ada(r) Generic Library: Linear List Processing Packages
David R. Musser
Paperback
• Author(s): David R. Musser • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software p...
View full detailsEye-Tracking with Python and Pylink
Zhiguo Wang
Hardcover
• Author(s): Zhiguo Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Cognitive Psychology & CognitionFrom the Back CoverSeveral Python programming books feature tools designed for experimental psychologists. What sets this bo...
View full detailsLoop Tiling for Parallelism
Jingling Xue
Hardcover
• 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 ...
View full detailsLoop Tiling for Parallelism
Jingling Xue
Paperback
• Author(s): Jingling Xue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureLoop tiling, as one of the most important compiler optimizations, is beneficial for both parallel machines and uniprocessors with a memory...
View full details