» książki » Computers - Programming - Compilers
 |
Model and Data Engineering: 7th International Conference, Medi 2017, Barcelona, Spain, October 4-6, 2017, Proceedings
ISBN: 9783319668536 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017. The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software assessments; modeling and formal methods; data engineering; data exploration and exp loitation; modeling heterogeneity and behavior; model-based applications; and...This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spa... |
cena:
209,75 |
 |
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 1
ISBN: 9783319671123 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis... This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 1... |
cena:
209,75 |
 |
Runtime Verification: 17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings
ISBN: 9783319675305 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and...This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in ... |
cena:
209,75 |
 |
Sdl 2017: Model-Driven Engineering for Future Internet: 18th International Sdl Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
ISBN: 9783319680149 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL models;
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. T...
|
cena:
209,75 |
 |
Service-Oriented Computing - Icsoc 2016 Workshops: Asoca, Isycc, Bsci, and Satellite Events, Banff, Ab, Canada, October 10-13, 2016, Revised Selected
ISBN: 9783319681351 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proceedings
ISBN: 9783319681665 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, h...
|
cena:
209,75 |
 |
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017,
ISBN: 9783319686899 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specifica...
|
cena:
209,75 |
 |
Prima 2017: Principles and Practice of Multi-Agent Systems: 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
ISBN: 9783319691305 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, hel...
|
cena:
209,75 |
 |
Conceptual Modeling: 36th International Conference, Er 2017, Valencia, Spain, November 6-9, 2017, Proceedings
ISBN: 9783319699035 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
