krainaksiazek foundations of computer science 20042963

- znaleziono 101 produktów w 9 sklepach

269,99 zł

Special Topics In Mathematics For Computer Scientists

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundations

0x0051c58800000000

Sklep: Gigant.pl

359,99 zł

Numerical Algorithms : Methods For Computer Vision, Machine Learning, And Graphics

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundationsKsiążki Obcojęzyczne>Angielskie>Technology...

0x001d618b00000000

Sklep: Gigant.pl

11,15 zł

Spalona Żywcem Wyd. Kieszonkowe - Souad

Książki & Multimedia > Książki

Opis - Pierwsze na świecie świadectwo ofiary zbrodni honorowej. Miała siedemnaście lat i zakochała się: zhańbiła rodzinę. Więc rodzina wydała na nią wyrok śmierci... Pokochała go pierwszą miłością. Myślała, że się z nią ożeni. Ale ukochany zniknął, a ona odkryła, że jest w ciąży. A w jej świecie to najcięższa zbrodnia... W zapomnianej przez Boga wiosce w Cisjordanii kobiety są warte mniej niż zwierzęta domowe. Tu mężczyzna jest panem życia i śmierci żony, córki, siostry. Brat może bezkarnie zabić siostrę, matka - córkę, kolejną bezużyteczną dziewczynkę, jaka się urodzi. Tu kobiecie odbiera się godność, a nawet życie zgodnie z odwiecznym obyczajem i uświęconą tradycją. A śmierć jest karą dla dziewczyny, która zhańbi rodzinę. Tak jak Souad. Wyrok wydaje jej ojciec. Szwagier dokonuje egzekucji. Oblewa Souad benzyną i podpala... SOUAD przeżyła - cudem, ale rodzina usiłowała zabić ją nawet w szpitalu. Na zawsze jednak pozostanie straszliwie okaleczona - na ciele i duszy. I wciąż musi się ukrywać; dopóki żyje, jej rodzinę okrywa hańba. Spalona żywcem, opublikowana pod pseudonimem szokująca opowieść o piekle, jakim było jej dzieciństwo i młodość, stała się międzynarodowym bestsellerem. Wydana w 37 w krajach książka przerywa tabu milczenia wobec istniejącej nadal w krajach muzułmańskich barbarzyńskiej tradycji. Nieludzkiego obyczaju, prawa mężczyzn, na mocy którego co najmniej pięć tysięcy kobiet pada co roku ofiarą zbrodni honorowej. Nazwa - Spalona Żywcem Wyd. Kieszonkowe Autor - Souad Oprawa - Miękka Wydawca - Amber Kod ISBN - 9788324159406 Kod EAN - 9788324159406 Wydanie - 1 Rok wydania - 2016 Tłumacz - 31182,maria rostworowska; Format - 110 x 175 x 14 Ilość stron - 224 Podatek VAT - 5% Premiera - 2016-06-23

Sklep: InBook.pl

225,39 zł

Augmented Reality Pearson Education

Książki / Literatura obcojęzyczna

Augmented Reality (AR) is one of today's fastest-growing areas of computer science and application development. AR overlays computer-generated information on views of the real world, amplifying human perception and cognition in remarkable new ways. (Ever see the virtual first down marker" in TV football games? That's AR -- and AR apps are rapidly coming to millions of smartphones, too.) Working in AR requires knowledge of recent advances in multiple fields, including computer vision, computer graphics, and HCI. Augmented Reality: Principles and Practice integrates all this knowledge into one, single-source reference, presenting the most significant AR work with scrupulous accuracy. For more than a decade, Dieter Schmalstieg has pioneered both AR theory and application, and now, in this book with Tobias H. Hollerer, he addresses all aspects of the field, illuminating AR from both technical and HCI perspectives.The authors review AR's technical foundations, including display and tracking technologies; show how AR emerges from the symbiosis of computer vision and computer graphics, introduce AR-specific visualization and 3D interaction techniques, and showcase applications from diverse industries. They conclude by introducing AR smartphone development, including a cutting-edge Qualcomm QCAR case study. This book will be an indispensable resource for everyone interested in AR, including software and apps developers, managers, students and instructors in the computing disciplines it requires, researchers, and hobbyists. For use in educational environments, the authors provide a companion website containing slides, code examples, and other source materials.

