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

• Author(s): Roy Latham • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsSuperblack, supercase, supercomputer, supersonic, superimpose, superquadric (including superellipsoid),...

• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents software engineering methods in the context of the intelligent systems. It discusses re...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book presents a mathematical and logical approach to program and software development ...

• Author(s): Doug Shepherd | Gordon Blair | Geoff Coulson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis book constitutes the thoroughly revised proceedings of the Fourt...

• Author(s): Thomas D. C. Little | Riccardo Gusella • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis book constitutes the refereed revised post-workshop proceedings of the...

• Author(s): Richard N. Taylor • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis volume presents the thoroughly revised proceedings of the ICSE '94 Workshop on Joint Research Issues in Software Engineering and...

• Author(s): Jan A. Bergstra | Loe M. G. Feijs • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume originates from a workshop organized within ESPRIT Project 432 METEOR, belongi...

• Author(s): Adelino Santos • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverMultimedia techniques enable the production of non-traditional documents contain...

• Author(s): Reinhard Wilhelm | Helmut Seidl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralVirtuelle Maschinen sind Abstraktionen von realen Rechnern. Meist sind sie in Software realisiert und häufig ...

• Author(s): D. John Doyle • Publisher: Springer • Publisher Imprint: Springer • BISAC: DiagnosisThis book is the result of several years of enthusiastic planning and effort. Much of this enthusiasm came from the experience of devel{)ping Critica...

• Author(s): Weixia Xu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 20th CCF Conference on Computer Engineering and Technology, NCCET 2016, held in Xi'an, China, in...

• Author(s): Mathias Weske • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralBased on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one h...

• Author(s): Robert Hirschfeld • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverThis book constitutes the refereed proceedings of the First Worksho...

• Author(s): Nozer D. Singpurwalla • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis preface pertains to three issues that we would like to bring to the attention of the readers: our...

• Author(s): E. A. Weiss • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceEditorials.- Who Reads abacus?.- Star Wars: What Is the Professional Responsibility of Computer Scientists?.- Less than Meets the Eye.- Babel an...

• Author(s): Janusz Laski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book advocates the integrated and tool supported use of all available verification meth...

• Author(s): Iaakov Exman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - General

• Author(s): José Cordeiro • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the thoroughly refereed proceedings of the 7th International Conference on Software and Data Technologies, ICSOFT 2012, ...

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

• Author(s): H. Schauer | G. Barta • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceZwischen diesen Gro rechnern und den vergleichsweise winzigen Tisch- und Taschenrechnern gibt es heute eine Vielfalt von Rechnern mitt...

• Author(s): Taghi M. Khoshgoftaar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe constantly evolving technological infrastructure of the modem world presents a great challenge of ...

• Author(s): Jean-Sébastien Sottet • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back CoverThis book takes a unique HCI approach to the concept of Software Product Line (SPL) and discusses the peculiarities ...

• Author(s): Roland Mittermeir • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralObject-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, pra...

• Author(s): Thouraya Bouabana-Tebibel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverReuse and integration are defined as synergistic concepts, where reuse addresses how to minimi...

• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software ...

• Author(s): Janusz S. Kowalik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - Mainframes & MinicomputersThis book is a collection of papers presented at a NATO Advanced Research Workshop (ARW) on supercomputing. Resea...

• Author(s): Bernhard Thalheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe papers in this volume aim at obtaining a common understanding of the challenging re...

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive re...

• Author(s): Paul Robertson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiSelf-adaptive software evaluates its own behavior and changes its behavior when the evalu...

• Author(s): Luciano Tarricone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceAdvances in Information Technologies for Electromagnetics offers a broad panorama on recently achieved and potentially obtainable advances...

• Author(s): Jens Eickhoff • Publisher: Springer • Publisher Imprint: Springer • BISAC: Aeronautics & AstronauticsFrom the Back CoverThis book is intended as a system engineer's compendium, explaining the dependencies and technical interactio...

• Author(s): Helmut Seidl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, ...

• Author(s): Sergei N. Pozdniakov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computers & TechnologyThis book constitutes the proceedings of the 11th International Conference on Informatics in Schools: Situation, Evolution an...

• Author(s): Thomas Baggenstos | R. Marty | Barbara Mergler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralUNIX ist ein dialogorientiertes Mehrbenutzer-Betriebssystem. Es wurde in den frü- hen 70er Jahren ...

• Author(s): Stefan Leue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignVisual notations and languages continue to play a pivotal role in the design of complex software systems. In many cases visual notations are used ...

• Author(s): Bernd Wolfinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Systems Architecture - GeneralDer vorliegende Tagungsband enthi: ilt die schriftlichen Ausarbeitungen zu den Vortri: igen, die im Rahmen des zweitagigen Ind...