topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings
ISBN: 9789811550539 / Angielski / Twarda / 2020 / 346 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 |
 |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings
ISBN: 9783662436516 / Angielski / Miękka / 2014 / 336 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and...
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which too...
|
cena:
201,72 |
 |
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019,
ISBN: 9783030324087 / Angielski / Miękka / 2019 / 528 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 |
 |
Theoretical Aspects of Software Engineering: 16th International Symposium, Tase 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
ISBN: 9783031103629 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Nap...
|
cena:
342,95 |
 |
Model and Data Engineering: 4th International Conference, Medi 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
ISBN: 9783319115863 / Angielski / Miękka / 2014 / 340 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, in September 2014. The 16 long papers and 12 short papers presented together with 2 invited talks were carefully reviewed and selected from 64 submissions. The papers specifically focus on model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of modeling and models engineering; data engineering; modeling for data management; and applications and tooling.
This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, ...
|
cena:
201,72 |
 |
Engineering of Complex Computer Systems: 28th International Conference, Iceccs 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings
ISBN: 9783031664557 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
266,28 |
 |
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings
ISBN: 9789811550560 / Angielski / Miękka / 2021 / 346 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 |
 |
From Victim To Victory
ISBN: 9789768290328 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
55,97 |
 |
Multi-criteria Supply Chain Network Design under Uncertainty
ISBN: 9783847337782 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) This work contributes to the debate on how uncertainty and concepts of sustainable development can be put into modern Supply Chain Network (SCN). First, we study the literature review, which is a review of the current state of the art of Supply Chain Network Design (SCND) approaches and resolution methods. Second, we propose a new methodology for multi-criteria SCND as well as its application to real SCN, in order to satisfy the customers demand and respect the environmental, social, legislative, and economical requirements. Third, we present a multi-objective model that captures a compromise...
This work contributes to the debate on how uncertainty and concepts of sustainable development can be put into modern Supply Chain Network (SCN). Firs...
|
cena:
354,20 |
| |
Le roman postmoderne: une lecture sémiotico-déconstructive
ISBN: 9783330974494 / Francuski / Miękka / 2017 / 616 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,42 |
| |
Captain Bone Spurs
ISBN: 9798452886624 / Angielski / Miękka / 2021 / 50 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
24,17 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
