Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
Perspectives in Concurrency
ISBN: 9781439809433 / Angielski / Twarda / 2009 / 484 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary topics, including Petri Nets, Temporal Logics, Program Verification with concurrent threads, Computational Trust, and more, this book presents emerging research in this important field. Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This... |
cena:
229,68 zł |
 |
Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
ISBN: 9783642360381 / Angielski / Miękka / 2013 / 259 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indi...
|
cena:
185,62 zł |
 |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
ISBN: 9783540240587 / Angielski / Miękka / 2004 / 532 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004. The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity... This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Compu... |
cena:
201,72 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
