Foundations of pygtk development, Ashley, W. David Krause, Andrew
Автор: Daly, Martin Wilson, Margo Название: Homicide ISBN: 020201178X ISBN-13(EAN): 9780202011783 Издательство: Taylor&Francis Рейтинг: Цена: 46950.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Martin Daly and Margo Wilson apply contemporary evolutionary theory to analysis of human motives and perceptions of self-interest, considering where and why individual interests conflict, using well-documented murder cases. This book attempts to understand normal social motives in murder as products of the process of evolution by natural selection.
Автор: Dannen, Chris Название: Introducing ethereum and solidity ISBN: 1484225341 ISBN-13(EAN): 9781484225349 Издательство: Springer Рейтинг: Цена: 34470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
1. Bridging the Blockchain Knowledge Gap
2. The Mist Browser
3. The EVM
4. Solidity Programming
5. Smart Contacts and Tokens
6. Mining Ether
7. Cryptoeconomics Survey
8. Dapp Deployment
9. Creating Private Chains
10. Use Cases
11. Advanced Concepts
Автор: W?sowski Название: Modelling Foundations and Applications ISBN: 3319420607 ISBN-13(EAN): 9783319420608 Издательство: Springer Рейтинг: Цена: 46590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.
Автор: Aws Albarghouthi Название: Introduction to Neural Network Verification ISBN: 1680839101 ISBN-13(EAN): 9781680839104 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 91470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Every day we`re seeing new applications of deep learning, from healthcare to art, and it feels like we`re only scratching the surface of a universe of new possibilities. This book offers the first introduction of foundational ideas from automated verification as applied to deep neural networks and deep learning.
Автор: Harper Название: Practical Foundations for Programming Languages ISBN: 1107150302 ISBN-13(EAN): 9781107150300 Издательство: Cambridge Academ Рейтинг: Цена: 66520.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.
Автор: Nemeth, Charles P. Название: Criminal law ISBN: 1032255234 ISBN-13(EAN): 9781032255231 Издательство: Taylor&Francis Рейтинг: Цена: 58170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Criminal Law: Historical, Ethical, and Moral Foundations, 3rd edition, blends legal and moral reasoning in the examination of crimes and explores the history relating to jurisprudence and roots of criminal law.
Автор: Jagdish C. Agrawal; Pranas Zunde Название: Empirical Foundations of Information and Software Science IV ISBN: 1468454749 ISBN-13(EAN): 9781468454741 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Paula Boddington Название: Towards a Code of Ethics for Artificial Intelligence ISBN: 3319869051 ISBN-13(EAN): 9783319869056 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Нет в наличии.
Автор: Burch Michael, Chuang Lewis, Fisher Brian Название: Eye Tracking and Visualization: Foundations, Techniques, and Applications. Etvis 2015 ISBN: 3319836412 ISBN-13(EAN): 9783319836416 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses research, methods, and recent developments in the interdisciplinary field that spans research in visualization, eye tracking, human-computer interaction, and psychology.
Название: Criminology ISBN: 1604563508 ISBN-13(EAN): 9781604563504 Издательство: Nova Science Рейтинг: Цена: 89750.00 T Наличие на складе: Невозможна поставка. Описание: Criminology is the social-scientific study of crime as an individual and social phenomenon. Criminological research areas include the incidence and forms of crime as well as its causes and consequences. They also include social and governmental regulations and reactions to crime. This book presents analyses relevant to the field.
Автор: Joshua D. Guttman; Carl E. Landwehr; Jos? Meseguer Название: Foundations of Security, Protocols, and Equational Reasoning ISBN: 303019051X ISBN-13(EAN): 9783030190514 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
