Serie
lecture notes in computer science
(37)theoretical computer science and general issues
(23)programming and software engineering
(13)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
huisman, marieke
(3)legay, axel
(3)beyer, dirk
(2)kuncak, viktor
(2)majumdar, rupak
(2)margaria, tiziana
(2)abelló, alberto
(1)aceto, luca
(1)ahmed, amal
(1)anjorin, anthony
(1)apduhan, bernady o.
(1)ayala-rincón, mauricio
(1)bacci, giorgio
(1)bacci, giovanni
(1)baier, christel
(1)bartocci, ezio
(1)bauer, lujo
(1)bellatreche, ladjel
(1)borruso, giuseppe
(1)casimiro, antónio
(1)cimatti, alessandro
(1)cuzzocrea, alfredo
(1)dal lago, ugo
(1)de lara, juan
(1)de lemos, rogério
(1)duan, zhenhua
(1)dutle, aaron
(1)espinoza, huáscar
(1)falcone, yliès
(1)felderer, michael
(1)ferreira, pedro m.
(1)gabmeyer, sebastian
(1)gallagher, john p.
(1)garlan, david
(1)gaspers, serge
(1)gervasi, osvaldo
(1)ghezzi, carlo
(1)gibbons, jeremy
(1)giese, holger
(1)hague, matthew
(1)ingólfsdóttir, anna
(1)itsykson, vladimir
(1)ivanovic, mirjana
(1)johnsen, einar broch
(1)kalinowski, marcos
(1)khomenko, victor
(1)küsters, ralf
(1)liu, shaoying
(1)mardare, radu
(1)misra, sanjay
(1)murgante, beniamino
(1)muñoz, césar
(1)muñoz, césar a.
(1)méndez fernández, daniel
(1)nagoya, fumiko
(1)narkawicz, anthony
(1)ouhammou, yassine
(1)paskevich, andrei
(1)petrenko, alexander k.
(1)petrucci, laure
(1)plump, detlef
(1)polikarpova, nadia
(1)potapov, igor
(1)rocha, ana maria a.c.
(1)romanovsky, alexander
(1)roux, olivier h.
(1)rubin, julia
(1)russo, alessandra
(1)sarro, federica
(1)scedrov, andre
(1)schneider, steve
(1)schürr, andy
(1)seceleanu, cristina
(1)sirjani, marjan
(1)stankova, elena
(1)steffen, bernhard
(1)stevens, perdita
(1)sulzmann, martin
(1)taniar, david
(1)tian, cong
(1)torre, carmelo m.
(1)troubitsyna, elena a.
(1)turhan, burak
(1)voronkov, andrei
(1)walsh, toby
(1)wies, thomas
(1)winkler, dietmar
(1)woeginger, gerhard
(1)yang, hongseok
(1)zakharov, victor
(1)Verlag / Hersteller
springer berlin heidelberg
(4)springer international publishing
(34)Schlagwort
computer software selection and evaluation
(38)edv
(38)informatik
(38)software engineering
(31)theorie
(30)semantics
(27)software-entw.
(23)computersoftwareselectionandevaluation
(21)model checking
(21)artificial intelligence
(19)formal logic
(18)allgemeines
(16)program compilers
(15)programming languages
(15)verification
(15)formal methods
(14)artificialintelligence
(12)compiler
(11)informationstechnologie
(11)it
(11)modelchecking
(11)technologie
(11)Übersetzer (edv)
(11)programmieren
(10)algorithmus
(9)computer architecture
(9)programmiersprachen
(9)specifications
(9)formalmethods
(8)problem solving
(8)softwareengineering
(8)formallogic
(7)mathematik
(7)distributed computer systems
(6)internet
(6)problemsolving
(6)programming language
(6)programminglanguages
(6)betriebssystem (edv)
(5)computer
(5)datenverarbeitung
(5)formal specification
(5)graph theory
(5)informatik, computer
(5)intelligenz
(5)operating system
(5)pc-hardware
(5)temporal logic
(5)berufe
(4)computer programming languages
(4)computerprogramminglanguages
(4)datasecurity
(4)ki
(4)künstliche intelligenz
(4)temporallogic
(4)theorem proving
(4)anwendungen
(3)computer programming
(3)data security
(3)databases
(3)diskret (mathematisch)
(3)distributedcomputersystems
(3)graph transformation
(3)graphtheory
(3)graphtransformation
(3)hardware
(3)künstliche intelligenz - ai
(3)model transformation
(3)modeltransformation
(3)netzwerk (elektronisch)
(3)parallel processing systems
(3)petri nets
(3)processors
(3)programcompilers
(3)robotics
(3)s
(3)separation logic
(3)specification
(3)allgemein
(2)authentication
(2)automata theory
(2)automatatheory
(2)computer science
(2)computerarchitecture
(2)computerprogrammierung und softwareentwicklung
(2)concurrency
(2)context sensitive grammars
(2)cryptography
(2)data privacy
(2)debugging
(2)formal languages
(2)formal languages and automata theory
(2)formal verification
(2)formal verifications
(2)formalspecification
(2)formalverification
(2)formalverifications
(2)genetic algorithms
(2)java
(2)learning systems
(2)Ergebnis: 38 Artikel
Schlagwort: computer software selection and evaluation
