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
- Gale Ecco, Print Editions
- 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
- Literary Licensing, LLC
- 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
- Princeton University Press
- 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
- Applied Research & Design
- 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
- BCS, the Chartered Institute for IT
- Bdtoolbox.Org
- Bear & Company
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Bloomsbury
- Bloomsbury Acad Indi
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blue River Press
- BPB Publications
- Computer Science and Information Technology
- Engineering
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- English Literature
- Fashion & Textile
- Fine Arts
- Foreign Languages
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Writing/Research Methods
- Adrien Bartoli
- Ahmed Bouajjani
- 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
- Azizah Abd Manaf
- Bernard P. Zeigler
- Bernd Steinbach
- Bir Bhanu
- Borko Furht
- Daisuke Kihara
- David D. Zhang
- David Fleet
- Dieter Gollmann
- Dines Bjørner
- Fabio Paternò
- G. Jezic
- Gerard O'Regan
- Gordan Jezic
- Haja N. Kadarmideen
- Halimah Badioze Zaman
- 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
- Leszek Borzemski
- Lourdes Agapito
- Luca Maria Aiello
- Manfred Broy
- Marco Bernardo
- Margarita N. Favorskaya
- Maria Virvou
- Marian Bubak
- Martin Wirsing
- Michael M. Resch
- Michel Bidoit
- Miguel Botto-Tobar
- Mike Hinchey
- Murat Yilmaz
- 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
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
David Luckham
Paperback
• Author(s): David Luckham • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis monograph introduces ANNA, a language for specifying programs written in Ada.
Perspectives on Content-Based Multimedia Systems
Jian Kang Wu
Hardcover
• Author(s): Jian Kang Wu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiMultimedia data comprising of images, audio and video is becoming increasingly common. The ...
View full detailsComputation of Atomic and Molecular Processes: Introducing the Atom-M Software Suite
Miron Ya Amusia
Paperback
• Author(s): Miron Ya Amusia • Publisher: Springer • Publisher Imprint: Springer • BISAC: Physics - Atomic & MolecularFrom the Back CoverThis book presents numerical methods for solving a wide range of problems associated with the structure o...
View full detailsMulticore Processors and Systems
Stephen W. Keckler
Hardcover
• Author(s): Stephen W. Keckler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureFrom the Back CoverMulticore Processors and Systems provides a comprehensive overview of emerging multicore processors and systems. ...
View full detailsTechniken Der Objektorientierten Softwareentwicklung
Jörg Noack
Paperback
• Author(s): Jörg Noack • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceDer Projekt-Erfolg bei objektorientierter Software-Entwicklung h�ngt wesentlich von der Anwendung praxiserprobter Methoden und von den Fertigkeit...
View full detailsCompiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etap
Alan Mycroft, Andreas Zeller
Paperback
• Author(s): Alan Mycroft | Andreas Zeller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federat...
View full detailsSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter
Roger Lee
Hardcover
• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Art...
View full detailsBehavioural Models: From Modelling Finite Automata to Analysing Business Processes
Matthias Kunze
Paperback
• Author(s): Matthias Kunze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis textbook introduces the basis for modelling and analysing discrete dynamic systems, s...
View full detailsSoftware Similarity and Classification
Silvio Cesare
Paperback
• Author(s): Silvio Cesare • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - GeneralFrom the Back CoverSoftware similarity and classification is an emerging topic with wide applications. It is applicable to the areas of malw...
View full detailsAdvances in Computing Systems and Applications: Proceedings of the 3rd Conference on Computing Systems and Applications
Oualid Demigha
Paperback
• Author(s): Oualid Demigha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book gathers selected papers presented at the 3rd Conference on Computing Systems and Applications (...
View full detailsTrusted Computing Platforms: Design and Applications
Sean W. Smith
Paperback
• Author(s): Sean W. Smith • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionFrom the Back CoverHow can one trust computation taking place at a remote site, particularly if a party at that site m...
View full detailsRechnerarchitektur: Grundlagen Und Verfahren
Arndt Bode, Wolfgang Händler
Paperback
• Author(s): Arndt Bode | Wolfgang Händler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureDas vor1iegende Buch umfa t den 1. Tei1 eines zweisemestrigen Vor1esungs- zyk1us Uber Rechnerarchitektur. Es richtet sich...
View full detailsDesktop Publishing: Anwendungen, Erfahrungen, Prognosen
Uwe Pape
Paperback
• Author(s): Uwe Pape • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - Personal Computers - GeneralExperten berichten in diesem Buch über den Einsatz von Desktop-Publishing-Systemen. Im Vordergrund stehen dabei Aspekte der ...
View full detailsEnvironmental Software Systems. Infrastructures, Services and Applications: 11th Ifip Wg 5.11 International Symposium, Isess 2015, Melbourne, Vic, Aus
Ralf Denzer
Paperback
• Author(s): Ralf Denzer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyThis book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2...
View full detailsReference Architectures for Critical Domains: Industrial Uses and Impacts
Elisa Yumi Nakagawa
Hardcover
• Author(s): Elisa Yumi Nakagawa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents reference architecture as a key blueprint to develop and evolve critical software-int...
View full detailsComputing Platforms for Software-Defined Radio
Waqar Hussain
Paperback
• Author(s): Waqar Hussain • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book addresses Software-Defined Radio (SDR) baseband processing from the computer architecture point o...
View full detailsAdvances in Multimedia, Software Engineering and Computing Vol.1: Proceedings of the 2011 Mesc International Conference on Multimedia, Software Engine
David Jin, Sally Lin
Paperback
• Author(s): David Jin | Sally Lin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralMSEC2011 is an integrated conference concentrating its focus upon Multimedia ,Software Engineering, Computing and Edu...
View full detailsMultimodal User Interfaces: From Signals to Interaction
Dimitros Tzovaras
Hardcover
• Author(s): Dimitros Tzovaras • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back CoverWhere multimodal signal processing meets multimodal human computer interaction... Signal Processing (SP) and Human-Com...
View full detailsEngineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Jonathan P. Bowen
Paperback
• Author(s): Jonathan P. Bowen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume contains lectures on leading-edge research in methods and tools for use in computer system eng...
View full detailsRuntime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Yliès Falcone
Paperback
• Author(s): Yliès Falcone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, R...
View full detailsComputer Viruses and Malware
John Aycock
Paperback
• Author(s): John Aycock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverOur Internet-connected society increasingly relies on computers. As a result, attacks on computers from malicious software ha...
View full detailsAdvances in Multimedia, Software Engineering and Computing Vol.2: Proceedings of the 2011 Mesc International Conference on Multimedia, Software Engine
David Jin, Song Lin
Paperback
• Author(s): David Jin | Song Lin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralMSEC2011 is an integrated conference concentrating its focus upon Multimedia, Software Engineering, Computing and Educ...
View full detailsSoftware Defect and Operational Profile Modeling
Kai-Yuan Cai
Hardcover
• Author(s): Kai-Yuan Cai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Generalalso in: THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE, Volume 1
Das MMIX-Buch: Ein Praxisnaher Zugang Zur Informatik
Heidi Anlauff, Axel Böttcher, Martin Ruckert
Paperback
• Author(s): Heidi Anlauff | Axel Böttcher | Martin Ruckert • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceDie Einf�hrung verwendet durchg�ngig den von Donald E. Knuth (Stanford University) f�r sein weltweit anerkann...
View full detailsAdvances in Computer Graphics: Images: Synthesis, Analysis, and Interaction
Gerald Garcia
Paperback
• Author(s): Gerald Garcia • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis volume offers a range of tutorial texts on image synthesis and image reconstruction, based on t...
View full detailsCots-Based Software Systems: Third International Conference, Iccbss 2004, Redondo Beach, Ca, Usa, February 1-4, 2004, Proceedings
Rick Kazman
Paperback
• Author(s): Rick Kazman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceIn the short space of about a decade, Commercial-Off-the-Shelf (COTS) software has evolved through being a relatively minor aspect of software d...
View full detailsTesting Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011 Paris, France, November 7-10, 2011 Proceedings
Burkhart Wolff, Fatiha Zaidi
Paperback
• Author(s): Burkhart Wolff | Fatiha Zaidi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conferenc...
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 detailsVerification of Sequential and Concurrent Programs
Krzysztof R. Apt
Hardcover
• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...
View full detailsHigh-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production
Vladimir Jordan, Ilya Tarasov, Ella Shurina
Paperback
• Author(s): Vladimir Jordan | Ilya Tarasov | Ella Shurina • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThis book constitutes the revised selected papers of the 14th International Conference on High-Performance C...
View full detailsParallel and Distributed Processing and Applications: 4th International Symposium, Ispa 2006, Sorrento, Italy, December 4-6, 2006, Proceedings
Minyi Guo
Paperback
• Author(s): Minyi Guo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiWelcome to the proceedings of the 4th International Symposium on Parallel and Distributed Proc...
View full detailsSingle-Instruction Multiple-Data Execution
Christopher J. Hughes
Paperback
• Author(s): Christopher J. Hughes • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringHaving hit power limitations to even more aggressive out-of-order execution in processor cores, many architects in the past decade...
View full detailsSoftware Defect and Operational Profile Modeling
Kai-Yuan Cai
Paperback
• Author(s): Kai-Yuan Cai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Generalalso in: THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE, Volume 1
Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199
Keith Hardy, Jim Briggs
Paperback
• Author(s): Keith Hardy | Jim Briggs • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the refereed proceedings of the 1997 Ada-Europe Internati...
View full detailsHuman-Centered Software Engineering: Integrating Usability in the Software Development Lifecycle
Ahmed Seffah
Hardcover
• Author(s): Ahmed Seffah • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralHuman-CenteredSoftwareEngineering: BridgingHCI, UsabilityandSoftwareEngineering From its beginning in the 1980'...
View full detailsMathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, Uk, July 12-14, 2004, Proceedings
Dexter Kozen, Carron Shankland
Paperback
• Author(s): Dexter Kozen | Carron Shankland • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Constru...
View full details