Discrete Mathematics
ISBN: 9780198507178 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 2225 dni roboczych. The longawaited second edition of Norman Bigg's bestselling Discrete Mathematics, includes new chapters on statements and proof, logical framework, natural numbers, and the integers, in addition to updated chapters from the previous edition. Carefully structured, coherent and comprehensive, each chapter contains tailored exercises and solutions to selected questions, and miscellaneous exercises are presented throughout. This is an invaluable text for students seeking a clear introduction to discrete mathematics, graph theory, combinatorics, number theory and abstract algebra.
The longawaited second edition of Norman Bigg's bestselling Discrete Mathematics, includes new chapters on statements and proof, logical fr...


cena:
261,19 zł 
Topology and Category Theory in Computer Science
ISBN: 9780198537601 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offe...


cena:
560,71 zł 
The New Hacker's Dictionary
ISBN: 9780262680929 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 1620 dni roboczych. This new edition of the hacker's own phenomenally successful lexicon includes more than 100 new entries and updates or revises 200 more. Historically and etymologically richer than its predecessor, it supplies additional background on existing entries and clarifies the murky origins of several important jargon terms (overturning a few longstanding folk etymologies) while still retaining its high giggle value. Sample definition hacker n. originally, someone who makes furniture with an axe] 1. A person who enjoys exploring the details of programmable systems and... This new edition of the hacker's own phenomenally successful lexicon includes more than 100 new entries and updates or revises 200 more. Historical... 

cena:
240,73 zł 
Machine Beauty: Elegance and the Heart of Technology
ISBN: 9780465043163 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 22 dni roboczych. When something works well, you can feel it; there is a sense of rightness to it. We call that rightness beauty, and it ought to be the single most important component of design.This recognition is at the heart of David Gelernter's witty argued essay, Machine Beauty, which defines beauty as an inspired mating of simplicity and power. You can see it in a Bauhaus chair, the Hoover Dam, or an Emerson radio circa 1930. In contrast, too many contemporary technologists run out of ideas and resort to gimmicks and features; they are rarely capable of real, structural ingenuity.Nowhere is this more...
When something works well, you can feel it; there is a sense of rightness to it. We call that rightness beauty, and it ought to be the single most imp...


cena:
66,65 zł 
Arithmetic and Logic in Computer Systems
ISBN: 9780471469452 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering. Algorithms for performing operations like addition, subtraction, multiplication, and division in digital computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing any direct applications. Alternative methods are examined, and explanations are supplied of the fundamental materials and reasoning behind theories and examples.
No other current books deal with this subject, and the author is a leading... Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering. Algorithms for performi...


cena:
632,91 zł 
The Definitive Guide to How Computers Do Math : Featuring the Virtual DIY Calculator
ISBN: 9780471732785 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 2225 dni roboczych. The Basics of Computer Arithmetic Made Enjoyable and Accessiblewith a Special Program Included for Handson Learning
"The combination of this book and its associated virtual computer is fantastic Experience over the last fifty years has shown me that there's only one way to truly understand how computers work; and that is to learn one computer and its instruction setno matter how simple or primitivefrom the ground up. Once you fully comprehend how that simple computer functions, you can easily extrapolate to more complex machines." Fred Hudson, retired... The Basics of Computer Arithmetic Made Enjoyable and Accessiblewith a Special Program Included for Handson Learning
"The combination of... 

cena:
229,18 zł 
Discrete Mathematics : An Introduction for Software Engineers
ISBN: 9780521386227 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is designed to form the basis of a oneyear course in discrete mathematics for firstyear computer scientists or software engineers. The materials presented cover much of undergraduate algebra with a particular bias toward the computing applications. Topics covered include mathematical logic, set theory, finite and infinite relations and mapping, graphs, graphical algorithms and axiom systems. It concludes with implementations of many of the algorithms in Modula2 to illustrate how the mathematics may be turned into concrete calculations. Numerous examples and exercises are included...
This book is designed to form the basis of a oneyear course in discrete mathematics for firstyear computer scientists or software engineers. The mat...


cena:
371,40 zł 
Categories and Computer Science
ISBN: 9780521419970 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theo...


cena:
466,24 zł 
Randomized Algorithms
ISBN: 9780521474658 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 1620 dni roboczych. For many applications, a randomized algorithm is either the simplest or the fastest algorithm available, and sometimes both. This book introduces the basic concepts in the design and analysis of randomized algorithms. The first part of the text presents basic tools such as probability theory and probabilistic analysis that are frequently used in algorithmic applications. Algorithmic examples are also given to illustrate the use of each tool in a concrete setting. In the second part of the book, each chapter focuses on an important area to which randomized algorithms can be applied, providing...
For many applications, a randomized algorithm is either the simplest or the fastest algorithm available, and sometimes both. This book introduces the ...


