Browsing “Computer Science” (Showing 981 - 1000 of 10142 results)

Subjects

  • Unifying Theories of Programming and Formal Engineering M...

    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    • Format: Fixed
    • From $16.50 USD

  • Fuzzy Computational Ontologies in Contexts

    Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications
    by Yi Cai; Ching-man Au Yeung; Ho-fung Leung
    • Format: Fixed
    • From $35.70 USD

  • Introduction to Embedded System Design Using Field Progra...

    by Rahul Dubey
    • Format: Fixed
    • From $29.70 USD

  • Perspectives on Soviet and Russian Computing

    First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
    by John Impagliazzo; Eduard Proydakov
    • Format: Fixed
    • From $16.50 USD

  • Hardware and Software: Verification and Testing

    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    by Author
    • Format: Fixed
    • From $16.50 USD

  • Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    • Format: Fixed
    • From $16.50 USD

  • Human Aspects of Information Security, Privacy, and Trust

    Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
    • Format: Fixed
    • From $16.50 USD

  • Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    by Martin Leucker; ‎Charles Carroll Morgan
    • Edition: 1st
    • Format: Fixed
    • From $16.50 USD

  • Formal Modeling and Analysis of Timed Systems

    16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
    • Format: Reflowable
    • From $16.50 USD

  • Computer Science - Theory and Applications

    8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
    by Author
    • Format: Fixed
    • From $16.50 USD

  • hp-Version Discontinuous Galerkin Methods on Polygonal an...

    by Andrea Cangiani; Zhaonan Dong; Emmanuil H. Georgoulis; Paul Houston
    • Format: Fixed
    • From $21.00 USD

  • Accuracy Verification Methods

    Theory and Algorithms
    by Olli Mali; Pekka Neittaanmäki; Sergey Repin
    • Format: Reflowable
    • From $29.70 USD

  • Engineering Secure Future Internet Services and Systems

    Current Research
    by Author
    • Format: Fixed
    • From $16.50 USD

  • Dynamics of Pre-Strained Bi-Material Elastic Systems

    Linearized Three-Dimensional Approach
    by Surkay D. Akbarov
    • Format: Fixed
    • From $62.70 USD

  • Graph-Based Representation and Reasoning

    21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
    • Format: Fixed
    • From $16.50 USD

  • Coloured Petri Nets

    Modelling and Validation of Concurrent Systems
    by Kurt Jensen; Lars M. Kristensen
    • Format: Fixed
    • From $24.00 USD

  • Dependable Software Engineering. Theories, Tools, and App...

    5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
    by Author
    • Format: Reflowable
    • From $16.50 USD

  • Bayesian Networks and Influence Diagrams: A Guide to Cons...

    by Uffe B. Kjærulff; Anders L. Madsen
    • Edition: 2nd
    • Format: Reflowable
    • From $26.70 USD

  • Intelligent Computing Theories

    9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013, Proceedings
    • Format: Fixed
    • From $16.50 USD

  • Patterns of HCI Design and HCI Design of Patterns

    Bridging HCI Design and Model-Driven Software Engineering
    by Ahmed Seffah
    • Format: Fixed
    • From $29.70 USD
Showing 981 - 1000 of 10142 results
Page links