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

• 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): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th editi...

• Author(s): Furio Honsell | Marino Miculan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice o...

• Author(s): Ankita Bansal • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • BISAC: Machine TheoryComputational Intelligence Techniques and Their Applications to Software Engineering Problems focuses on computational intelligence...

• 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): U. S. Department of the Interior • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: GeneralCoalVal is a menu-driven Windows program that produces cost-of...

• 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): 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): 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): 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): S. Mathioudakis • Publisher: Authorhouse UK • Publisher Imprint: Authorhouse UK • BISAC: Hardware - Personal Computers - GeneralThe purpose of the text is to offer the reader the chance to understand the concepts and structures, whic...

• Author(s): Elvin A. Hernandez • Publisher: Taylor & Francis • Publisher Imprint: Routledge • Subject: Photography • BISAC: Software Development & Engineering - Computer GraphicsCreate the Gotham for your Batman, the African savannah for...

• Author(s): Agim Çami • Publisher: Lulu.com • Publisher Imprint: Lulu.com • BISAC: Systems Architecture - GeneralComputer architecture in Albanian language. Libri i kushtohet tërësisht ndërtimit dhe funksionimit te kompjuterëve. Në kapitujt e ti...

• Author(s): David H. Eberly • Publisher: Taylor & Francis • Publisher Imprint: A K PETERS • BISAC: Software Development & Engineering - Computer GraphicsAn In-Depth, Practical Guide to GPGPU Programming Using Direct3D 11GPGPU Programming...

• 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): 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): 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): Simon Schilling • Publisher: Grin Verlag • Publisher Imprint: Grin Verlag • BISAC: Internet - GeneralStudienarbeit aus dem Jahr 2014 im Fachbereich Informatik - Internet, neue Technologien, Note: 1,0, FOM Hochschule für Oekonomie &am...

• 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): 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): Robert T. McCann • Publisher: IEEE Computer Society Press • Publisher Imprint: IEEE Computer Society Press • BISAC: Software Development & Engineering - Project ManagementAny way you look at it, software defects are expensive, fr...

• 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): Sai Krishna • Publisher: Glimmer Publishing • Publisher Imprint: Glimmer Publishing • BISAC: Operating Systems - UNIXAn operating system (OS) is system software that manages computer hardware and software resources and provides commo...

• 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): 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): J. L. Peterson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Natural Language Processing

• Author(s): Milan Jovic • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: Computer ScienceMany if not most computer systems are used by human users. The performance...

• Author(s): David Bainbridge • Publisher: Tottel Publishing • Publisher Imprint: Tottel Publishing • BISAC: Intellectual Property - GeneralInformation Technology and Intellectual Property Law is a complete exploration of the relationship between...

• 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): Tom Geudens • Publisher: O'Reilly Media • Publisher Imprint: O'Reilly Media • BISAC: Programming - Open SourceTake resource-oriented computing out for a spin with this hands-on introduction to NetKernel, and discover how ROC can impr...

• Author(s): Samuel Kounev • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book provides formal and informal definitions and taxonomies for self-aware computing ...

• Author(s): Tuna Peyo • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: Operating Systems - VirtualizationABOUT THE BOOK This book teaches you how to work with VMwa...

• 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): Roger Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis edited book presents the scientific outcomes of the 19th IEEE/ACIS International Conference on Software E...