Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	August 2017
Genre:	Schulbücher
	algorithmanalysisandproblemcomplexity / ArtificialIntelligence / Betriebssysteme / Compiler und Übersetzer / computerarchitecture / Evolutionaryalgorithms / geneticalgorithms / Informatik / Künstliche Intelligenz (KI) / multiobjectiveoptimization / ProgrammingLanguages / Software Engineering / Softwareengineering / testgenerations mehr...
ISBN:	9783319661759
EAN-Code:	9783319661759
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#10466 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 13 mm
Gewicht:	347 gr
Seiten:	224
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.-  Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.