• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Mathematics - Logic

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2949524]
• Literatura piękna
 [1817948]

  więcej...
• Turystyka
 [70715]
• Informatyka
 [151291]
• Komiksy
 [35671]
• Encyklopedie
 [23176]
• Dziecięca
 [612440]
• Hobby
 [136066]
• AudioBooki
 [1740]
• Literatura faktu
 [226030]
• Muzyka CD
 [378]
• Słowniki
 [2918]
• Inne
 [445441]
• Kalendarze
 [1181]
• Podręczniki
 [166545]
• Poradniki
 [469898]
• Religia
 [508035]
• Czasopisma
 [502]
• Sport
 [61392]
• Sztuka
 [242759]
• CD, DVD, Video
 [3348]
• Technologie
 [219537]
• Zdrowie
 [98738]
• Książkowe Klimaty
 [124]
• Zabawki
 [2382]
• Puzzle, gry
 [3543]
• Literatura w języku ukraińskim
 [259]
• Art. papiernicze i szkolne
 [7107]
Kategorie szczegółowe BISAC

Kategoria BISAC: Mathematics >> Logic

ilość książek w kategorii: 5196

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Model-Based Safety and Assessment: 5th International Symposium, Imbsa 2017, Trento, Italy, September 11-13, 2017, Proceedings Bozzano, Marco 9783319641188 Springer
Model-Based Safety and Assessment: 5th International Symposium, Imbsa 2017, Trento, Italy, September 11-13, 2017, Proceedings

ISBN: 9783319641188 / Angielski / Miękka / 273 str.

ISBN: 9783319641188/Angielski/Miękka/273 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Marco Bozzano; Yiannis Papadopoulos
� 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 Hague, Matthew 9783319670881 Springer
Reachability Problems: 11th International Workshop, Rp 2017, London, Uk, September 7-9, 2017, Proceedings

ISBN: 9783319670881 / Angielski / Miękka / 193 str.

ISBN: 9783319670881/Angielski/Miękka/193 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Matthew Hague; Igor Potapov
​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 Friedrich Wehrung 9783319615981 Springer
Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups

ISBN: 9783319615981 / Angielski / Miękka / 242 str.

ISBN: 9783319615981/Angielski/Miękka/242 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Friedrich Wehrung
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 Moral, Serafín 9783319675817 Springer
Scalable Uncertainty Management: 11th International Conference, Sum 2017, Granada, Spain, October 4-6, 2017, Proceedings

ISBN: 9783319675817 / Angielski / Miękka / 438 str.

ISBN: 9783319675817/Angielski/Miękka/438 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Serafin Moral; Olivier Pivert; Daniel Sanchez
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.
Managing uncertainty and inconsistency has been extensively explored in Artificial Intelligence over a number of years. Now, with the advent of massive amounts of data and knowledge from distributed, heterogeneous, and potentially conflicting sources,...

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 Camelin, Nathalie 9783319684550 Springer
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.

ISBN: 9783319684550/Angielski/Miękka/276 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Nathalie Camelin; Yannick Esteve; Carlos Martin-Vide
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 Mousavi, Mohammad Reza 9783319689524 Springer
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.

ISBN: 9783319689524/Angielski/Miękka/125 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Mohammad Mousavi; Jiři Sgall
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 Larsen, Kim Guldstrand 9783319694825 Springer
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.

ISBN: 9783319694825/Angielski/Miękka/351 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang
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 Wu, Yunfang 9783319735726 Springer
Chinese Lexical Semantics: 18th Workshop, Clsw 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers

ISBN: 9783319735726 / Angielski / Miękka / 602 str.

ISBN: 9783319735726/Angielski/Miękka/602 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Yunfang Wu; Jia-Fei Hong; Qi Su
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 Brankovic, Ljiljana 9783319788241 Springer
Combinatorial Algorithms: 28th International Workshop, Iwoca 2017, Newcastle, Nsw, Australia, July 17-21, 2017, Revised Selected Papers

ISBN: 9783319788241 / Angielski / Miękka / 434 str.

ISBN: 9783319788241/Angielski/Miękka/434 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ljiljana Brankovic; Joe Ryan; William F. Smyth
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 Ellina Grigorieva 9783319909141 Birkhauser
Methods of Solving Number Theory Problems

ISBN: 9783319909141 / Angielski / Twarda / 391 str.

ISBN: 9783319909141/Angielski/Twarda/391 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ellina Grigorieva
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 Tkachuk, Vladimir V. 9783319796161 Springer
A Cp-Theory Problem Book: Functional Equivalencies

ISBN: 9783319796161 / Angielski / Miękka / 727 str.

ISBN: 9783319796161/Angielski/Miękka/727 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Vladimir V. Tkachuk
cena: 201,24

 Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, Uk, July 7-11, 2017, Tutorial Lectures Ianni, Giovambattista 9783319610320 Springer
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.

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 Durand-Lose, Jérôme 9783319924014 Springer
Machines, Computations, and Universality: 8th International Conference, McU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings

ISBN: 9783319924014 / Angielski / Miękka / 171 str.

ISBN: 9783319924014/Angielski/Miękka/171 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jerome Durand-Lose; Sergey Verlan
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 Baetens, Jan M. 9783319926742 Springer
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.

ISBN: 9783319926742/Angielski/Miękka/143 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jan Baetens; Martin Kutrib
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 Lambers, Leen 9783319929903 Springer
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.

ISBN: 9783319929903/Angielski/Miękka/179 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Leen Lambers; Jens Weber
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 Baranyi, Péter 9783319792811 Springer
Tp-Model Transformation-Based-Control Design Frameworks

ISBN: 9783319792811 / Angielski / Miękka / 230 str.

ISBN: 9783319792811/Angielski/Miękka/230 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Peter Baranyi (Institute of the Hungaria
cena: 201,24

 Rough Sets: International Joint Conference, Ijcrs 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings Nguyen, Hung Son 9783319993676 Springer
Rough Sets: International Joint Conference, Ijcrs 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

ISBN: 9783319993676 / Angielski / Miękka / 660 str.

ISBN: 9783319993676/Angielski/Miękka/660 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Hung Son Nguyen; Quang-Thuy Ha; Tianrui Li
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 Villavicencio, Aline 9783319997216 Springer
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.

ISBN: 9783319997216/Angielski/Miękka/500 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Aline Villavicencio; Moreira Viviane; Alberto Abad
cena: 201,24

 Artificial Intelligence and Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou, China, September 16-19, 2018, Proceedings Fleuriot, Jacques 9783319999562 Springer
Artificial Intelligence and Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou, China, September 16-19, 2018, Proceedings

ISBN: 9783319999562 / Angielski / Miękka / 269 str.

ISBN: 9783319999562/Angielski/Miękka/269 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jacques Fleuriot; Dongming Wang; Jacques Calmet
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 Kuznetsov, Sergei O. 9783030006167 Springer
Artificial Intelligence: 16th Russian Conference, Rcai 2018, Moscow, Russia, September 24-27, 2018, Proceedings

ISBN: 9783030006167 / Angielski / Miękka / 292 str.

ISBN: 9783030006167/Angielski/Miękka/292 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 201,24

Pierwsza Podprzednia  121  122  123  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia