![]() |
Model-Based Safety and Assessment: 5th International Symposium, Imbsa 2017, Trento, Italy, September 11-13, 2017, Proceedings
ISBN: 9783319641188 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. � This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions.
� This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento...
|
cena:
201,24 |
![]() |
Reachability Problems: 11th International Workshop, Rp 2017, London, Uk, September 7-9, 2017, Proceedings
ISBN: 9783319670881 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.
The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of... This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in Sep...
|
cena:
201,24 |
![]() |
Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
ISBN: 9783319615981 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings.
Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability typ...
|
cena:
201,24 |
![]() |
Scalable Uncertainty Management: 11th International Conference, Sum 2017, Granada, Spain, October 4-6, 2017, Proceedings
ISBN: 9783319675817 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.
The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Gr...
|
cena:
201,24 |
![]() |
Statistical Language and Speech Processing: 5th International Conference, Slsp 2017, Le Mans, France, October 23-25, 2017, Proceedings
ISBN: 9783319684550 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Statistical Language and Speech Processing, SLSP 2017, held in Le Mans, France, in October 2017. The 21 full papers presented were carefully reviewed and selected from 39 submissions.
This book constitutes the refereed proceedings of the 5th International Conference on Statistical Language and Speech Processing, SLSP 2017, held in...
|
cena:
201,24 |
![]() |
Topics in Theoretical Computer Science: Second Ifip Wg 1.8 International Conference, Ttcs 2017, Tehran, Iran, September 12-14, 2017, Proceedings
ISBN: 9783319689524 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions.
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017...
|
cena:
201,24 |
![]() |
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P
ISBN: 9783319694825 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETT...
|
cena:
201,24 |
![]() |
Chinese Lexical Semantics: 18th Workshop, Clsw 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers
ISBN: 9783319735726 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 18th Chinese Lexical Semantics Workshop, CLSW 2017, held in Leshan, China, in May 2017.The 48 full papers and 5 short papers included in this volume were carefully reviewed and selected from 176 submissions.
This book constitutes the thoroughly refereed post-workshop proceedings of the 18th Chinese Lexical Semantics Workshop, CLSW 2017, held in Leshan, Chi...
|
cena:
201,24 |
![]() |
Combinatorial Algorithms: 28th International Workshop, Iwoca 2017, Newcastle, Nsw, Australia, July 17-21, 2017, Revised Selected Papers
ISBN: 9783319788241 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-conference proceedings of the 28th International Workshopon Combinatorial Algorithms, IWOCA 2017, held in Newcastle, NSW, Australia, in July 2017.The 30 regular papers presented in this volume together with 5 invited talks were carefully reviewed and selected from 55 submissions.
This book constitutes the refereed post-conference proceedings of the 28th International Workshopon Combinatorial Algorithms, IWOCA 2017, held in Newc...
|
cena:
201,24 |
![]() |
Methods of Solving Number Theory Problems
ISBN: 9783319909141 / Angielski / Twarda / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A special case of Waring's problem as a representation of a number by the sum of the squares or cubes of other numbers is covered, as well as quadratic residuals, Legendre and Jacobi symbols, and interesting word problems related to the properties of numbers.
A special case of Waring's problem as a representation of a number by the sum of the squares or cubes of other numbers is covered, as well as quadrati...
|
cena:
201,24 |
![]() |
A Cp-Theory Problem Book: Functional Equivalencies
ISBN: 9783319796161 / Angielski / Miękka / 727 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, Uk, July 7-11, 2017, Tutorial Lectures
ISBN: 9783319610320 / Angielski / Miękka / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Machines, Computations, and Universality: 8th International Conference, McU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings
ISBN: 9783319924014 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Cellular Automata and Discrete Complex Systems: 24th Ifip Wg 1.5 International Workshop, Automata 2018, Ghent, Belgium, June 20-22, 2018, Proceedings
ISBN: 9783319926742 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in Ghent, Belgium, in June 2018.The 10 regular papers presented in this book were carefully reviewed and selected from a total of 16 submissions.
This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex S...
|
cena:
201,24 |
![]() |
Graph Transformation: 11th International Conference, Icgt 2018, Held as Part of Staf 2018, Toulouse, France, June 25-26, 2018, Proceedings
ISBN: 9783319929903 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions.
This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in ...
|
cena:
201,24 |
![]() |
Tp-Model Transformation-Based-Control Design Frameworks
ISBN: 9783319792811 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Rough Sets: International Joint Conference, Ijcrs 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
ISBN: 9783319993676 / Angielski / Miękka / 660 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This LNAI 1103 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2018, held in Quy Nhon, Vietnam, in August 2018.The 40 full papers presented together with 5 short papers were carefully reviewed and selected from 61 submissions.
This LNAI 1103 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2018, held in Quy Nhon, Vietnam, in August 20...
|
cena:
201,24 |
![]() |
Computational Processing of the Portuguese Language: 13th International Conference, Propor 2018, Canela, Brazil, September 24-26, 2018, Proceedings
ISBN: 9783319997216 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Artificial Intelligence and Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou, China, September 16-19, 2018, Proceedings
ISBN: 9783319999562 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, he...
|
cena:
201,24 |
![]() |
Artificial Intelligence: 16th Russian Conference, Rcai 2018, Moscow, Russia, September 24-27, 2018, Proceedings
ISBN: 9783030006167 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |