» książki » Computers - Programming - Compilers
topmenu
 |
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proc
ISBN: 9783319703886 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions.
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 20...
|
cena:
201,24 |
 |
Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings
ISBN: 9783319712369 / Angielski / Miękka / 555 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. The volume also contains two invited talks in full-paper length.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November...
|
cena:
201,24 |
 |
Tools and Methods of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
ISBN: 9783319717333 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected
ISBN: 9783319723075 / Angielski / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions.
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools,...
|
cena:
201,24 |
 |
Software Technologies: Applications and Foundations: Staf 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
ISBN: 9783319747293 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, Refsq 2018, Utrecht, the Netherlands, March 19-22, 2
ISBN: 9783319772424 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018. The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions.
This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFS...
|
cena:
201,24 |
 |
NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings
ISBN: 9783319779348 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 20...
|
cena:
201,24 |
 |
Inductive Logic Programming: 27th International Conference, Ilp 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
ISBN: 9783319780894 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Fundamental Approaches to Software Engineering: 21st International Conference, Fase 2018, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783319893624 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Theory and Practice of Model Transformation: 10th International Conference, Icmt 2017, Held as Part of Staf 2017, Marburg, Germany, July 17-18, 2017,
ISBN: 9783319614724 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Modelling Foundations and Applications: 13th European Conference, Ecmfa 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedin
ISBN: 9783319614816 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
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
