» książki » Computers - Programming - Compilers
topmenu
 |
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:
204,55 |
 |
Scala for Java Developers: A Practical Primer
ISBN: 9781484231074 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
131,97 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
Mastering Assembly Programming: From instruction set to kernel module with Intel processor
ISBN: 9781787287488 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
188,14 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
Make Your Own Python Text Adventure: A Guide to Learning Programming
ISBN: 9781484232309 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
143,18 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ISBN: 9783319733043 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming.
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angel...
|
cena:
171,85 |
 |
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:
204,55 |
 |
GNU Make Reference Manual: Version 4.2
ISBN: 9781680921557 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
67,17 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
204,55 |
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
