Search results for “[Subject: computers-software]”

• Author(s): David Luckham • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis monograph introduces ANNA, a language for specifying programs written in Ada.

• 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 ...

• 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...

• 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. ...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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 (...

• 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...

• 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...

• 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 ...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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...

• 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

• 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...

• Author(s): Ahmed Seffah • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralHuman-CenteredSoftwareEngineering: BridgingHCI, UsabilityandSoftwareEngineering From its beginning in the 1980'...

• 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...