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

• Author(s): Nathan Griffiths • Publisher: Springer • Publisher Imprint: Springer • BISAC: Internet - GeneralFrom the Back CoverDistributed software systems are becoming evermore prevalent, and we increasingly desire them to operate in heterogene...

• Author(s): Andrew D. Gordon • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe present volume contains the proceedings of the international conference Foundations of Software Science...

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. ...

• Author(s): Effie Lai-Chong Law • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back Cover"Maturing Usability" provides an understanding of how current research and practice has contributed towards improving ...

• Author(s): Heiko Paulheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyOntology-based Application Integration introduces UI-level (User Interface Level) application integration and discusses current problem...

• Author(s): Boudewijn R. Haverkort | Henrik C. Bohnenkamp | Connie U. Smith • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - Mainframes & MinicomputersIn the design, implementation, and operational planning of computer...

• Author(s): Christo El Morr • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Operations ResearchFrom the Back CoverThis book provides a hands-on introduction to Machine Le...

• Author(s): Jörg Bechlars | Rainer Buhtz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsDieses Buch richtet sich an Leser, die Anwendungsprogramme mit zweidimensionaler Grap...

• Author(s): Jian Zhang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book reviews the state-of-the-art in combinatorial testing, with particular emphasis on t...

• Author(s): Michael E. Stillman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Geometry - AlgebraicFrom the Back CoverAlgorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have e...

• Author(s): Franz Wotawa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Sof...

• Author(s): Christine Strothotte • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis practical and informative book shows how pictures can be used in computer systems to con...

• Author(s): Detlef Krömker | Hartwig Steusloff | Hans-Peter Subel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDieses Buch beschreibt die Konzepte sowie die Prozedurschnittstellen d...

• Author(s): Tomás Vojnar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis book is Open Access under a CC BY licence.

• Author(s): James F. Peters • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThis book carries forward recent work on visual patterns and structuresin digit...

• Author(s): Antti Laaksonen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - General

• Author(s): Effie Lai-Chong Law • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back Cover"Maturing Usability" provides an understanding of how current research and practice has contributed towards improving ...

• Author(s): Joseph M. Morris • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist grou...

• Author(s): Fabio Paternò • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyFrom the Back CoverUbiquitous environments should provide users with the ability to freely move about while interacting through a variet...

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

• Author(s): Thomas Flik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureIn the last few years, a large number of books on microprocessors have appeared on the market. Most of them originated in the context of th...

• Author(s): Michel Raynal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceUnderstanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in orde...

• Author(s): Heiko Paulheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralOntology-based Application Integration introduces UI-level (User Interface Level) application integration and discusses curr...

• Author(s): Borko Furht • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThe SpringerBrief covers fundamentals of digital image processing including image concept, image file ...

• Author(s): S. Adiga • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralI must confess that I stumbled upon the object-oriented (00) world view during my explorations into the world of artificial intelligence (AI) ...

• Author(s): Susanne Albers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe two-volume set LNCS 5555 and LNCS 5556 constitutes the refereed proceedings of the 36th International Colloqui...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis edited book presents the scientific outcomes of the 17th International Conference on Software Engineering, Ar...

• Author(s): Dietmar Jackèl | Stephan Neunreither | Friedrich Wagner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsDas Buch richtet sich an eine Leserschaft, die bereits Gru...

• Author(s): Klaus Lagemann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDieses Buch isL als EinfOhrung in das GebieL der - sowie auf jeder Ebene geeigneLe Rechner- Rechnerstrukturen...

• Author(s): Annabelle McLver • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - General*A state-of-the-art survey and tutorial for key new topics in programming methodology written by leading international computer scienti...

• Author(s): Maciej Drozdowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyFrom the Back CoverTo take full advantage of high performance computing, parallel applications must be carefully managed to guarante...

• Author(s): Thomas Driemeyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis is the definitive reference for version 3.4 of the mental ray(R) image rendering software. B...

• Author(s): Murat Yilmaz | Paul Clarke | Andreas Riel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Management Information SystemsThe two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Confer...

• Author(s): Bart Jacobs • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures,...

• 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): Werner Damm • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3-7, 2007. C...