cena:
396,80 zł 
Algorithmic Information Theory
ISBN: 9780521616041 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Godel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a socalled exponential diophantine equation."
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Godel's incompleteness theorem, using...


cena:
267,81 zł 
Code : The Hidden Language of Computer Hardware and Software
ISBN: 9780735611313 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 1620 dni roboczych. What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means of communicating with each other. And through CODE, we see how this ingenuity and our very human compulsion to communicate have driven the technological innovations of the past two centuries. What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulat... 

cena:
113,25 zł 
Feynman Lectures on Computation
ISBN: 9780738202969 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 20 dni roboczych. When, in 198486, Richard P. Feynman gave his famous course on computation at the California Institute of Technology, he asked Tony Hey to adapt his lecture notes into a book. Although led by Feynman, the course also featured, as occasional guest speakers, some of the most brilliant men in science at that time, including Marvin Minsky, Charles Bennett, and John Hopfield. Although the lectures are now thirteen years old, most of the material is timeless and presents a "Feynmanesque" overview of many standard and some notsostandard topics in computer science such as reversible logic gates and...
When, in 198486, Richard P. Feynman gave his famous course on computation at the California Institute of Technology, he asked Tony Hey to adapt his l...


cena:
288,08 zł 
Acronyms and Abbreviations of Computer Technology and Telecommunications
ISBN: 9780824787479 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Catalogues approximately 7000 acronyms and abbreviations used in computer technology, telecommunications and related fields. The entries are organized in tabular form to enable readers to locate any specific acronym easily.
Catalogues approximately 7000 acronyms and abbreviations used in computer technology, telecommunications and related fields. The entries are organized...


cena:
625,18 zł 
Palmprint Authentication
ISBN: 9781402080968 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Palmprint Authentication is the first book to provide a comprehensive introduction to palmprint technologies. It reveals automatic biometric techniques for personal identification using palmprint, from the approach based on offline palmprint images, to the current stateoftheart algorithm using online palmprint images. Palmprint Authentication provides the reader with a basic concept of Palmprint Authentication. It also includes an indepth discussion of Palmprint Authentication technologies, a detailed description of Palmprint Authentication... Palmprint Authentication is the first book to provide a comprehensive introduction to palmprint technologies. It reveals automatic... 

cena:
691,27 zł 
Process Algebra for Parallel and Distributed Processing
ISBN: 9781420064865 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Collects the Latest Research Involving the Application of Process Algebra to Computing Exploring stateoftheart applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning process algebra has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Programming Collects the Latest Research Involving the Application of Process Algebra to Computing Exploring stateoftheart applications, 

cena:
652,37 zł 
Stochastic Relations : Foundations for Markov Transition Systems
ISBN: 9781584889410 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Collecting information previously scattered throughout the vast literature, including the author s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems.
After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the... Collecting information previously scattered throughout the vast literature, including the author s own research, Stochastic Relations: Foundations ...


cena:
761,09 zł 
CSL '89 : 3rd Workshop on Computer Science Logic, CSL '93, Kaiserslautern, FRG. October 26, 1989. Proceedings
ISBN: 9783540527534 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.
This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany i...


cena:
431,94 zł 
Algorithms  ESA '95 : Third Annual European Symposium. Corfu, Greece, September, 2527, 1995. Proceedings
ISBN: 9783540603139 / Angielski / Miękka / 603 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book consitutes the proceedings of the Third Annual European Symposium on Algorithms, ESA '95, held in Corfu, Greece in September 1995.
The volume presents 42 full revised papers selected during a careful refereeing process from a total of 119 submissions; in addition, there is a prominent keynote address. This year, the scope has been further expanded to new areas of computational endeavour in science; the book covers many aspects of algorithms research and application ranging from combinatorial mathematics to hardware design. This book consitutes the proceedings of the Third Annual European Symposium on Algorithms, ESA '95, held in Corfu, Greece in September 1995.
The vo... 

cena:
520,01 zł 
Categorical Methods in Computer Science : With Aspects from Topology
ISBN: 9783540517221 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science  with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications....
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science  with Aspects from Topology" and of th...


cena:
397,69 zł 
Modeling and Verification of Realtime Systems : Formalisms and Software Tools
ISBN: 9781848210134 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 2225 dni roboczych. This title is devoted to presenting some of the most important concepts and techniques for describing realtime systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.
Topics addressed include mathematical models of realtime systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader... This title is devoted to presenting some of the most important concepts and techniques for describing realtime systems and analyzing their behavior i...


cena:
994,00 zł 