खोज परिणाम - "computing"

  1. 4901

    A Contribution to Resource-Aware Architectures for Humanoid Robots द्वारा Kröhnert, Manfred

    प्रकाशित 2017
    विषय: “…Invasive Computing…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  2. 4902

    Die Notebook-Universität Karlsruhe (TH) NUKATH द्वारा Deussen, PeterJuling, WilfriedThum, Bernd [Hrsg.]

    प्रकाशित 2004
    विषय: “…Mobile Computing…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  3. 4903

    Theories of Informetrics and Scholarly Communication द्वारा Sugimoto, Cassidy R.

    प्रकाशित 2016
    विषय: “…Computing & information technology bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  4. 4904

    Chapter Machine Learning Techniques to Mitigate Nonlinear Phase Noise in Moderate Baud Rate Optical Communication Systems द्वारा Bogoni, A.

    प्रकाशित 2020
    विषय: “…Computing & information technology bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  5. 4905

    Finite-Size Effects in Stochastic Models of Population Dynamics: Applications to Biomedicine and Biology द्वारा Di Patti, Francesca

    प्रकाशित 2010
    विषय: “…Computing & information technology bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  6. 4906

    Study and design of topologies and components for high power density DC-DC converters द्वारा Calabrese, Giacomo

    प्रकाशित 2016
    विषय: “…Computing & information technology bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  7. 4907

    Machine Sensation Anthropomorphism and 'Natural' Interaction with Nonhumans द्वारा Leach, Tessa G.

    प्रकाशित 2020
    विषय: “…Computing & information technology bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  8. 4908

    Chapter Machine Learning Techniques to Mitigate Nonlinear Phase Noise in Moderate Baud Rate Optical Communication Systems द्वारा Bogoni, A.

    प्रकाशित 2020
    विषय: “…Computing & information technology bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  9. 4909

    Finite-Size Effects in Stochastic Models of Population Dynamics: Applications to Biomedicine and Biology द्वारा Di Patti, Francesca

    प्रकाशित 2010
    विषय: “…Computing & information technology bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  10. 4910

    Study and design of topologies and components for high power density DC-DC converters द्वारा Calabrese, Giacomo

    प्रकाशित 2016
    विषय: “…Computing & information technology bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  11. 4911

    VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers /

    प्रकाशित 2019
    विषय: “…Computer simulation.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  12. 4912

    Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    प्रकाशित 2018
    विषय - सूची: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  13. 4913
  14. 4914
  15. 4915
  16. 4916
  17. 4917
  18. 4918
  19. 4919
  20. 4920