Serie
lecture notes in computer science
(26)
theoretical computer science and general issues
(10)
programming and software engineering
(6)
chapman & hall/crc textbooks in computing
(3)
lecture notes in artificial intelligence
(3)
Detailwarengruppe
informatik
(17)
programmiersprachen
(12)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    arts, thomas
    (2)
    hanus, michael
    (2)
    hughes, john
    (2)
    koopman, pieter
    (2)
    mark c. lewis
    (2)
    mohnen, markus
    (2)
    abreu, salvador
    (1)
    bowman, william j.
    (1)
    byrski, aleksander
    (1)
    castor, fernando
    (1)
    clack, chris
    (1)
    daniel le metayer
    (1)
    feng, xinyu
    (1)
    flatt, matthew
    (1)
    gamboa, ruben
    (1)
    garcia, ronald
    (1)
    ghazawi, tarek el-
    (1)
    guo, hai-feng
    (1)
    igarashi, atsushi
    (1)
    jean-pierre banatre
    (1)
    jäschke, robert
    (1)
    klein, gerwin
    (1)
    koch, andreas
    (1)
    krishnamurthy, ram k.
    (1)
    lindley, sam
    (1)
    lisa lacher (university of houston, texas, usa)
    (1)
    liu, yu david
    (1)
    mark c. lewis (trinity university, san antonio, texas, usa)
    (1)
    mcallister, john
    (1)
    mcbride, conor
    (1)
    muhammad akram
    (1)
    muhammad imran shafi
    (1)
    myreen, magnus
    (1)
    palka, michal
    (1)
    park, sungwoo
    (1)
    pena, ricardo
    (1)
    richard sharp
    (1)
    rocha, ricardo
    (1)
    sagonas, kostis
    (1)
    sannella, don
    (1)
    seipel, dietmar
    (1)
    simon b. jones
    (1)
    stefan holander (finnmark university college)
    (1)
    trinder, phil
    (1)
    urban, christian
    (1)
    valtchev, petko
    (1)
    van horn, david
    (1)
    virbitskaite, irina
    (1)
    voronkov, andrei
    (1)
    woods, roger
    (1)
    zhang, xingyuan
    (1)
    Verlag / Hersteller
    crc press
    (4)
    springer berlin heidelberg
    (10)
    springer international publishing
    (13)
    springer, berlin springer international publishing springer
    (3)
    taylor & francis
    (3)
    Verlag
    crc press
    (4)
    springer
    (4)
    springer berlin heidelberg
    (10)
    springer international publishing
    (16)
    springer, berlin
    (4)
    taylor & francis
    (3)
    Buchtyp
    softcover
    (29)
    taschenbuch
    (5)
    Genre
    mathematik
    (27)
    medizin
    (27)
    naturwissenschaften
    (27)
    technik
    (27)
    Schlagwort
    functional languages
    (36)
    edv
    (27)
    informatik
    (27)
    functionallanguages
    (19)
    programmiersprachen
    (14)
    software engineering
    (11)
    functional programming
    (9)
    theorie
    (9)
    artificial intelligence
    (8)
    functionalprogramming
    (8)
    haskell
    (8)
    software-entw.
    (8)
    embedded systems
    (6)
    artificialintelligence
    (5)
    logic programming
    (5)
    mathematik
    (5)
    object-oriented programming
    (5)
    programming
    (5)
    programming languages
    (5)
    clean
    (4)
    compiler
    (4)
    embeddedsystems
    (4)
    formal logic
    (4)
    funktional
    (4)
    intelligenz
    (4)
    ki
    (4)
    künstliche intelligenz
    (4)
    künstliche intelligenz - ai
    (4)
    linguistics
    (4)
    logics and meanings of programs
    (4)
    model checking
    (4)
    parallelism
    (4)
    programmier- und skriptsprachen, allgemein
    (4)
    programmieren (edv)
    (4)
    algorithmus
    (3)
    computer programming
    (3)
    computer science
    (3)
    constraints
    (3)
    curly braces
    (3)
    distributed computer systems
    (3)
    formal methods
    (3)
    formallogic
    (3)
    gui element
    (3)
    logicprogramming
    (3)
    machine vision
    (3)
    object oriented languages
    (3)
    object-orientedprogramming
    (3)
    parallelprocessingsystems
    (3)
    private var
    (3)
    program analysis
    (3)
    program verification
    (3)
    programcompilers
    (3)
    programming language implementation
    (3)
    programming languages, compilers, interpreters
    (3)
    programming techniques
    (3)
    programminglanguages
    (3)
    real-time systems
    (3)
    recursive case
    (3)
    semantics
    (3)
    theorem proving
    (3)
    typesystems
    (3)
    water park
    (3)
    ai work
    (2)
    algorithms
    (2)
    applications
    (2)
    artificial i
    (2)
    avl tree
    (2)
    biological motion processing
    (2)
    compilers
    (2)
    computational geometry
    (2)
    computer architecture
    (2)
    computer systems
    (2)
    computerprogramming
    (2)
    computersystems
    (2)
    concurrency concepts
    (2)
    conference proceedings
    (2)
    constraint solving
    (2)
    data structure algorithms
    (2)
    datenverarbeitung
    (2)
    debugging
    (2)
    declarative programming
    (2)
    distributed systems
    (2)
    distributedcomputersystems
    (2)
    distributedprogramminglanguages
    (2)
    distributedsystems
    (2)
    dynamic programming
    (2)
    erlang programming
    (2)
    erlangprogramming
    (2)
    expert systems
    (2)
    formal languages
    (2)
    formal semantics
    (2)
    formal software verification
    (2)
    formallanguages
    (2)
    formalmethods
    (2)
    formalsemantics
    (2)
    functional programming techniques
    (2)
    functional theorem proving
    (2)
    fvc ratio
    (2)
    general
    (2)
    graph theory
    (2)
    Erscheinungsjahr
    1991
    (1)
    2000
    (1)
    2001
    (1)
    2002
    (1)
    2003
    (1)
    2004
    (1)
    2009
    (1)
    2010
    (1)
    2011
    (2)
    2012
    (1)
    2013
    (2)
    2014
    (2)
    2015
    (3)
    2016
    (4)
    2017
    (1)
    2018
    (1)
    2019
    (3)
    2020
    (3)
    2021
    (3)
    2023
    (3)

    Datenschutz-Einstellungen