Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
paun, gheorghe
(2)pogodalla, sylvain
(2)rozenberg, grzegorz
(2)salomaa, arto
(2)bowen, j. p.
(1)chen, jianer
(1)cooper, s. barry
(1)dillig, isil
(1)díaz, josep
(1)ernst-rüdiger olderog
(1)foret, annie
(1)freund, rudolph
(1)hinze, ralf
(1)horváth, zoltán
(1)howard straubing
(1)krzysztof r. apt
(1)lanese, ivan
(1)loeb, peter a.
(1)muskens, reinhard
(1)nicholls, j. e.
(1)pedreschi, dino
(1)perez-jimenez, mario j.
(1)plasmeijer, rinus
(1)prost, jean-philippe
(1)riscos-nunez, agustin
(1)rosario giustolisi
(1)rusu, vlad
(1)sangiorgi, davide
(1)tasiran, serdar
(1)wolff, manfred p. h.
(1)zaniolo, carlo
(1)zsók, viktoria
(1)Verlag / Hersteller
springer berlin heidelberg
(10)springer international publishing
(3)Schlagwort
mathematical logic a
(16)edv
(15)informatik
(15)mathematik
(8)informatik, computer
(7)datenverarbeitung
(6)logics and meanings of programs
(6)theorie
(6)logic
(5)software engineering
(5)allgemeines
(4)formal languages
(4)formal methods
(4)logik
(4)mathematical logic and formal languages
(4)programming techniques
(4)semantics
(4)theory of computation
(4)algorithms
(3)complexity
(3)computation by abstract devices
(3)computer science
(3)formal logic
(3)formallogic
(3)formalmethods
(3)informationstechnologie
(3)it
(3)programmieren
(3)programming languages
(3)programming languages, compilers, interpreters
(3)technologie
(3)algorithm
(2)anwendungen
(2)artificial intelligence
(2)automata
(2)bioinformatics
(2)biological membrane systems
(2)compiler
(2)complexity theory
(2)computational linguistics
(2)computational power
(2)computer system implementation
(2)computerprogrammierung und softwareentwicklung
(2)computerscience
(2)distributed systems
(2)distributedsystems
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)logic programming
(2)membrane algorithms
(2)models of computation
(2)modelsofcomputation
(2)programminglanguages
(2)schnittstelle (edv)
(2)simulation
(2)software-entw.
(2)theoretische informatik
(2)active databases
(1)activedatabases
(1)aktive datenbanken
(1)aktivedatenbanken
(1)algebra
(1)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)algorithmen und datenstrukturen
(1)algorithmus
(1)alternating turing machine
(1)analysis
(1)anwendungs-software
(1)applications of mathematics
(1)arithmetic and logic structures
(1)authentication
(1)automated testing
(1)automatedtesting
(1)banach spaces
(1)banachspaces
(1)betrieb, verwal
(1)bildbearbeitung
(1)bildverarbeitung
(1)bioinspired computing
(1)biologie
(1)biology
(1)biowissenschaften
(1)brane calculi
(1)c++
(1)c++ programming language
(1)c++programminglanguage
(1)cellular automata
(1)certificate validation
(1)clean
(1)combinatorial number theory
(1)combinatorialnumbertheory
(1)compactifications
(1)computability
(1)computability and decidability
(1)computabilityanddecidability
(1)computational complexity
(1)computationalcomplexity
(1)computer
(1)Erscheinungsjahr
1993
(1)1994
(2)1996
(1)2006
(1)2009
(1)2010
(1)2011
(2)2013
(1)2014
(1)2016
(1)2018
(3)2019
(1)Ergebnis: 16 Artikel
Schlagwort: mathematical logic a