Sklep: Libristo.pl

Lectures on the Curry-Howard Isomorphism - 2877771631

812,00 zł

Lectures on the Curry-Howard Isomorphism Elsevier Science & Technology

Książki / Literatura obcojęzyczna

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning The Curry-Howard Isomorphism treated as the common theme. Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics Thorough study of the connection between calculi and logics. Elaborate study of classical logics and control operators. Account of dialogue games for classical and intuitionistic logic. Theoretical foundations of computer-assisted reasoning

Sklep: Libristo.pl

25,33 zł

The Economics of Crowdfunding - Dziuba Dariusz Tadeusz

Książki & Multimedia > Książki

Opis - One of the first books on the European market to comprehensively identify and address issues surrounding crowdfunding. Extensive empirical evidence, knowledge, and research ensures its accessibility to a broad spectrum of readers. For those interested in practicalities, this book shows how best to use information technology and resources available to micro-entities, whereas academics will benefit from methodologies, as well as ideas and directions for further research into new forms of economic activity in an environment of globalisation and modern IT. This book is, therefore, of great benefit for economics students, tutors and lecturers, as well as postgraduate students of economics, management, and particularly MBA students in finance and computer science for economics. Also of interest for managers of institutions, businesses and foundations reliant on public funding (charitable, cultural, educational) for whom crowdfunding is, or may become, an important form of fundraising. Professor Dziuba?s book should be mandatory for e-commerce and crowdfunding IT platform system designers and administrators. From the review by prof. dr. hab. Józef Oleński Nazwa - The Economics of Crowdfunding Autor - Dziuba Dariusz Tadeusz Oprawa - Miękka Wydawca - Wydawnictwa Drugie Kod ISBN - 9788380220133 Kod EAN - 9788380220133 Rok wydania - 2016 Język - angielski Format - 13.0x20.0cm Ilość stron - 188 Podatek VAT - 5% Premiera - 2017-01-20

Sklep: InBook.pl

114,99 zł

Das Affenpuzzle Und Weitere Bad News Aus Der Computerwelt

Książki Obcojęzyczne>Angielskie>Computing & information technology>Information technology: general issues>Ethical & social aspects of ITKs...

0x0030134800000000

Sklep: Gigant.pl

Decision Theory - Principles and Approaches - 2872894559

590,84 zł

Decision Theory - Principles and Approaches John Wiley & Sons Inc

Książki / Literatura obcojęzyczna

Decision theory provides a formal framework for making logical choices in the face of uncertainty. Given a set of alternatives, a set of consequences, and a correspondence between those sets, decision theory offers conceptually simple procedures for choice. This book presents an overview of the fundamental concepts and outcomes of rational decision making under uncertainty, highlighting the implications for statistical practice. The authors have developed a series of self contained chapters focusing on bridging the gaps between the different fields that have contributed to rational decision making and presenting ideas in a unified framework and notation while respecting and highlighting the different and sometimes conflicting perspectives. This book: Provides a rich collection of techniques and procedures. Discusses the foundational aspects and modern day practice. Links foundations to practical applications in biostatistics, computer science, engineering and economics. Presents different perspectives and controversies to encourage readers to form their own opinion of decision making and statistics.Decision Theory is fundamental to all scientific disciplines, including biostatistics, computer science, economics and engineering. Anyone interested in the whys and wherefores of statistical science will find much to enjoy in this book.

Sklep: Libristo.pl

Models of the Visual System - 2876945207

1099,18 zł

Models of the Visual System Springer, Berlin

Książki / Literatura obcojęzyczna

