Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, Oct... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Sandsynlighedsregning og statistik
  6. Kompilatorer og fortolkere
  7. Softwareudvikling
  8. Matematisk datateori
  9. Stochastic Model Checking: International Autumn School, ROCKS...

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

(Bog, Paperback / softback, Engelsk)
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kompilatorer og fortolkere Matematik til informatikfag Matematisk datateori Sandsynlighedsregning og statistik Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 31-10-2014
Første udgivelsesår 2014
Serie Lecture Notes in Computer Science
Illustrationer 69 Illustrations, black and white; XII, 281 p. 69 illus.
Fagredaktør Anne Remke, Marielle Stoelinga
Originalsprog Germany
Sideantal 281
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 281 pages, 69 Illustrations, black and white; XII, 281 p. 69 illus.
Mål 160 x 239 x 18
ISBN-13 / EAN-13 9783662454886