» książki » Computers - Programming - Compilers
topmenu
 |
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 |
 |
Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-
ISBN: 9783319948201 / Angielski / Miękka / 642 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
362,27 |
 |
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 |
 |
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-
ISBN: 9783319955810 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018The 44 ...
|
cena:
362,27 |
 |
Learn to Program with Python 3: A Step-By-Step Guide to Programming
ISBN: 9781484238783 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,01 |
 |
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 |
 |
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:
201,24 |
 |
C Programming in easy steps: Updated for the GNU Compiler version 6.3.0
ISBN: 9781840788402 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
60,34 |
 |
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:
201,24 |
 |
CMake Cookbook: Building, testing, and packaging modular software with modern CMake
ISBN: 9781788470711 / Angielski / Miękka / 606 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
259,64 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
ISBN: 9783030037680 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
301,89 |
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
