topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held as Part of the European Joint Confe
ISBN: 9783030174613 / Angielski / Miękka / 2019 / 433 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
195,42 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held as Part of the European Joint Confe
ISBN: 9783030174644 / Angielski / Miękka / 2019 / 413 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
195,42 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013271274 / Angielski / Twarda / 2020 / 448 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
322,63 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013271267 / Angielski / Miękka / 2020 / 448 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
263,93 zł |
 |
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
ISBN: 9783642360442 / Angielski / Miękka / 2013 / 213 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information...
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held ...
|
cena:
195,42 zł |
 |
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ISBN: 9783642259289 / Angielski / Miękka / 2012 / 215 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011.
The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and... This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering...
|
cena:
195,42 zł |
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
