Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Februar 2016
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / angewandte informatik / Businessrules / CognitiveProcesses / collectiveadaptivesystem / Concurrency / Datenbanken / Datenmanagement / DiscreteMathematics / Education / EDV / Theorie / Software-Entw. / Software Engineering / Encryption / HumanFactors / InformationSystems / KnowledgeManagement / Künstliche Intelligenz (KI) / Model-BasedTesting / probabilisticmodels / processalgebra / QuantitativeModeling / self-adaptivesystems / servicecomposition / SmartGrid / software-architecture / Softwaretesting / systemtesting / Wahrscheinlichkeitsrechnung und Statistik mehr...
ISBN:	9783662492239
EAN-Code:	9783662492239
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#9509 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 20 mm
Gewicht:	540 gr
Seiten:	356
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Automating Test Case Design, Selection and Evaluation.- Human-Oriented Formal Methods.- Modelling and Knowledge Management Applications: Systems and Domains.- Art of Service Composition and Formal Verification for Self-* Systems.