Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
fatima zohra drissi
(2)abhilash akula
(1)baraa kareem
(1)barais, olivier
(1)barbora bühnová
(1)bartenstein, oskar
(1)barthe, gilles
(1)bhattacharya, sourav
(1)blundo, carlo
(1)clark, tony
(1)combemale, benoit
(1)dekera kenneth kwaghtyo
(1)ega jeshwanth kumar
(1)geske, ulrich
(1)j.h. fetzer
(1)king, andy
(1)laneve, cosimo
(1)lazaro alves borges
(1)leonela zambrano
(1)m. niranjanamurthy
(1)manhal ahmad saleh al-hussein
(1)milazzo, paolo
(1)mohamed aziz boussaid
(1)nada abdulzahra
(1)nadine stache
(1)nielson, hanne r.
(1)ong, luke
(1)paul tersue iorlaha
(1)pearce, david
(1)priya r. swaminarayan
(1)raid rafi omar al-nima
(1)s. balamurugan
(1)seipel, dietmar
(1)takata, osamu
(1)thota kalyan kumar
(1)umeda, masanobu
(1)unnati a. patel
(1)varró, dániel
(1)vinju, jurgen
(1)wai lok woo
(1)warmer, jos
(1)wimmer, manuel
(1)winter, victor l.
(1)wolf, armin
(1)Verlag / Hersteller
edizioni sapienza
(13)springer berlin heidelberg
(7)springer international publishing
(2)Schlagwort
verifica
(25)edv
(12)informatik
(12)verification
(9)logic
(5)programmiersprachen
(4)semantics
(4)software engineering
(4)theorie
(4)complexity
(3)formal methods
(3)formalmethods
(3)intelligenz
(3)ki
(3)künstliche intelligenz
(3)künstliche intelligenz - ai
(3)model checking
(3)modelchecking
(3)software-entw.
(3)softwareengineering
(3)ai logics
(2)algorithms
(2)allgemeines
(2)audit
(2)computer science
(2)computerscience
(2)controllo
(2)contrôle
(2)data mining
(2)design
(2)formal method
(2)formalmethod
(2)java
(2)logic programming
(2)management
(2)modeling
(2)object constraint language
(2)objectconstraintlanguage
(2)ocl
(2)programmier- und skriptsprachen, allgemein
(2)programming
(2)programming language
(2)software development
(2)software engine
(2)software engineering/programming and operating systems
(2)softwaredevelopment
(2)technik
(2)uml
(2)vérification
(2)agent-based software development
(1)agent-basedsoftwaredevelopment
(1)ai classicalcomplexity
(1)ailogics
(1)algorithm
(1)analisi
(1)analysis
(1)annuale
(1)applied computing
(1)appliedcomputing
(1)artificial intelligence
(1)artificialintelligence
(1)assicurazione
(1)attribute grammars
(1)attributegrammars
(1)audit social
(1)audit sociale
(1)auditeur social
(1)auditor sociale
(1)autodichiarazione
(1)automata
(1)automated reasoning
(1)automi finiti
(1)bandwidth
(1)behavior
(1)biometrico
(1)c++ programming language
(1)c++programminglanguage
(1)caso di test
(1)certificato
(1)classical logic
(1)cognition
(1)complex system
(1)complex systems
(1)complexsystem
(1)complexsystems
(1)component-based software development
(1)component-basedsoftwaredevelopment
(1)composition
(1)computation by abstract device
(1)computational logic
(1)computationallogic
(1)computer
(1)computer architecture
(1)computer communication networks
(1)computer science, general
(1)computerarchitecture
(1)consciousness
(1)constraint
(1)context-free grammars
(1)context-freegrammars
(1)Erscheinungsjahr
1996
(1)2001
(2)2002
(1)2003
(1)2005
(1)2006
(1)2008
(2)2014
(1)2016
(1)2022
(3)2023
(5)2024
(4)2025
(2)Ergebnis: 25 Artikel
Schlagwort: verifica
