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

• 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): 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): S. Ramesh | G. Sivakumar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theor...

• 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): Sandeep Koranne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersHandbook of Open Source Tools introduces a comprehensive collection of advanced open source tools useful in developing software appli...

• 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): Marco Bernardo | Alessandro Cimatti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of ...

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

• Author(s): Henry Skinner • Publisher: NY Research Press • Publisher Imprint: NY Research Press • BISAC: Software Development & Engineering - GeneralComputer system verification is an activity that involves assessing the consistency, complet...

• Author(s): Francoise Detienne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralSoftware Design - Cognitive Aspects covers a variety of areas including software analysis, design, coding...

• Author(s): Leen Ammeraal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical obje...

• Author(s): Radek Silhavy | Petr Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralMachine Learning Techniques to Identify the Importance of Data Driven Factors in Citation Classification.- Aca...

• Author(s): Alfred Aho • Publisher: Pearson Education Limited • Publisher Imprint: Pearson Education LimitedCompilers: Principles, Techniques and Tools, known to professors, students, and developers worldwide as the Dragon Book, is available in ...

• 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): Patricia Bouyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science...

• Author(s): Klaus Dette • Publisher: Springer • Publisher Imprint: Springer • BISAC: BioinformaticsDieser Band 2 der Reihe Mikrocomputer-Forum f}r Bildung und Wissenschaft enth{lt die }berarbeiteten Beitr{ge zum 3. CIP-Status-Kongre im Produktio...

• Author(s): Cristiano André Da Costa • Publisher: VDM Verlag • Publisher Imprint: VDM Verlag • BISAC: GeneralThe ubiquitous computing (ubicomp) area, sometimes called pervasive computing, presupposes a strong integration with the real world, wit...

• 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): Marvin Zelkowitz • Publisher: Academic Press • Publisher Imprint: Academic Press • BISAC: Computer ScienceAs the computer industry moves into the 21st century, the long-running Advances in Computers is ready to tackle the challenges ...

• 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): Alfonso J. Kinglow • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: Information TechnologyGeneral information on Software Applications and Utilities, h...

• Author(s): Sudeep Pasricha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Embedded Computer Systems

• Author(s): Adam Monsen | Fiona Burkart • Publisher: Sunrise Data Press • Publisher Imprint: Sunrise Data Press • BISAC: System Administration - GeneralZuverl�ssiges Self-Hosting ist ein authentisches und inspirierendes Self-Hosting-Tutorial des...

• Author(s): Shen Hao Harrison • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Hardware - Mainframes & MinicomputersA computer is a machine built on a foundation of sand. The silicon inside it comes ...

• 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): Sebastian Junges | Guy Katz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algori...

• 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): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engin...

• Author(s): Bernd Finkbeiner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on T...

• 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): Gaëlle Calvary • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralToday, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-ba...

• Author(s): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engin...

• Author(s): Migliaccio • Publisher: Wiley • Publisher Imprint: Wiley • Subject: Computer Science and Information Technology • BISAC: Electronics - GeneralFrom the Back CoverA complete and authoritative discussion of systems engineering and neura...

• 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): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International ...

• Author(s): Martin Wirsing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Project ManagementFrom the Back CoverService-Oriented Computing is a paradigm for developing and providing software ...