Serie
lecture notes in computer science
(4)
theoretical computer science and general issues
(4)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    parker, david
    (25)
    biere, armin
    (6)
    beveren, steve van
    (1)
    burn, andrew
    (1)
    donaldson, alastair
    (1)
    edmundson, gary
    (1)
    nellis, joseph
    (1)
    neville, mark
    (1)
    parker, parker
    (1)
    taylar, andy
    (1)
    wolf, verena
    (1)
    Verlag / Hersteller
    cambridge university press
    (2)
    crc press
    (2)
    ptc communications
    (2)
    saint philip street press
    (4)
    springer berlin heidelberg
    (2)
    springer international publishing
    (3)
    worlds of the crystal moon
    (2)
    Verlag
    cambridge university press
    (2)
    crc press
    (2)
    ptc communications
    (2)
    saint philip street press
    (4)
    springer berlin heidelberg
    (2)
    springer international publishing
    (3)
    worlds of the crystal moon
    (2)
    Buchtyp
    softcover
    (11)
    taschenbuch
    (10)
    Genre
    mathematik
    (5)
    medizin
    (5)
    naturwissenschaften
    (5)
    technik
    (5)
    Schlagwort
    edv
    (9)
    informatik
    (9)
    general
    (6)
    history
    (4)
    business & economics
    (3)
    software engineering
    (3)
    crafts
    (2)
    crafts & hobbies
    (2)
    embeddedsystems
    (2)
    hobbies
    (2)
    model checking
    (2)
    models
    (2)
    open access
    (2)
    openaccess
    (2)
    programming and operating systems, special purpose and application-based systems, computer system implementation, control structures and microprogramming, mathematics of computing
    (2)
    sat and smt solving
    (2)
    software and hardware verification
    (2)
    specification and verification techniques
    (2)
    specificationandverificationtechniques
    (2)
    static and dynamic program analysis
    (2)
    system construction and transformation techniques
    (2)
    testing
    (2)
    theorem proving
    (2)
    theory of computation, special purpose and application-based systems, computer system implementation, control structures and microprogramming, mathematics of computing, open access, specification and
    (2)
    aboveground
    (1)
    advanced spatial analysis techniques
    (1)
    advanced tall building des
    (1)
    anwendungs-software
    (1)
    arch
    (1)
    architecting
    (1)
    architecture
    (1)
    articular cartilage pathology
    (1)
    articularcartilagepathology
    (1)
    artificial intelligence
    (1)
    artificialintelligence
    (1)
    automatatheory
    (1)
    automated debugging
    (1)
    automateddebugging
    (1)
    balcony
    (1)
    best tall buildings
    (1)
    biography & autobiography
    (1)
    bourgeois
    (1)
    building tall
    (1)
    buildings
    (1)
    burj khalifa
    (1)
    business
    (1)
    business ethics
    (1)
    business intelligence tools
    (1)
    causes and outcomes of revolution
    (1)
    comparative political history
    (1)
    compositionalandrefinement-basedmethodologies
    (1)
    computer
    (1)
    computer security
    (1)
    computers
    (1)
    computersecurity
    (1)
    conservative orthopedics
    (1)
    conservativeorthopedics
    (1)
    consumer finance
    (1)
    counter-revolution studies
    (1)
    ctbuh
    (1)
    cyber physical systems (cpss)
    (1)
    cyberphysicalsystems(cpss)
    (1)
    dense
    (1)
    depression
    (1)
    digital elevation modelling
    (1)
    distributed gis systems
    (1)
    double skin facade
    (1)
    earth sciences
    (1)
    economic history
    (1)
    economics
    (1)
    education
    (1)
    embedded systems
    (1)
    emmanuel
    (1)
    emmanuel le roy ladurie
    (1)
    enterprise applications
    (1)
    environmental data analysis
    (1)
    erzählende literatur
    (1)
    essays
    (1)
    european modernisation
    (1)
    façade technology
    (1)
    feuillton
    (1)
    fiction
    (1)
    finance
    (1)
    formal methods
    (1)
    formal testing
    (1)
    formal verification
    (1)
    formalmethods
    (1)
    formaltesting
    (1)
    formalverification
    (1)
    g
    (1)
    general & world history
    (1)
    genetic algorithm clustering
    (1)
    geographische informationssysteme (gis) und fernerkundung
    (1)
    geography
    (1)
    geospatial data modelling
    (1)
    guangzhou international finance center
    (1)
    high-rise engineering
    (1)
    history / general
    (1)
    history / world
    (1)
    ideological transformation
    (1)
    Erscheinungsjahr
    1996
    (1)
    2000
    (1)
    2003
    (1)
    2004
    (1)
    2006
    (1)
    2007
    (1)
    2008
    (1)
    2012
    (1)
    2013
    (3)
    2014
    (1)
    2015
    (1)
    2017
    (1)
    2018
    (2)
    2019
    (1)
    2020
    (6)
    2021
    (1)
    2022
    (1)
    Ergebnis: 25 Artikel
    Autor: Parker, David

    Datenschutz-Einstellungen