Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Quantitative Evaluation of Systems: 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018, Proceedings
ISBN: 9783319991535 / Angielski / Miękka / 2018 / 423 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions.
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in S...
|
cena:
201,72 zł |
 |
Programming Methodology
ISBN: 9780387953496 / Angielski / Twarda / 2002 / 470 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
403,47 zł |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9780387401157 / Angielski / Twarda / 2004 / 388 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
605,23 zł |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9781441923127 / Angielski / Miękka / 2010 / 388 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
605,23 zł |
 |
The Science of Quantitative Information Flow
ISBN: 9783319961293 / Angielski / Twarda / 2020 / 478 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
242,07 zł |
 |
Applying Landscape Ecology in Biological Conservation
ISBN: 9780387953229 / Angielski / Miękka / 2002 / 518 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Landscape ecology and conservation biology are rapidly developing disciplines, and a current synthesis of principles and applications in these two fields is needed under one cover. Many managers are not applying principles of landscape ecology in efforts to conserve biota, yet the loss of biological diversity could be reduced if broad-scale processes and patterns were consistently considered in management and conservation decisions. Bringing together insights from leaders in landscape ecology and conservation biology, this book explains how our knowledge about landscape ecology can help us...
Landscape ecology and conservation biology are rapidly developing disciplines, and a current synthesis of principles and applications in these two fie...
|
cena:
403,47 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
