Markovian Demand Inventory Models
Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar
Inbunden, 2009
1 729 kr
Del 11429 i serien Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Häftad, Engelska, 2019
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
Produktinformation
- Utgivningsdatum2019-04-04
- Mått155 x 235 x 17 mm
- Vikt434 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor258
- FörlagSpringer Nature Switzerland AG
- ISBN9783030175016
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 108
Markovian Demand Inventory Models
Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar
Häftad, 2012
1 729 kr
Del 11823
Del 11990
Verification, Model Checking, and Abstract Interpretation
Dirk Beyer, Damien Zufferey
Häftad, 2020
1 189 kr
Del 14573
Del 14550
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 15427
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Hoppa över listan
Du kanske också är intresserad av
Del 10805
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman
Häftad, 2018
749 kr
Del 14550
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Inbunden, 2020
929 kr
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad, 2020
839 kr
Del 10806
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman
Häftad, 2018
749 kr
Del 13487
Del 9681
Del 13047