Serie
lecture notes in computer science
(18)
lecture notes in bioinformatics
(16)
Warengruppe
informatik/edv
(12)
biologie
(6)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    heiner, monika
    (2)
    priami, corrado
    (2)
    abate, alessandro
    (1)
    bartocci, ezio
    (1)
    bortolussi, luca
    (1)
    bourdon, jérémie
    (1)
    calder, muffy
    (1)
    ceska, milan
    (1)
    dada, joseph o.
    (1)
    danos, vincent
    (1)
    degano, pierpaolo
    (1)
    feret, jérôme
    (1)
    gilbert, david
    (1)
    gilmore, stephen
    (1)
    gorrieri, roberto
    (1)
    gupta, ashutosh
    (1)
    henzinger, thomas a.
    (1)
    koeppl, heinz
    (1)
    lio, pietro
    (1)
    mendes, pedro
    (1)
    paoletti, nicola
    (1)
    petrov, tatjana
    (1)
    roux, olivier
    (1)
    safránek, david
    (1)
    sanguinetti, guido
    (1)
    schachter, vincent
    (1)
    smallbone, kieran
    (1)
    uhrmacher, adelinde m.
    (1)
    wolf, verena
    (1)
    Verlag / Hersteller
    springer berlin heidelberg
    (8)
    springer international publishing
    (7)
    springer verlag gmbh
    (3)
    springer, berlin springer international publishing springer
    (2)
    Verlag
    springer
    (3)
    springer berlin heidelberg
    (8)
    springer international publishing
    (9)
    springer verlag gmbh
    (3)
    springer, berlin
    (3)
    Genre
    mathematik
    (17)
    medizin
    (17)
    naturwissenschaften
    (17)
    technik
    (17)
    Schlagwort
    edv
    (14)
    informatik
    (14)
    anwendungs-software
    (12)
    bioinformatik
    (8)
    biowissenschaften, allgemein
    (8)
    bioinformatics
    (7)
    biologie
    (7)
    model checking
    (7)
    simulation and modeling
    (7)
    computational biology
    (6)
    formal methods
    (6)
    artificial intelligence
    (5)
    computationalbiology
    (5)
    modelchecking
    (5)
    modeling
    (5)
    software engineering
    (5)
    artificialintelligence
    (4)
    boolean networks
    (4)
    computer appl. in life sciences
    (4)
    computer science
    (4)
    datenverarbeitung
    (4)
    formal logic
    (4)
    formallogic
    (4)
    simulation
    (4)
    theorie
    (4)
    3d modeling
    (3)
    aggregation
    (3)
    anwendungen
    (3)
    biochemical reactions
    (3)
    booleannetworks
    (3)
    computation by abstract devices
    (3)
    computational biology/bioinformatics
    (3)
    computational systems biology
    (3)
    computer networks
    (3)
    computernetworks
    (3)
    formalmethods
    (3)
    informationstechnologie
    (3)
    it
    (3)
    microarray
    (3)
    probability
    (3)
    signalprocessing
    (3)
    software-entw.
    (3)
    technologie
    (3)
    theory of computation
    (3)
    3dmodeling
    (2)
    applications
    (2)
    approximation
    (2)
    automated static analysis
    (2)
    automatedstaticanalysis
    (2)
    betrieb, verwaltung
    (2)
    big data
    (2)
    bigdata
    (2)
    biological networks
    (2)
    biologicalnetworks
    (2)
    biology
    (2)
    biomechanical modeling
    (2)
    compositional analysis
    (2)
    computational and systems biology
    (2)
    computationalsystemsbiology
    (2)
    computer systems
    (2)
    computermodellierung und -simulation
    (2)
    computersystems
    (2)
    conference proceedings
    (2)
    constraints
    (2)
    differential equations
    (2)
    discrete models
    (2)
    discretemodels
    (2)
    dynamic analysis
    (2)
    dynamic modeling
    (2)
    dynamicanalysis
    (2)
    dynamicmodeling
    (2)
    evolution
    (2)
    formalisms
    (2)
    game theory
    (2)
    gameth
    (2)
    gene network
    (2)
    gene networks
    (2)
    gene regulatory network
    (2)
    genenetworks
    (2)
    generegulatorynetwork
    (2)
    graph theory
    (2)
    graphtheory
    (2)
    in silico
    (2)
    informatics
    (2)
    life sciences, general
    (2)
    live and medical sciences
    (2)
    liveandmedicalsciences
    (2)
    logic
    (2)
    logical frameworks
    (2)
    machine learning
    (2)
    markov chain
    (2)
    mathematics
    (2)
    matrixalgebra
    (2)
    model verifi
    (2)
    molekularbiologie
    (2)
    network architecture
    (2)
    networkprotocols
    (2)
    petri net
    (2)
    programmieren (edv)
    (2)
    research
    (2)
    Erscheinungsjahr
    2003
    (1)
    2005
    (1)
    2006
    (1)
    2007
    (1)
    2008
    (1)
    2009
    (1)
    2012
    (1)
    2013
    (1)
    2014
    (1)
    2015
    (1)
    2016
    (1)
    2017
    (1)
    2018
    (1)
    2019
    (1)
    2020
    (1)
    2021
    (1)
    2022
    (1)
    2023
    (1)
    2024
    (1)
    2025
    (1)
    2026
    (1)

    Datenschutz-Einstellungen