Some of the best vision scientists in the world in their respective fields have contributed to chapters in this book. They have expertise in a wide variety of fields, including bioengineering, basic and clinical visual science, medicine, neurophysiology, optometry, and psychology. Their combined efforts have resulted in a high quality book that covers modeling and quantitative analysis of optical, neurosensory, oculomotor, perceptual and clinical systems. It includes only those techniques and models that have such fundamentally strong physiological, control system, and perceptual bases that they will serve as foundations for models and analysis techniques in the future. The book is aimed first towards seniors and beginning graduate students in biomedical engineering, neurophysiology, optometry, and psychology, who will gain a broad understanding of quantitative analysis of the visual system. In addition, it has sufficient depth in each area to be useful as an updated reference and tutorial for graduate and post-doctoral students, as well as general vision scientists.Over the past thirty years, with improvements in optics, electronics, and computer technology, great strides have been made in the quantitative analysis of the visual system. A number of books on eye movement research have been written that have dealt with specific aspects of either eye movement control. However, none of these books provide a comprehensive overview of multiple aspects of the visual system. Moreover, few of these books contain modeling and detailed quantitative analyses of the visual system. Further, since the major books are almost ten years old, there is a need for an update to include the most recent research findings. It is with these considerations in mind that we have carefully compiled this updated, comprehensive, and quantitative model-based edited book on various components of the visual system. Some of the best vision scientists in the world in their respective fields have contributed to chapters in this book. They have expertise in a wide variety of fields, including bioengineering, basic and clinical visual science, medicine, neurophysiology, optometry, and psychology. Their combined efforts have resulted in a high quality book that covers modeling and quantitative analysis of optical, neurosensory, oculomotor, perceptual and clinical systems. It includes only those techniques and models that have such fundamentally strong physiological, control system, and perceptual bases that they will serve as foundations for models and analysis techniques in the future. The book is aimed first towards seniors and beginning graduate students in biomedical engineering, neurophysiology, optometry, and psychology, who will gain a broad understanding of quantitative analysis of the visual system. In addition, it has sufficient depth in each area to be useful as an updated reference and tutorial for graduate and post-doctoral students, as well as general vision scientists.

Sklep: Libristo.pl

867,26 zł

Grammar of Graphics Springer-Verlag New York Inc.

Książki / Literatura obcojęzyczna

This book was written for statisticians, computer scientists, geographers, researchers, and others interested in visualizing data. It presents a unique foundation for producing almost every quantitative graphic found in scientific journals, newspapers, statistical packages, and data visualization systems. While the tangible results of this work have been several visualization software libraries, this book focuses on the deep structures involved in producing quantitative graphics from data. What are the rules that underlie the production of pie charts, bar charts, scatterplots, function plots, maps, mosaics, and radar charts? Those less interested in the theoretical and mathematical foundations can still get a sense of the richness and structure of the system by examining the numerous and often unique color graphics it can produce. The second edition is almost twice the size of the original, with six new chapters and substantial revision. Much of the added material makes this book suitable for survey courses in visualization and statistical graphics.§From reviews of the first edition:§"Destined to become a landmark in statistical graphics, this book provides a formal description of graphics, particularly static graphics, playing much the same role for graphics as probability theory played for statistics."§Journal of the American Statistical Association§"Wilkinson s careful scholarship shows around every corner. This is a tour de force of the highest order."§Psychometrika§"All geography and map libraries should add this book to their collections; the serious scholar of quantitative data graphics will place this book on the same shelf with those by Edward Tufte, and volumes by Cleveland, Bertin, Monmonier, MacEachren, among others, and continue the unending task of proselytizing for the best in statistical data presentation by example and through scholarship like that of Leland Wilkinson."§Cartographic Perspectives§"In summary, this is certainly a remarkable book and a new ambitious step for the development and application of statistical graphics."§Computational Statistics and Data Analysis§About the author:§Leland Wilkinson is Senior VP, SPSS Inc. and Adjunct Professor of Statistics at Northwestern University. He is also affiliated with the Computer Science department at The University of Illinois at Chicago. He wrote the SYSTAT statistical package and founded SYSTAT Inc. in 1984. Wilkinson joined SPSS in a 1994 acquisition and now works on research and development of visual analytics and statistics. He is a Fellow of the ASA. In addition to journal articles and the original SYSTAT computer program and manuals, Wilkinson is the author (with Grant Blank and Chris Gruber) of Desktop Data Analysis with SYSTAT.

Sklep: Libristo.pl

Cryptography and Secure Communication - 2857697239

407,40 zł

Cryptography and Secure Communication Cambridge University Press

Książki

