Filters
- Academic Press
- ACM
- ACM Books
- Addison-Wesley Professional
- Apress
- Authorhouse
- Bibliogov
- Biblioscholar
- Bod - Books on Demand
- Cadcim Technologies
- Cambridge University Press
- Cambridge UP
- Cengage
- 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
- Eyrolles Group
- For Dummies
- Gabler Verlag
- Gale Ecco, Print Editions
- Grin Verlag
- Hansebooks
- Hutson Street Press
- IGI Global
- Independently Published
- Information Science Reference
- Intechopen
- Iop Concise Physics
- Kessinger Publishing
- Kluwer Law International
- LAP Lambert Academic Publishing
- Legare Street Press
- Libraries Unlimited
- Literary Licensing, LLC
- Lulu.com
- Manning Publications
- McGraw-Hill Education
- Mdpi AG
- MIT Press
- Morgan Kaufmann Publishers
- Nabu Press
- Newnes
- No Starch Press
- Notion Press
- NY Research Press
- O'Reilly Media
- Omniscriptum
- OUP Oxford
- Our Knowledge Publishing
- Oxford University Press
- Oxford UP
- Packt Publishing
- Palala Press
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Praeger
- Princeton University Press
- Rheinwerk Computing
- Rk Books Publication
- Routledge
- Rowman & Littlefield Publishers
- Sage Publications
- Sage Publications Ltd
- Sage Publications, Inc
- Saint Philip Street Press
- Samurai Media Limited
- SDC Publications
- SDC Publications (Schroff Development Corpora
- Springer
- Springer Spektrum
- Springer Verlag
- Springer Vieweg
- T&F
- Taylor & Francis
- Tredition Gmbh
- 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
- Wiley-IEEE Press
- Wiley-Interscience
- Willford Press
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- A K PETERS
- Academic Press
- ACM
- ACM Books
- Addison-Wesley Professional
- Apple Academic Press
- Apress
- Auerbach P
- Auerbach Publications
- Authorhouse
- Bibliogov
- Biblioscholar
- Birkhauser
- Bod - Books on Demand
- Cadcim Technologies
- Cambridge
- Cambridge University Press
- Clanrye International
- Cognella Academic Publishing
- Course Tec
- CRC Press
- CRC/CH
- 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
- Eyrolles Group
- Focal Press
- For Dummies
- Gabler Verlag
- Gale Ecco, Print Editions
- Grin Verlag
- Hansebooks
- Humana
- Hutson Street Press
- IGI Global
- Independently Published
- Information Science Reference
- Intechopen
- Iop Concise Physics
- Kessinger Publishing
- Kluwer Law International
- LAP Lambert Academic Publishing
- Legare Street Press
- Libraries Unlimited
- Literary Licensing, LLC
- Lulu.com
- Manning Publications
- McGraw-Hill Education
- Mdpi AG
- MIT Press
- Morgan Kaufmann Publishers
- MorganKauf
- Nabu Press
- Newnes
- No Starch Press
- Notion Press
- O'Reilly Media
- Omniscriptum
- Our Knowledge Publishing
- Oxford University Press
- Oxford UP
- Packt Publishing
- Palala Press
- Palgrave MacMillan
- Pearson
- Pearson Education Limited
- Praeger
- Princeton University Press
- Rheinwerk Computing
- Routledge
- Sage Publications
- Sage Publications Ltd
- Saint Philip Street Press
- SDC Publications
- SDC Publications (Schroff Development Corpora
- Springer
- Springer V
- Springer Vieweg
- Tredition Gmbh
- 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
- Wiley-IEEE Press
- Wiley-Interscience
- Willford Press
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- History
- Abhinandan H. Patil
- Adrien Bartoli
- Ahmed Seffah
- Ajith Abraham
- Alberto del Bimbo
- Alexander Heifetz
- Alfonso J. Kinglow
- Alistair G. Sutcliffe
- Allen Kent
- Álvaro Rocha
- Andrea Fusiello
- Andrea Vedaldi
- Andreas Sofroniou
- Angel Arias
- Anonymous
- Anthony J. Dos Reis
- Arie Gurfinkel
- Armin Biere
- Asha Sohal
- Ata Elahi
- Atif Memon
- Autodesk
- Balakrishnan Subramanian
- Bernard P. Zeigler
- Bernhard Steffen
- Bill Martens
- Bir Bhanu
- Borko Furht
- Brian Houghton Hodgson
- Cadcim Technologies
- Chris Roda
- Christel Baier
- Christoph Überhuber
- D. James Benton
- Danish Ali Bajwa
- David D. Zhang
- David F. Rogers
- David Fleet
- Dmitry Vostokov
- Dr Rahul Sharma
- Ekkehard Kaier
- Fabio Paternò
- Felicia Toliver
- Frederik Poulsen
- Gerard O'Regan
- Godspower Ekuobase
- Gordan Jezic
- Haja N. Kadarmideen
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hartmut Ehrig
- Herbert Spencer
- Hitoshi Iba
- Huchuan Lu
- Igor Schagaev
- Ihab Al-Qazzaz
- Information Reso Management Association
- Inna Birillo
- Jadeja Indrajitsinh
- James Floyd Kelly
- Janusz S. Kowalik
- Jean-Pierre Couwenbergh
- Joaquim Filipe
- John A. Trangenstein
- John Vince
- John Young
- José Antonio Bernal López
- José Cordeiro
- Jyoti Choudrie
- Kalaimani S
- Khaled Elleithy
- Laura Leal-Taixé
- Lazaros S. Iliadis
- Lijun Zhang
- Manfred Broy
- Marco Bernardo
- Marcondes Dourado
- Margarita N. Favorskaya
- Maria Virvou
- Marian Bubak
- Michael J. Rider
- Michael M. Resch
- Miguel Botto-Tobar
- Nadia Magnenat-Thalmann
- Oxford University Press
- Paolo Ciancarini
- Pradeep Kumar Singh
- Prasad Puthiyillam
- Radek Silhavy
- Roger Lee
- Roman Wyrzykowski
- Shadi Zeinali
- Suresh Chandra Satapathy
- Suyel Namasudra
- Tarek Sobh
- Thompson Carter
- Varun Gupta
- Wei Lu
- Wenliang Du
- Wolfgang Engel
Products
Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Rudrapatna Shyamasundar
Paperback
• Author(s): Rudrapatna Shyamasundar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFor more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual ac...
View full detailsTools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe
Sriram Sankaranarayanan
Paperback
• Author(s): Sriram Sankaranarayanan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms fo...
View full detailsFoundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
S. Ramesh, G. Sivakumar
Paperback
• Author(s): S. Ramesh | G. Sivakumar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theor...
View full detailsTowards Extensible and Adaptable Methods in Computing
Shampa Chakraverty
Hardcover
• Author(s): Shampa Chakraverty • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book addresses extensible and adaptable computing, a broad range of methods and t...
View full detailsHandbook of Open Source Tools
Sandeep Koranne
Hardcover
• Author(s): Sandeep Koranne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersHandbook of Open Source Tools introduces a comprehensive collection of advanced open source tools useful in developing software appli...
View full detailsProgram Design Calculi
Manfred Broy
Hardcover
• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe development of information processing systems requires models, calculi, and theories fo...
View full detailsFormal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Marco Bernardo, Alessandro Cimatti
Paperback
• Author(s): Marco Bernardo | Alessandro Cimatti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of ...
View full detailsSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Roger Lee
Paperback
• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents scientific results of the 17th IEEE/ACIS International Conference on Software Engine...
View full detailsVerification and Analysis of Computer Systems
Henry Skinner
Hardcover
• Author(s): Henry Skinner • Publisher: NY Research Press • Publisher Imprint: NY Research Press • BISAC: Software Development & Engineering - GeneralComputer system verification is an activity that involves assessing the consistency, complet...
View full detailsSoftware Design - Cognitive Aspect
Francoise Detienne
Paperback
• Author(s): Francoise Detienne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralSoftware Design - Cognitive Aspects covers a variety of areas including software analysis, design, coding...
View full detailsComputer Graphics for Java Programmers
Leen Ammeraal
Paperback
• Author(s): Leen Ammeraal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical obje...
View full detailsArtificial Intelligence and System Engineering: Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2
Radek Silhavy, Petr Silhavy
Paperback
• Author(s): Radek Silhavy | Petr Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralMachine Learning Techniques to Identify the Importance of Data Driven Factors in Citation Classification.- Aca...
View full detailsCompilers: Principles, Techniques, and Tools
Alfred Aho
Paperback
• Author(s): Alfred Aho • Publisher: Pearson Education Limited • Publisher Imprint: Pearson Education LimitedCompilers: Principles, Techniques and Tools, known to professors, students, and developers worldwide as the Dragon Book, is available in ...
View full detailsComputing and Software Science: State of the Art and Perspectives
Bernhard Steffen
Paperback
• Author(s): Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the titl...
View full detailsFoundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of the European Joint Conference
Patricia Bouyer
Paperback
• Author(s): Patricia Bouyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science...
View full detailsComputer, Software Und Vernetzungen Für Die Lehre: Das Computer-Investitions-Programm (Cip) in Der Nutzanwendung
Klaus Dette
Paperback
• Author(s): Klaus Dette • Publisher: Springer • Publisher Imprint: Springer • BISAC: BioinformaticsDieser Band 2 der Reihe Mikrocomputer-Forum f}r Bildung und Wissenschaft enth{lt die }berarbeiteten Beitr{ge zum 3. CIP-Status-Kongre im Produktio...
View full detailsSoftware Infrastructure for Ubiquitous Computing
Cristiano André Da Costa
Paperback
• Author(s): Cristiano André Da Costa • Publisher: VDM Verlag • Publisher Imprint: VDM Verlag • BISAC: GeneralThe ubiquitous computing (ubicomp) area, sometimes called pervasive computing, presupposes a strong integration with the real world, wit...
View full detailsInnovations in Computing Sciences and Software Engineering
Tarek Sobh
Hardcover
• Author(s): Tarek Sobh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverInnovations in Computing Sciences and Software Engineering includes a set of rigorously review...
View full detailsEmphasizing Distributed Systems
Marvin Zelkowitz
Hardcover
• Author(s): Marvin Zelkowitz • Publisher: Academic Press • Publisher Imprint: Academic Press • BISAC: Computer ScienceAs the computer industry moves into the 21st century, the long-running Advances in Computers is ready to tackle the challenges ...
View full detailsHagenberg Research
Bruno Buchberger
Hardcover
• Author(s): Bruno Buchberger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepa...
View full detailsBasics and Fundamentals of Computer Information Systems
Alfonso J. Kinglow
Paperback
• Author(s): Alfonso J. Kinglow • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: Information TechnologyGeneral information on Software Applications and Utilities, h...
View full detailsEmbedded Machine Learning for Cyber-Physical, Iot, and Edge Computing: Software Optimizations and Hardware/Software Codesign
Sudeep Pasricha
Paperback
• Author(s): Sudeep Pasricha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Embedded Computer Systems
Zuverlässiges Self-Hosting: Eine schnell aufbaubare eigene Cloud
Adam Monsen, Fiona Burkart
Paperback
• Author(s): Adam Monsen | Fiona Burkart • Publisher: Sunrise Data Press • Publisher Imprint: Sunrise Data Press • BISAC: System Administration - GeneralZuverl�ssiges Self-Hosting ist ein authentisches und inspirierendes Self-Hosting-Tutorial des...
View full detailsThe Physics of Computing: How Your Device Really Works (New Edition): From Silicon to Software - A Beginner's Guide to Transistors, Logic Gates, and C
Shen Hao Harrison
Paperback
• Author(s): Shen Hao Harrison • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Hardware - Mainframes & MinicomputersA computer is a machine built on a foundation of sand. The silicon inside it comes ...
View full detailsHagenberg Research
Bruno Buchberger
Paperback
• Author(s): Bruno Buchberger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepa...
View full detailsTools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
Sebastian Junges, Guy Katz
Paperback
• Author(s): Sebastian Junges | Guy Katz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algori...
View full detailsSoftware Challenges to Exascale Computing: Second Workshop, Scec 2018, Delhi, India, December 13-14, 2018, Proceedings
Amit Majumdar
Paperback
• Author(s): Amit Majumdar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the Second Workshop on Software Challenges to Exascale Compu...
View full detailsSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Roger Lee
Hardcover
• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engin...
View full detailsTools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe
Bernd Finkbeiner
Paperback
• Author(s): Bernd Finkbeiner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on T...
View full detailsTools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, Tacas 2005, Held as Part of the Joint European Confe
Nicolas Halbwachs
Paperback
• Author(s): Nicolas Halbwachs • 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 conferen...
View full detailsComputer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces Cadui'2006,6
Gaëlle Calvary
Hardcover
• Author(s): Gaëlle Calvary • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralToday, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-ba...
View full detailsSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Roger Lee
Paperback
• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engin...
View full detailsSystems Engineering Neural Networks
Migliaccio
Hardcover
• Author(s): Migliaccio • Publisher: Wiley • Publisher Imprint: Wiley • Subject: Computer Science and Information Technology • BISAC: Electronics - GeneralFrom the Back CoverA complete and authoritative discussion of systems engineering and neura...
View full detailsFormal Methods: Foundations and Applications: 25th Brazilian Symposium, Sbmf 2022, Virtual Event, December 6-9, 2022, Proceedings
Lucas Lima
Paperback
• Author(s): Lucas Lima • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, whic...
View full detailsFormal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys
Marco Bernardo
Paperback
• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International ...
View full detailsRigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Martin Wirsing
Paperback
• Author(s): Martin Wirsing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Project ManagementFrom the Back CoverService-Oriented Computing is a paradigm for developing and providing software ...
View full details