Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Concurrent and Real-Time Systems: The CSP Approach
ISBN: 9780471623731 / Angielski / Miękka / 1999 / 528 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analyzed and shown to be correct.
This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces,... The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the p...
|
cena:
322,49 zł |
 |
Two-Fingers and the White Guy Who Said the Only Safe Place to Live Is on an Indian Reservation?
ISBN: 9781665534970 / Angielski / Miękka / 2021 / 236 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
72,54 zł |
 |
Itch-ish
ISBN: 9781087930510 / Angielski / Twarda / 2022 / 26 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
88,67 zł |
 |
Aging Deliberately: Paying Attention, Growing, and Thoroughly Enjoying the Ride
ISBN: 9781480827035 / Angielski / Miękka / 2016 / 242 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In a world where it is often expected that our later years of life will be a slow march toward inactivity and decreasing vitality, it can be challenging to make a conscious effort to age deliberately. Thankfully, it is possible to embrace the aging process and bring about changes that instigate joy, fulfillment, and fun as we gain years, wisdom, and experience. Steve Bannow and Tom Schneider, MD, draw upon their professional and personal experiences to share practical advice and illuminating insight that helps the aging population deal intelligently and holistically with virtually... In a world where it is often expected that our later years of life will be a slow march toward inactivity and decreasing vitality, it can be challe... |
cena:
93,28 zł |
 |
To Grow a Dollar
ISBN: 9781088087152 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
88,67 zł |
| |
To Grow a Dollar
ISBN: 9781088089651 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
43,53 zł |
 |
Herr Hase und der ungebetene Gast
ISBN: 9783785573181 / Niemiecki / Twarda / 2015 / 32 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Herr Hase ist ein sehr ordentlicher Hase ... bis eines Tages ein sehr unordentliches Kken aus einem Ei schlpft. Mitten in seinem Hasenhaus."Mama!", piepst es und strahlt Herrn Hase an. Der schlgt entsetzt seine Hasenohren zusammen. Er ist doch keine Mama! Und berhaupt: So ein zerstrubbeltes Entenkken macht nichts als rger, Dreck und Unordnung. Und das kann Herr Hase nicht gebrauchen, oder?Ein warmherziges Bilderbuch mit zwei ungleichen allerbesten Freunden!
Herr Hase ist ein sehr ordentlicher Hase ... bis eines Tages ein sehr unordentliches Kken aus einem Ei schlpft. Mitten in seinem Hasenhaus."Mama!", pi...
|
cena:
68,04 zł |
 |
E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
ISBN: 9783642391842 / Angielski / Miękka / 2013 / 211 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a range of works on end-to-end verifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable.
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held ...
|
cena:
177,36 zł |
 |
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
ISBN: 9783540206934 / Angielski / Miękka / 2003 / 246 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18 20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS, theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is one of a series of events organized by BCS-FACS to highlight the use of formal me- ods, emphasize their relevance to modern computing, and promote their wider application. As the architecture model of information systems evolves from - connected PCs, throughintranet (LAN) and internet (WAN), to...
Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18 20 December 2002. The occasion celebrated a Jubilee, n...
|
cena:
192,74 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
