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

• Author(s): Rolf Ilg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Industrial EngineeringMit dem Einzug des Computers in aile Bereiche des Lebens wird der Ruf nach einfach zu be- dienenden EDV -Systemen immer lauter. Die Software-...

• Author(s): Amit Majumdar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the Second Workshop on Software Challenges to Exascale Compu...

• Author(s): Muthu Ramachandran • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareFrom the Back CoverThis book focuses on the development and implementation of cloud-based, complex software that allows parallelism,...

• Author(s): Nicolas Halbwachs • 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): Talib Damij • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis new book presents an object-oriented methodology for information systems development and design. Using the Tabular Application...

• Author(s): Bruno Buchberger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepa...

• Author(s): Lucas Lima • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, whic...

• Author(s): Wei Lu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverProceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected article...

• Author(s): Bruno Buchberger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepa...

• Author(s): R. Ramanujam • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our app...

• 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): Tarek Sobh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverInnovations in Computing Sciences and Software Engineering includes a set of rigorously review...

• Author(s): Andreas Holzinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book constitutes the thoroughly refereed proceedings of the 9th International Join...

• Author(s): Andrzej Wąsowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis textbook describes the theory and the pragmatics of using and engineering high-leve...

• Author(s): David R. Benyon • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & Desi1 INTRODUCTION These proceedings are the result of a conference on Automating Systems De...

• Author(s): Tarek Sobh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverAdvances in Computer and Information Sciences and Engineering includes a set of rigorously rev...

• Author(s): V. Arvind • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer...

• Author(s): Parosh Aziz Abdulla | Delia Kesner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science...

• Author(s): J. L. Peterson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Natural Language Processing

• Author(s): Tarek Sobh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverInnovations in Computing Sciences and Software Engineering includes a set of rigorously review...

• Author(s): Wei Lu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverProceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected article...

• Author(s): Susan Elliott Sim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Database Administration & ManagementIn recent years, searching for source code on the web has become increasingly common among professional software d...

• Author(s): Talib Damij • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis new book presents an object-oriented methodology for information systems development and design. Using the Tabular Application...

• Author(s): Shampa Chakraverty • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book addresses extensible and adaptable computing, a broad range of methods and t...

• Author(s): Sriram Sankaranarayanan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms fo...

• Author(s): Klaus Dette | Peter J. Pahl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Chemistry - Computational & Molecular ModelingDer Tagungsband zum 5. CIP-Kongre dokumentiert den Status quo des PC-Einsatzes in vielen bedeu...

• Author(s): Robert J. K. Jacob • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceComputer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in ...

• Author(s): S. Abramsky • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (C...

• Author(s): Philip Burnard • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralMost health professionals have to use computers - at least some of the time. Frequently, those computers are ...

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the Internationa...

• Author(s): Robert J. K. Jacob • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceComputer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in ...

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

• Author(s): Naoki Kobayashi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Found...

• Author(s): Naoki Kobayashi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Found...

• Author(s): Lars Birkedal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computation...

• Author(s): James D. Lyle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureWorkstation and computer users have an ever increasing need for solutions that offer high performance, low cost, small footprints (space ...