Today's pervasive computing and communications networks have created an intense need for secure and reliable cryptographic systems. Bringing together a fascinating mixture of topics in engineering, mathematics, computer science, and informatics, this book presents the timeless mathematical theory underpinning cryptosystems both old and new. Major branches of classical and modern cryptography are discussed in detail, from basic block and stream cyphers through to systems based on elliptic and hyperelliptic curves, accompanied by concise summaries of the necessary mathematical background. Practical aspects such as implementation, authentication and protocol-sharing are also covered, as are the possible pitfalls surrounding various cryptographic methods. Written specifically with engineers in mind, and providing a solid grounding in the relevant algorithms, protocols and techniques, this insightful introduction to the foundations of modern cryptography is ideal for graduate students and researchers in engineering and computer science, and practitioners involved in the design of security systems for communications networks.

Sklep: Booknet.net.pl

Business Process Management - 2869034949

429,38 zł

Business Process Management Springer-Verlag Berlin and Heidelberg GmbH & Co....

Książki / Literatura obcojęzyczna

Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect in business process management for experts to handle, by contrast computer science professionals often consider business goals and organizational regulations as terms that do not deserve much thought but require the appropriate level of abstraction.§Mathias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management. To this end, he details the complete business process lifecycle from the modeling phase to process enactment and improvement, taking into account all different stakeholders involved. After starting with a presentation of general foundations and abstraction models, he explains concepts like process orchestrations and choreographies, as well as process properties and data dependencies. Finally, he presents both traditional and advanced business process management architectures, covering, for example, workflow management systems, service-oriented architectures, and data-driven approaches. In addition, he shows how standards like WfMC, SOAP, WSDL, and BPEL fit into the picture.§This textbook is ideally suited for classes on business process management, information systems architecture, and workflow management. This 2nd edition contains major updates on BPMN Version 2 process orchestration and process choreographies, and the chapter on BPM methodologies has been completely rewritten. The accompanying website www.bpm-book.com contains further information and additional teaching material.

Sklep: Libristo.pl

Introduction To The Analysis Of Algorithms, An - 2878318649

230,43 zł

Introduction To The Analysis Of Algorithms, An World Scientific Publishing Co Pte Ltd

Książki / Literatura obcojęzyczna

This textbook covers the mathematical foundations of the analysis of algorithms. The gist of the book is how to argue, without the burden of excessive formalism, that a given algorithm does what it is supposed to do. The two key ideas of the proof of correctness, induction and invariance, are employed in the framework of pre/post-conditions and loop invariants. The algorithms considered are the basic and traditional algorithms of computer science, such as Greedy, Dynamic and Divide & Conquer. In addition, two classes of algorithms that rarely make it into introductory textbooks are discussed. Randomized algorithms, which are now ubiquitous because of their applications to cryptography; and Online algorithms, which are essential in fields as diverse as operating systems (caching, in particular) and stock-market predictions. This self-contained book is intended for undergraduate students in computer science and mathematics.

Sklep: Libristo.pl

Elementary Logic with Applications - 2878319974

106,97 zł

Elementary Logic with Applications College Publications

Książki / Literatura obcojęzyczna

Elementary Logic with Applications is written for undergraduate logic and logic programming courses. Logic has been applied to a wide variety of subjects such as software engineering and hardware design, to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations. Recently many extensions of classical logic such as temporal, modal, relevance, fuzzy and non-monotonic logics have been widely used in computer science, therefore requiring a new formulation of classic logic which can be modified to yield the effect of non-classical logics. This text aims to introduce classical logic in such a way that one can easily deviate into discussing non-classical logics. It defines a number of different types of logics and the differences between them, starting with the basic notions of the most common logic. Elementary Logic with Applications develops a theorem prover for classical logic in a way that maintains a procedural point of view and presents the reader with the real challenges facing applied logic. Dov Gabbay and Odinaldo Rodrigues have been teaching logic and computer science for many years. Dov Gabbay has written numerous other titles on the subject of logic and is a world authority on non-classical logics. Odinaldo Rodrigues is widely known for his work on logic, belief revision and argumentation. The "Elementary Logic with Applications" course is currently taught at the Department of Informatics, King's College London.

Sklep: Libristo.pl