Serie
lecture notes in computer science
(17)theoretical computer science and general issues
(4)programming and software engineering
(3)workshops in computing
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
lau, kung-kiu
(3)clement, timothy p.
(2)bauer, f. l.
(1)bauer, friedrich l.
(1)bodei, chiara
(1)bossi, annalisa
(1)brauer, w.
(1)castelli, mauro
(1)chang, bor-yuh evan
(1)deville, yves
(1)dezani-ciancaglini, m.
(1)falaschi, moreno
(1)ferrari, gianluigi
(1)flener, pierre
(1)fribourg, laurent
(1)fuchs, norbert
(1)gallagher, john
(1)garcía-sánchez, pablo
(1)haasdijk, evert
(1)hackl, c. e.
(1)huet, g.
(1)huisman, marieke
(1)iman poernomo
(1)john n. crossley
(1)kitzelmann, emanuel
(1)martin wirsing
(1)mcdermott, james
(1)montanari, u.
(1)pettorossi, alberto
(1)plasmeijer, rinus
(1)priami, corrado
(1)proietti, maurizio
(1)robinson, j. a.
(1)ryu, sukyoung
(1)schmid, ute
(1)schwichtenberg, h.
(1)sekanina, lukas
(1)susanne biundo
(1)turini, franco
(1)Ábrahám, erika
(1)Verlag / Hersteller
springer berlin heidelberg
(13)springer international publishing
(6)springer london
(3)Schlagwort
edv
(24)informatik
(24)
programsynthesis
(24)program synthesis
(23)logic
(15)logics and meanings of programs
(12)logic programming
(11)programming
(11)logicprogramming
(10)theory of computation
(10)computerprogrammierung und softwareentwicklung
(9)program transformation
(9)programtransformation
(9)programming techniques
(8)software engineering
(8)artificial intelligence
(7)program analysis
(7)programanalysis
(7)mathematical logic and formal languages
(6)semantics
(6)formal methods
(5)model checking
(5)program verification
(5)programverification
(5)theorie
(5)algorithms
(4)allgemeines
(4)debugging
(4)formalmethods
(4)functional programming
(4)functionalprogramming
(4)mathematical logic and foundations
(4)modelchecking
(4)programming language
(4)software
(4)verification
(4)complexity
(3)computational logic
(3)computer science
(3)concurrency
(3)development
(3)imperative programming
(3)imperativeprogramming
(3)logikprogrammierung
(3)optimization
(3)programmieren (edv)
(3)programmiersprachen
(3)programminglanguage
(3)softwareengineering
(3)artificialintelligence
(2)automated deduction
(2)automateddeduction
(2)computer science logic and foundations of programming
(2)computerscience
(2)constraint programming
(2)distributed systems
(2)distributedsystems
(2)formal method
(2)formalmethod
(2)language
(2)logik
(2)mathematik
(2)parallelism
(2)philosophie
(2)programmsynthese
(2)prolog
(2)proving
(2)softw
(2)software engineering/programming and operating systems
(2)staticanalysis
(2)theorem proving
(2)theoretische informatik
(2)verificati
(2)abstract analysis
(1)abstract domains
(1)abstract interpretation
(1)abstractanalysis
(1)abstractdomains
(1)abstractinterpretation
(1)abstractions and refinement
(1)abstractionsandrefinement
(1)access control
(1)accesscontrol
(1)active knowledge
(1)adaptive and pervasive systems
(1)algorithm
(1)algorithms for love
(1)algorithmsforlove
(1)algorithmus
(1)answer set programming
(1)answersetprogramming
(1)applications
(1)automated program development
(1)automatedprogramdevelopment
(1)behavior
(1)benchmarks
(1)berechenbarkeit
(1)business process
(1)businessprocess
(1)component-based systems
(1)Erscheinungsjahr
1975
(1)1982
(1)1992
(2)1993
(1)1994
(2)1996
(1)1997
(1)1998
(1)1999
(1)2000
(1)2001
(1)2002
(1)2010
(2)2012
(1)2015
(2)2016
(1)2017
(1)2018
(1)2019
(1)2021
(1)Ergebnis: 24 Artikel
Schlagwort: programsynthesis
