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

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

• Author(s): Donald Sannella • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume contains the papers selected for presentation at the fifth European Symposium on Programming (ES...

• Author(s): A. Ferreira • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralHypermedia open up new possibilities for the design of exploratory learning environments. This book presents various approaches...

• 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): Viktor Vafeiadis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, w...

• Author(s): Fadele Ayotunde Alaba | Ilésanmí Gabriel Ajibola | Alvaro Rocha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - General

• Author(s): Thomas Gschwind • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralComponent-based software development is the next step after object-oriented programmingthatpromisesto reduce...

• Author(s): Ian Warren • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralToday, software professionals recognize that change in software systems is inevitable. There are many systems cur...

• Author(s): Hartmut Ehrig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including ...

• Author(s): John Aycock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceNow that the internet is omnipresent, companies have increasingly put critical resources online, giving rise to the activities of cyber criminal...

• Author(s): Shiguang Liu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThis book covers image and video color editing research advances over the last two...

• Author(s): Rainer Keller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverWith the advent of multi-core processors, implementing parallel program...

• Author(s): Hartmut Ehrig | Robert Kowalski | Giorgio Levi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - General

• Author(s): David Kaeli • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverThis book constitutes the proceedings of the SPEC Benchmark Workshop 2009...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents scientific results of the 12th International Conference on Software Engineering, Art...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents scientific results of the 12th International Conference on Software Engineering, Art...

• Author(s): Kousha Etessami • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6-10...

• Author(s): Ricardo Baeza-Yates • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe articles in this proceedings were presented at the 13th International Conference of the Chilean Computer Science Society held in La ...

• Author(s): Rajeev Alur | Thomas Henzinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held ...

• Author(s): Jürg Gutknecht • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the po...

• Author(s): Jairo E. Serrano C. • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 13th Colombian Conference on Computing, CCC 2018, ...

• Author(s): Davies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMThis book is intended for engineers, computer scientists, managers and all those concerned with computer graphics, computer-aid...

• Author(s): Robert Slade • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverWritten by a leading figure in the virus research community, Robert Slade's guide is the most comprehensive book on com...

• 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): Faxin Yu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsWith the increasing popularization of the Internet, together with the rapid development of 3D scanning te...

• Author(s): Kurt Mehlhorn | Gregor Snelting • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDie Gesellschaft für Informatik veranstaltet ihre 30. Jahrestagung, die Informatik 2000, vom...

• Author(s): Renato Demori • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Computer Vision & Pattern RecognitIt is an established tradition that researchers from many countries get together on the averag...

• Author(s): David B. Arnold • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsWe have written this book principally for users and practitioners of computer graphics. In particu...

• Author(s): Frank S. De Boer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their appl...

• Author(s): Joaquin Garcia-Alfaro • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionThis four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on R...

• Author(s): Bernard P. Zeigler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverThis easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specificati...

• Author(s): Raymond J. Spiteri | Joyce Reimer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Applied

• Author(s): Elöd Knuth • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - General

• Author(s): Jean-Bernard Stefani | Isabelle Demeure | Daniel Hagimont • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of DAIS 2003, the 4th IFIP WG 6.1 - ternational Conference on...

• Author(s): Tadeusz Czachórski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareFrom the Back CoverBased on a rigorous selection of submissions to The 29th International Symposium on Computer and Information Scie...