289,99 zł

Foundations Of Software And System Performance Engineering

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer science>Systems analysis & designKsiążki Obcojęzyczne>Angie...

0x01425f7200000000

Sklep: Gigant.pl

439,99 zł

Discovering Computer Science

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

0x000107af00000000

Sklep: Gigant.pl

279,97 zł

Computer Science in Perspective Springer, Berlin

Książki / Literatura obcojęzyczna

By presenting state-of-the-art aspects of theoretical computer science and practical applications in various fields, this book commemorates the 60th birthday of Thomas Ottmann.The 26 research papers presented span the whole range of Thomas Ottmann's scientific career, from formal languages to algorithms and data structures, from topics in practical computer science like software engineering or database systems to applications of Web technology, groupware, and e-learning.

Sklep: Libristo.pl

499,99 zł

Foundations Of Logic Programming

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer science>Mathematical theory of computationKsiążki Obcojęzyczne...

0x002e03cb00000000

Sklep: Gigant.pl

244,30 zł

Foundations of Modern Networking Pearson Education (US)

Książki / Literatura obcojęzyczna

Dr. William Stallings' SDN, NFV, and QoE: Foundations of Modern Networking is a comprehensive and unified survey of modern networking technology and applications for today's technical professionals, business professionals, and students. Using the same teaching approach that has earned him 13 "Computer Science Textbook of the Year" Awards, Dr. Stallings imparts a thorough understanding of SDN technology: how it works, how it is deployed, and how enterprises of all sizes can use it to deliver superior Quality of Service (QoS) and Quality of Experience (QoE). Step by step, Stallings illuminates a wide range of crucial issues and technologies associated with modern networking in modern cloud-oriented, mobile, and big data environments. He offers complete and self-contained coverage of each technology area, helping readers gain mastery without resorting to other reference material. Coverage includes: A new network paradigm: how revolutionary enterprise requirements and technologies are driving the need for complex, software-defined, QoS/QoE-aware networks SDN infrastructure: concepts, technology, components, interactions, standards (including OpenFlow), evaluation, deployment, migration, and usage User needs: Evolving QoS/QoE to identify customer needs, and tailoring modern networks to fully and flexibly respond (including coverage of Integrated Services Architecture (ISA), differentiates services, SLAs, IP performance metrics and QoE New QoE applications: OTT, IPTV, and more Modern network applications: cloud computing/services, big data, the Internet of Things (IoT), and more Security implications of SDN and cloud computing Career-related issues: changing roles of network professionals, new skill requirements, and how to educate yourself for a career in modern networking To promote faster learning and deeper mastery, Stallings includes chapter learning objectives, keyword lists, summaries, and review questions; a complete glossary; and QR codes throughout, linking to the book's website and other resources.

Sklep: Libristo.pl

129,99 zł

Basic Category Theory For Computer Scientists

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer science>Mathematical theory of computation>Maths for comput...

0x01333a9100000000

Sklep: Gigant.pl

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

366,91 zł

Histories of Computing Harvard University Press

Książki / Literatura obcojęzyczna

Computer technology is pervasive in the modern world, its role ever more important as it becomes embedded in a myriad of physical systems and disciplinary ways of thinking. The late Michael Sean Mahoney was a pioneer scholar of the history of computing, one of the first established historians of science to take seriously the challenges and opportunities posed by information technology to our understanding of the twentieth century. Mahoney's work ranged widely, from logic and the theory of computation to the development of software and applications as craft-work. But it was always informed by a unique perspective derived from his distinguished work on the history of medieval mathematics and experimental practice during the Scientific Revolution. His writings offered a new angle on very recent events and ideas and bridged the gaps between academic historians and computer scientists. Indeed, he came to believe that the field was irreducibly pluralistic and that there could be only histories of computing.In this collection, Thomas Haigh presents thirteen of Mahoney's essays and papers organized across three categories: historiography, software engineering, and theoretical computer science. His introduction surveys Mahoney's work to trace the development of key themes, illuminate connections among different areas of his research, and put his contributions into context. The volume also includes an essay on Mahoney by his former students Jed Z. Buchwald and D. Graham Burnett. The result is a landmark work, of interest to computer professionals as well as historians of technology and science.

Sklep: Libristo.pl

719,43 zł

Concept Formation and Knowledge Revision Springer, Berlin

Książki / Literatura obcojęzyczna

A fundamental assumption of work in artificial intelligence and machine learning is that knowledge is expressed in a computer with the help of knowledge representations. Since the proper choice of such representations is a difficult task that fundamentally affects the capabilities of a system, the problem of automatic representation change is an important topic in current research. Concept Formation and Knowledge Revision focuses on representation change as a concept formation task, regarding concepts as the elementary representational vocabulary from which further statements are constructed.§Taking an interdisciplinary approach from psychological foundations to computer implementations, the book draws on existing psychological results about the nature of human concepts and concept formation to determine the scope of concept formation phenomena, and to identify potential components of computational concept formation models. The central idea of this work is that computational concept formation can usefully be understood as a process that is triggered in a demand-driven fashion by the representational needs of the learning system, and identify the knowledge revision activities of a system as a particular context for such a process. §The book presents a detailed analysis of the revision problem for first-order clausal theories, and develops a set of postulates that any such operation should satisfy. It shows how a minimum theory revision operator can be realized by using exception sets, and that this operator is indeed maximally general. The book then shows that concept formation can be triggered from within the knowledge revision process whenever the existing representation does not permit the plausible reformulation of an exception set, demonstrating the usefulness of the approach both theoretically and empirically within the learning knowledge acquisition system MOBAL. §In using a first-order representation, this book is part of the rapidly developing field of Inductive Logic Programming (ILP). By integrating the computational issues with psychological and fundamental discussions of concept formation phenomena, the book will be of interest to readers both theoretically and psychologically inclined. §From the foreword by Katharina Morik:§` The ideal to combine the three sources of artificial intelligence research has almost never been reached. Such a combined and integrated research requires the researcher to master different ways of thinking, different work styles, different sets of literature, and different research procedures. It requires capabilities in software engineering for the application part, in theoretical computer science for the theory part, and in psychology for the cognitive part. The most important capability for artificial intelligence is to keep the integrative view and to create a true original work that goes beyond the collection of pieces from different fields. §This book achieves such an integrative view of concept formation and knowledge revision by presenting the way§from psychological investigations that indicate that concepts are theories and point at the important role of a demand for learning. §to an implemented system which supports users in their tasks when working with a knowledge base §and its theoretical foundation. '

Sklep: Libristo.pl

838,54 zł

Digital Audio Signal Processing, 3rd Edition John Wiley and Sons Ltd

Książki / Literatura obcojęzyczna

Digital Audio Signal ProcessingThe fully revised new edition of the popular textbook, featuring additional MATLAB exercises and new algorithms for processing digital audio signalsDigital Audio Signal Processing (DASP) techniques are used in a variety of applications, ranging from audio streaming and computer-generated music to real-time signal processing and virtual sound processing.Digital Audio Signal Processing provides clear and accessible coverage of the fundamental principles and practical applications of digital audio processing and coding. Throughout the book, the authors explain a wide range of basic audio processing techniques and highlight new directions for automatic tuning of different algorithms and discuss state- of-the-art DASP approaches. Now in its third edition, this popular guide is fully updated with the latest signal processing algorithms for audio processing. Entirely new chapters cover nonlinear processing, Machine Learning (ML) for audio applications, distortion, soft/hard clipping, overdrive, equalizers and delay effects, sampling and reconstruction, and more.* Covers the fundamentals of quantization, filters, dynamic range control, room simulation, sampling rate conversion, and audio coding* Describes DASP techniques, their theoretical foundations, and their practical applications* Discusses modern studio technology, digital transmission systems, storage media, and home entertainment audio components* Features a new introductory chapter and extensively revised content throughout* Provides updated application examples and computer-based activities supported with MATLAB exercises and interactive JavaScript applets via an author-hosted companion websiteBalancing essential concepts and technological topics, Digital Audio Signal Processing, Third Edition remains the ideal textbook for advanced music technology and engineering students in audio signal processing courses. It is also an invaluable reference for audio engineers, hardware and software developers, and researchers in both academia and industry.

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

459,99 zł

Ddos Attacks

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer securityKsiążki Obcojęzyczne>Angielskie>Mathematics & scien...

0x0080dfe600000000

Sklep: Gigant.pl

129,99 zł

Relationale Datenbanken

Książki Obcojęzyczne>Angielskie>Computing & information technology>DatabasesKsiążki Obcojęzyczne>Angielskie>Mathematics & science>Ma...

0x007ea41e00000000

Sklep: Gigant.pl

717,45 zł

Guide to Elliptic Curve Cryptography Springer, Berlin

Książki / Literatura obcojęzyczna

After two decades of research and development, elliptic curve cryptography now has widespread exposure and acceptance. Industry, banking, and government standards are in place to facilitate extensive deployment of this efficient public-key mechanism. §Anchored by a comprehensive treatment of the practical aspects of elliptic curve cryptography (ECC), this guide explains the basic mathematics, describes state-of-the-art implementation methods, and presents standardized protocols for public-key encryption, digital signatures, and key establishment. In addition, the book addresses some issues that arise in software and hardware implementation, as well as side-channel attacks and countermeasures. Readers receive the theoretical fundamentals as an underpinning for a wealth of practical and accessible knowledge about efficient application. §Features & Benefits:§Breadth of coverage and unified, integrated approach to elliptic curve cryptosystems§Describes important industry and government protocols, such as the FIPS 186-2 standard from the U.S. National Institute for Standards and Technology§Provides full exposition on techniques for efficiently implementing finite-field and elliptic curve arithmetic§Distills complex mathematics and algorithms for easy understanding§Includes useful literature references, a list of algorithms, and appendices on sample parameters, ECC standards, and software tools§This comprehensive, highly focused reference is a useful and indispensable resource for practitioners, professionals, or researchers in computer science, computer engineering, network design, and network data security.

Sklep: Libristo.pl

259,99 zł

Algorithmische Sprache Und Programmentwicklung

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

0x002cde9000000000

Sklep: Gigant.pl

szukaj w Kangoo libristo foundations of software technology and theoretical computer science 1565489

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

1. Sklepy z libristo pl foundations of software technology and theoretical computer science 1565489

2. Szukaj na wszystkich stronach serwisu

t1=0.055, t2=0, t3=0, t4=0, t=0.055