wyszukanych pozycji: 2
![]() |
Logic in Computer Science: Modelling and Reasoning about Systems
ISBN: 9780521543101 / Angielski / Miękka / 2004 / 440 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer ...
|
cena:
378,21 |
![]() |
Statistics: An Introduction Using R
ISBN: 9781118941096 / Angielski / Miękka / 2014 / 360 str. Termin realizacji zamówienia: ok. 30 dni roboczych. -...I know of no better book of its kind...- (Journal of the Royal Statistical Society, Vol 169 (1), January 2006) A revised and updated edition of this bestselling introductory textbook to statistical analysis using the leading free software package R This new edition of a bestselling title offers a concise introduction to a broad array of statistical methods, at a level that is elementary enough to appeal to a wide range of disciplines. Step-by-step instructions help the non-statistician to fully understand the methodology. The book covers the full range of... -...I know of no better book of its kind...- (Journal of the Royal Statistical Society, Vol 169 (1), January 2006) A revised a... |
cena:
163,02 |