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

• Author(s): Josef K. Skwirzynski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralIn this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of...

• Author(s): Alberto Sangiovanni-Vincentelli | Joseph Sifakis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe purpose of the EMSOFT Workshop, inaugurated last ye...

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book presents a set of 8 papers accompanying the lectures of leading researchers give...

• Author(s): Donald P. Pazel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book takes the reader on a journey through music concepts in an organized approach t...

• Author(s): Radek Silhavy | Petr Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - General

• Author(s): Mitsuhisa Sato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverCovering research topics from system software such as programming languages, compilers, runtime systems, oper...

• Author(s): Peter Sestoft • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual fede...

• Author(s): Radek Silhavy | Petr Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - General

• Author(s): Jim X. Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverCurrent graphics software and hardware combine to allow multiple-level functionalit...

• Author(s): Naoki Kobayashi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Comp...

• Author(s): Kim Hazelwood • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureDynamic binary modification tools form a software layer between a running application and the underlying operating system, providing the ...

• Author(s): Khaled Elleithy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverAdvanced Techniques in Computing Sciences and Software Engineering in...

• Author(s): Paritosh K. Pandya | Jaikumar Radhakrishnan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignOver the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferen...

• Author(s): Susan Elliott Sim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralIn recent years, searching for source code on the web has become increasingly common among professional so...

• Author(s): P. C. C. Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMTo understand what we know and be aware of what is to be known is a necessary approach to treating CAD/CAM issues. The c...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents scientific results of the 21st ACIS International Winter Conference on Software Engi...

• Author(s): Boleslaw K. Szymanski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureLanguage, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third wo...

• Author(s): A. G. Sutcliffe • Publisher: Springer • Publisher Imprint: Palgrave MacMillan • BISAC: User InterfacesA description of the principles of and practices in human-computer interfacing, based on applied psychology, while integrating the ...

• Author(s): Rudrapatna K. Shyamasundar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFor more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an an...

• Author(s): Gerard Alberts • Publisher: Springer • Publisher Imprint: Springer • BISAC: HistoryFrom the Back CoverManufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were calle...

• Author(s): Ulf Hashagen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book reviews the present understanding of the history of software and establishes an ag...

• Author(s): Haengkon Kim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralVariability Modeling in Software Product Line: A Systematic Literature Review.- The Use of Big Data Analytics to Improve the Supply Chain...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents scientific results of the 21st ACIS International Winter Conference on Software Engi...

• Author(s): Rüdiger Heimgärtner • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesIntroduction.- Thinking and Acting.- Software Engineering.- Usability Engineering.- User Interface Design.- IUID in Theory - Scientific R...

• Author(s): Robert Bembenik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book is a selection of results obtained within three years of research performed under SYNAT--a nat...

• Author(s): Martin Abadi | Takayasu Ito • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TAC...

• Author(s): Martin Wirsing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverTo identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impa...

• Author(s): Dmitry Ivanov | William P. Millhiser | Phu Nguyen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Production & Operations ManagementComputer Simulation: General Methodologies.-  Business Process Simulation Modeling a...

• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...

• Author(s): Conjeevaram E. Veni Madhavan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe papers in this volume accepted for the conference on foundations of software technology and...

• Author(s): Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the titl...

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book presents 5 tutorial lectures given by leading researchers at the 13th edition of...

• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis volume is based on the research papers presented in the 4th Computer Science On-line Conference. The ...

• Author(s): Sukhdev Khebbal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralRapid Application Generation of Business and Finance Software describes a method for developing wide ranging...

• Author(s): Vladimiro Sassone • 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 conferen...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents scientific results of the 16th IEEE/ACIS International Conference on Software Engine...