Filters
- A K Peters
- Academic Press
- ACM
- ACM Books
- Addison-Wesley Professional
- Apress
- Artech House Publishers
- Authorhouse
- Bibliogov
- Biblioscholar
- Bod - Books on Demand
- BPB Publications
- Business Science Reference
- Cadcim Technologies
- Cambridge University Press
- Cambridge UP
- Cengage
- Cengage Learning
- Clanrye International
- Cognella Academic Publishing
- CRC Press
- Createspace Independent Publishing Platform
- de Gruyter
- Deutscher Universitatsverlag
- Diplom.de
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Edizioni Sapienza
- Elsevier
- Engineering Science Reference
- Examicus Verlag
- For Dummies
- Gabler Verlag
- Grin Verlag
- Hansebooks
- Hutson Street Press
- IGI Global
- Independently Published
- Information Science Reference
- Intechopen
- iUniverse
- Kessinger Publishing
- Kluwer Law International
- LAP Lambert Academic Publishing
- Legare Street Press
- Lulu.com
- Manning Publications
- McGraw-Hill Education
- Mdpi AG
- Mercury Learning and Information
- MIT Press
- Morgan Kaufmann Publishers
- Nabu Press
- Newnes
- No Starch Press
- Notion Press
- O'Reilly Media
- Omniscriptum
- Our Knowledge Publishing
- Oxford University Press
- Oxford UP
- Packt Publishing
- Palala Press
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Praeger
- Princeton University Press
- Quorum Books
- Rheinwerk Computing
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- Saint Philip Street Press
- Samurai Media Limited
- Springer
- Springer Verlag
- Springer Vieweg
- T&F
- Taylor & Francis
- Taylor & Francis Inc
- Taylor & Francis Ltd
- VDM Verlag
- VDM Verlag Dr. Mueller E.K.
- Verlag Unser Wissen
- Vieweg+teubner Verlag
- Walter de Gruyter
- Wentworth Press
- Wiley
- Wiley-Blackwell
- Wiley-IEEE Computer Society PR
- Wiley-IEEE Press
- Wiley-Interscience
- Wiley-Iste
- Wiley-Scrivener
- Willford Press
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- Apress
- Aspen Publishers
- Atlantis Press
- Birkhauser
- Edizioni Della Normale
- Humana
- Kluwer Academic Publishers
- Not Avail
- Palgrave MacMillan
- Palgrave Pivot
- Physica-Verlag
- Plenum Publishing Corporation
- Springer
- Springer Vieweg
- Springer vs
- Vieweg+teubner Verlag
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apple Acad
- Apple Academic Press
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic
- Atlantic Monthly Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Boydell & Brewer
- BPB Publications
- Computer Science and Information Technology
- Engineering
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Nutrition and Dietetics
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- Adrien Bartoli
- Ahmed Seffah
- Ajith Abraham
- Alberto del Bimbo
- Alexander Heifetz
- Alistair G. Sutcliffe
- Álvaro Rocha
- Andrea Fusiello
- Andrea Vedaldi
- Andreas Holzinger
- Andreas Knüpfer
- Andreas Varga
- Andrew Fitzgibbon
- Arie Gurfinkel
- Armin Biere
- Ata Elahi
- Azizah Abd Manaf
- Bernard P. Zeigler
- Bernd Steinbach
- Bir Bhanu
- Borko Furht
- Christoph Überhuber
- Daisuke Kihara
- David D. Zhang
- David Fleet
- Dieter Gollmann
- Dines Bjørner
- F. L. Bauer
- Fabio Paternò
- G. Jezic
- Gerard O'Regan
- Gordan Jezic
- Haja N. Kadarmideen
- Halimah Badioze Zaman
- Hans Georg Bock
- Hans Petter Langtangen
- Hans-Joachim Bungartz
- Hartmut Ehrig
- Hasso Plattner
- Houbing Song
- Huazhong Liu
- Huchuan Lu
- Ian Stephenson
- Igor Schagaev
- James F. Peters
- James Noble
- Janusz S. Kowalik
- Jasni Mohamad Zain
- Joaquim Filipe
- Joaquin Garcia-Alfaro
- Johann Gasteiger
- John Derrick
- John Krogstie
- John Vince
- Jonathan M. Borwein
- Jonathan P. Bowen
- José Cordeiro
- Jyoti Choudrie
- Kesav V. Nori
- Khaled Elleithy
- Klaus Dette
- Kuinam J. Kim
- Lars Linsen
- Laura Leal-Taixé
- Lazaros S. Iliadis
- Leonid Karlinsky
- Luca Maria Aiello
- Manfred Broy
- Marco Bernardo
- Margarita N. Favorskaya
- Maria Virvou
- Martin Wirsing
- Michael M. Resch
- Miguel Botto-Tobar
- Mike Hinchey
- Murat Yilmaz
- Muthu Ramachandran
- Nadia Magnenat-Thalmann
- Osvaldo Gervasi
- P. K. Kapur
- Paolo Ciancarini
- Patricia Pesado
- Pradeep Kumar Singh
- Radek Silhavy
- Ralf Denzer
- Rituparna Chaki
- Roger Lee
- Roman Wyrzykowski
- Sabine Roller
- Suresh Chandra Satapathy
- Tarek Sobh
- Tiziana Margaria
- Tomonobu Senjyu
- Vasileios Mezaris
- Victor Malyshkin
- Wei Lu
- Weixia Xu
- Wolfgang Schreiner
- Yongtian Wang
- Zaigham Mahmood
Products
Learning Basic Genetics with Interactive Computer Programs
Charles C. Tseng
Paperback
• Author(s): Charles C. Tseng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverLearning Basic Genetics with Interactive Computer Programs is a comprehensive and interactive learning program that focu...
View full detailsIntelligent Interactive Technologies and Multimedia: Second International Conference, Iitm 2013, Allahabad, India, March 9-11, 2013. Proceedings
Anupam Agrawal
Paperback
• Author(s): Anupam Agrawal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis book constitutes the refereed proceedings of the Second International Conference on Intelligen...
View full detailsTools for High Performance Computing 2013: Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2
Andreas Knüpfer, José Gracia, Wolfgang E. Nagel
Hardcover
• Author(s): Andreas Knüpfer | José Gracia | Wolfgang E. Nagel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceCurrent advances in High Performance Computing (HPC) increasingly impact efficient software development wo...
View full detailsPortability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976
W. Cowell
Paperback
• Author(s): W. Cowell • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science
Algebraic Foundations of Systems Specification
Egidio Astesiano
Paperback
• Author(s): Egidio Astesiano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with ...
View full detailsAutomated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Madhavan Mukund
Paperback
• Author(s): Madhavan Mukund • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technol...
View full detailsSoftware Product Management and Pricing: Key Success Factors for Software Organizations
Hans-Bernd Kittlaus
Hardcover
• Author(s): Hans-Bernd Kittlaus • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverSoftware product management and pricing are key success factors for any organization providing software, be it a soft...
View full detailsChallenges for Action Theories
Michael Thielscher
Paperback
• Author(s): Michael Thielscher • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiA logic-based approach to the design of computing systems would, undoubtedly, offer m...
View full detailsCoordination Models and Languages: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Amy L. Murphy
Paperback
• Author(s): Amy L. Murphy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the refereed proceedings of the 9th International Conference on Coor...
View full detailsAn Introductory Guide to Scientific Visualization
Rae Earnshaw
Paperback
• Author(s): Rae Earnshaw • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis volume is intended for readers new to the field and who require a quick and easy-to-read summary...
View full detailsData Science and Algorithms in Systems: Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Radek Silhavy
Paperback
• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book offers real-world data science and algorithm design topics linked to systems and software engineering. Furth...
View full detailsResponsive Computing: A Special Issue of Real-Time Systems the International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
Miroslaw Malek
Paperback
• Author(s): Miroslaw Malek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Business & Productivity Software - Word ProcessingResponsive Computing brings together in one place important contributions and state-of-the-art research...
View full detailsTechnologies for Business Information Systems
Witold Abramowicz, Heinrich C. Mayr
Hardcover
• Author(s): Witold Abramowicz | Heinrich C. Mayr • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceTechnologies for Business Information Systems The material collected in this book covers a broad range of applications ...
View full detailsGI -- 8. Jahrestagung: Berlin 1978
S. Schindler, W. K. Giloi
Paperback
• Author(s): S. Schindler | W. K. Giloi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceÜbersichtsvorträge Der Gi-Jahrestagung.- Design of a Programming Language for a Program Transformation System.- Methoden der Prog...
View full detailsSoftware for Data Analysis: Programming with R
John Chambers
Hardcover
• Author(s): John Chambers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverJohn Chambers has been the principal designer of the S language since its beginning, and in 1999 received the ACM System...
View full detailsSemantics, Applications, and Implementation of Program Generation: International Workshop, Saig 2000 Montreal, Canada, September 20, 2000 Proceedings
Walid Taha
Paperback
• Author(s): Walid Taha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Imple...
View full detailsEnvironmental Software Systems. Computer Science for Environmental Protection: 12th Ifip Wg 5.11 International Symposium, Isess 2017, Zadar, Croatia,
Jiří Hřebíček
Paperback
• Author(s): Jiří Hřebíček • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyThis book constitutes the refereed proceedings of the 12th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS...
View full detailsPrinciples of Distributed Systems
Vijay K. Garg
Hardcover
• Author(s): Vijay K. Garg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDistributed computer systems are now widely available but, despite a number of recent advances, the design of ...
View full detailsEmbedded System Applications
Jean-Claude Baron
Hardcover
• Author(s): Jean-Claude Baron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureEmbedded systems encompass a variety of hardware and software components which perform specific functions in host systems, for exampl...
View full detailsFoundations of Software Science and Computation Structures: 5th International Conference, Fossacs 2002. Held as Part of the Joint European Conferences
Mogens Nielsen
Paperback
• Author(s): Mogens Nielsen • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was...
View full detailsA Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
David Powell
Hardcover
• Author(s): David Powell • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralThe design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee ...
View full detailsModel-Based Testing of Reactive Systems: Advanced Lectures
Manfred Broy
Paperback
• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralTesting is the primary hardware and software verification technique used by industry today. Usually, it is ad h...
View full detailsNew Horizons in Computational Chemistry Software
Michael Filatov
Hardcover
• Author(s): Michael Filatov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Chemistry - Physical & TheoreticalFrom the Back CoverThis volume presents the current status of software development in the field of computational and t...
View full detailsRobust Intelligent Systems
Alfons Schuster
Paperback
• Author(s): Alfons Schuster • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverRobustness is an intriguing phenomenon in many complex intelligent systems, natural and artificial alike. This book inves...
View full detailsComputing in Systems Described by Equations
M. J. O'Donnell
Paperback
• Author(s): M. J. O'Donnell • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science
Distributed and Parallel Systems: In Focus: Desktop Grid Computing
Peter Kacsuk
Paperback
• Author(s): Peter Kacsuk • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralFrom the Back CoverDAPSYS (International Conference on Distributed and Parallel Systems) is an international biannual conference ser...
View full detailsPrinciples of Distributed Systems
Vijay K. Garg
Paperback
• Author(s): Vijay K. Garg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDistributed computer systems are now widely available but, despite a number of recent advances, the design of ...
View full detailsGuide to Software Verification with Frama-C: Core Components, Usages, and Applications
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Paperback
• Author(s): Nikolai Kosmatov | Virgile Prevosto | Julien Signoles • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Quality Assurance & Tes
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Khaled Elleithy
Hardcover
• Author(s): Khaled Elleithy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverAdvances and Innovations in Systems, Computing Sciences and Software Engineering is a collection of world...
View full detailsTesting of Communicating Systems: 16th Ifip International Conference, Testcom 2004, Oxford, Uk, March 17-19, 2004., Proceedings
Roland Groz
Paperback
• Author(s): Roland Groz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communica...
View full detailsGuide to Dynamic Simulations of Rigid Bodies and Particle Systems
Murilo G. Coutinho
Hardcover
• Author(s): Murilo G. Coutinho • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverPhysically based modeling is widely used within the fields of computer graphics and mechanical engineering for comp...
View full detailsSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
Roger Lee
Hardcover
• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThe purpose of the 13th International Conference on Computer and Information Science (SNPD 2012) held on August 8-10, 2012 in Kyoto, Jap...
View full detailsFoundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Kesav V. Nori, C. E. Veni Madhavan
Paperback
• Author(s): Kesav V. Nori | C. E. Veni Madhavan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThese proceedings of the Tenth Indian Conference on Foundations of Software Technology a...
View full detailsSynchronous Programming of Reactive Systems
Nicolas Halbwachs
Hardcover
• Author(s): Nicolas Halbwachs • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book will attempt to give a first synthesis of recent works con- cerning reactive...
View full detailsReliable Software Technologies - Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-2
Laurent George
Paperback
• Author(s): Laurent George • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Euro...
View full detailsSocial Interaction, Globalization and Computer-Aided Analysis: A Practical Guide to Developing Social Simulation
Alexander Osherenko
Hardcover
• Author(s): Alexander Osherenko • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back CoverTackling globalization is a great challenge - it is both extremely beneficial and essentially problematic.This compreh...
View full details