» książki » Computers - Programming - Compilers
topmenu
 |
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th In
ISBN: 9783319926117 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Tests and Proofs: 12th International Conference, Tap 2018, Held as Part of Staf 2018, Toulouse, France, June 27-29, 2018, Proceedings
ISBN: 9783319929934 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions.
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulo...
|
cena:
209,75 |
 |
Modelling Foundations and Applications: 14th European Conference, Ecmfa 2018, Held as Part of Staf 2018, Toulouse, France, June 26-28, 2018, Proceedin
ISBN: 9783319929965 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions.
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018...
|
cena:
209,75 |
 |
Software Technologies: 12th International Joint Conference, Icsoft 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers
ISBN: 9783319936406 / Angielski / Miękka / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions.
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT ...
|
cena:
209,75 |
 |
Evaluation of Novel Approaches to Software Engineering: 12th International Conference, Enase 2017, Porto, Portugal, April 28-29, 2017, Revised Selecte
ISBN: 9783319941349 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017. The 12 full papers presented were carefully reviewed and selected from 102 submissions.
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineeri...
|
cena:
209,75 |
 |
Model-Driven Engineering and Software Development: 5th International Conference, Modelsward 2017, Porto, Portugal, February 19-21, 2017, Revised Selec
ISBN: 9783319947631 / Angielski / Miękka / 507 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Integrated Formal Methods: 14th International Conference, Ifm 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ISBN: 9783319989372 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland,...
|
cena:
209,75 |
 |
Model and Data Engineering: 8th International Conference, Medi 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings
ISBN: 9783030008550 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Automated Technology for Verification and Analysis: 16th International Symposium, Atva 2018, Los Angeles, Ca, Usa, October 7-10, 2018, Proceedings
ISBN: 9783030010898 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
ISBN: 9783030021450 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
ISBN: 9783030029272 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November
ISBN: 9783030034177 / Angielski / Miękka / 588 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem
ISBN: 9783030034207 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus
ISBN: 9783030034238 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus
ISBN: 9783030034269 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
ISBN: 9783030035914 / Angielski / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Product-Focused Software Process Improvement: 19th International Conference, Profes 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings
ISBN: 9783030036720 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Service-Oriented Computing - Icsoc 2017 Workshops: Asoca, Isycc, Wesoacs, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected
ISBN: 9783319917634 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Multi-Agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
ISBN: 9783030141738 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783030167219 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
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
