• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Computers - Machine Theory

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2342042]
• Literatura piękna
 [1505439]

  więcej...
• Turystyka
 [82576]
• Informatyka
 [204961]
• Komiksy
 [28544]
• Encyklopedie
 [25092]
• Dziecięca
 [502648]
• Hobby
 [128456]
• AudioBooki
 [22407]
• Literatura faktu
 [214952]
• Muzyka CD
 [10392]
• Słowniki
 [2446]
• Inne
 [422456]
• Kalendarze
 [1150]
• Podręczniki
 [118138]
• Poradniki
 [473326]
• Religia
 [380636]
• Czasopisma
 [351]
• Sport
 [76286]
• Sztuka
 [203757]
• CD, DVD, Video
 [1625]
• Technologie
 [144485]
• Zdrowie
 [86732]
• Książkowe Klimaty
 [61]
• Puzzle, gry
 [1921]
• Large Print
 [35730]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Machine Theory

ilość książek w kategorii: 1393

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Topology and Category Theory in Computer Science G. M. Reed R. F. Wachter A. W. Roscoe 9780198537601
Topology and Category Theory in Computer Science

ISBN: 9780198537601 / Angielski / Twarda / 408 str.

ISBN: 9780198537601/Angielski/Twarda/408 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
G. M. Reed; R. F. Wachter; A. W. Roscoe
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: 529,64 zł

 The New Hacker's Dictionary Eric S. Raymond Eric S. Raymond 9780262680929
The New Hacker's Dictionary

ISBN: 9780262680929 / Angielski / Miękka / 568 str.

ISBN: 9780262680929/Angielski/Miękka/568 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Eric S. Raymond; Eric S. Raymond

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 long-standing 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: 227,84 zł

 Arithmetic and Logic in Computer Systems Mi Lu 9780471469452
Arithmetic and Logic in Computer Systems

ISBN: 9780471469452 / Angielski / Twarda / 246 str.

ISBN: 9780471469452/Angielski/Twarda/246 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Mi Lu
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: 597,28 zł

 The Definitive Guide to How Computers Do Math : Featuring the Virtual DIY Calculator Clive Maxfield Alvin Brown 9780471732785
The Definitive Guide to How Computers Do Math : Featuring the Virtual DIY Calculator

ISBN: 9780471732785 / Angielski / Miękka / 464 str.

ISBN: 9780471732785/Angielski/Miękka/464 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
Clive Maxfield; Alvin Brown
The Basics of Computer Arithmetic Made Enjoyable and Accessible-with a Special Program Included for Hands-on 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 set-no matter how simple or primitive-from 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 Accessible-with a Special Program Included for Hands-on Learning

"The combination of...

    
cena: 221,82 zł

 Discrete Mathematics : An Introduction for Software Engineers Mike Piff 9780521386227
Discrete Mathematics : An Introduction for Software Engineers

ISBN: 9780521386227 / Angielski / Miękka / 332 str.

ISBN: 9780521386227/Angielski/Miękka/332 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Mike Piff
This book is designed to form the basis of a one-year course in discrete mathematics for first-year 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 Modula-2 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 one-year course in discrete mathematics for first-year computer scientists or software engineers. The mat...

    
cena: 350,93 zł

 Categories and Computer Science R. F. C. Walters 9780521419970
Categories and Computer Science

ISBN: 9780521419970 / Angielski / Twarda / 180 str.

ISBN: 9780521419970/Angielski/Twarda/180 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
R. F. C. Walters
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: 440,28 zł

 Randomized Algorithms Rajeev Motwani Prabhakar Raghavan 9780521474658
Randomized Algorithms

ISBN: 9780521474658 / Angielski / Twarda / 496 str.

ISBN: 9780521474658/Angielski/Twarda/496 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Rajeev Motwani; Prabhakar Raghavan
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: 374,85 zł

 Algorithmic Information Theory Gregory J. Chaitin C. J. Va Samson Abramsky 9780521616041
Algorithmic Information Theory

ISBN: 9780521616041 / Angielski / Miękka / 192 str.

ISBN: 9780521616041/Angielski/Miękka/192 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Gregory J. Chaitin; C. J. Van Rijsbergen; Samson Abramsky
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 so-called 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: 253,35 zł

 Code : The Hidden Language of Computer Hardware and Software Charles Petzold 9780735611313
Code : The Hidden Language of Computer Hardware and Software

ISBN: 9780735611313 / Angielski / Miękka / 400 str.

ISBN: 9780735611313/Angielski/Miękka/400 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Charles Petzold

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.
Using everyday objects and familiar language systems such as Braille and Morse code, author Charles Petzold weaves an illuminating narrative for anyone who's ever wondered about the secret inner life of computers and...

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: 110,15 zł

 Feynman Lectures on Computation Richard Phillips Feynman Robin W. Allen Anthony J. G. Hey 9780738202969
Feynman Lectures on Computation

ISBN: 9780738202969 / Angielski / Miękka / 324 str.

ISBN: 9780738202969/Angielski/Miękka/324 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
Richard Phillips Feynman; Robin W. Allen; Anthony J. G. Hey
When, in 1984-86, 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 not-so-standard topics in computer science such as reversible logic gates and...
When, in 1984-86, Richard P. Feynman gave his famous course on computation at the California Institute of Technology, he asked Tony Hey to adapt his l...

    
cena: 262,85 zł

 Acronyms and Abbreviations of Computer Technology and Telecommunications David Tavaglione Tavaglione 9780824787479
Acronyms and Abbreviations of Computer Technology and Telecommunications

ISBN: 9780824787479 / Angielski / Twarda / 304 str.

ISBN: 9780824787479/Angielski/Twarda/304 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
David Tavaglione;Tavaglione
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: 603,29 zł

 Palmprint Authentication David D. Zhang D. D. Zhang 9781402080968
Palmprint Authentication

ISBN: 9781402080968 / Angielski / Twarda / 242 str.

ISBN: 9781402080968/Angielski/Twarda/242 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
David D. Zhang; D. D. Zhang

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 state-of-the-art algorithm using online palmprint images.

Palmprint Authentication provides the reader with a basic concept of Palmprint Authentication. It also includes an in-depth 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: 674,68 zł

 Process Algebra for Parallel and Distributed Processing William Gardner Michael Alexander 9781420064865
Process Algebra for Parallel and Distributed Processing

ISBN: 9781420064865 / Angielski / Twarda / 440 str.

ISBN: 9781420064865/Angielski/Twarda/440 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
William Gardner; Michael Alexander

Collects the Latest Research Involving the Application of Process Algebra to Computing

Exploring state-of-the-art 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
Divided into three parts, the book begins by parallelizing an algorithm for the Cell Broadband Engine processor of IBM, Sony, and Toshiba. It also develops a runtime environment that...

Collects the Latest Research Involving the Application of Process Algebra to Computing

Exploring state-of-the-art applications,


    
cena: 603,29 zł

 Stochastic Relations : Foundations for Markov Transition Systems Ernst-Erich Doberkat 9781584889410
Stochastic Relations : Foundations for Markov Transition Systems

ISBN: 9781584889410 / Angielski / Twarda / 376 str.

ISBN: 9781584889410/Angielski/Twarda/376 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
Ernst-Erich Doberkat
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: 734,21 zł

 CSL '89 : 3rd Workshop on Computer Science Logic, CSL '93, Kaiserslautern, FRG. October 2-6, 1989. Proceedings Egon Bvrger Hans Klein Michael M. Richter 9783540527534
CSL '89 : 3rd Workshop on Computer Science Logic, CSL '93, Kaiserslautern, FRG. October 2-6, 1989. Proceedings

ISBN: 9783540527534 / Angielski / Miękka / 444 str.

ISBN: 9783540527534/Angielski/Miękka/444 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Egon Bvrger; Hans Kleine B]ning; Michael M. Richter
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: 422,03 zł

 Algorithms - ESA '95 : Third Annual European Symposium. Corfu, Greece, September, 25-27, 1995. Proceedings Spirakis                                 Paul Spirakis P. G. Spirakis 9783540603139
Algorithms - ESA '95 : Third Annual European Symposium. Corfu, Greece, September, 25-27, 1995. Proceedings

ISBN: 9783540603139 / Angielski / Miękka / 603 str.

ISBN: 9783540603139/Angielski/Miękka/603 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Spirakis; Paul Spirakis; P. G. Spirakis
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: 507,83 zł

 The Computer and Information Science and Technology Abbreviations and Acronyms Dictionary David W. South South W. South 9780849324444
The Computer and Information Science and Technology Abbreviations and Acronyms Dictionary

ISBN: 9780849324444 / Angielski / Twarda / 320 str.

ISBN: 9780849324444/Angielski/Twarda/320 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
David W. South; South W. South
Written for the professional and the layman, the book provides the meanings of important and interesting acronyms in the broad area of computing and information science and technology. The acronyms and abbreviations contained in this book were created by the men and women of the computer and information age to save time and space and eliminate unnecessary repetition and wordage. The book is of value to engineers, scientists, technologists, executives and managers in technical fields, programmers, systems analysts, writers, and computer owners or potential buyers.
Written for the professional and the layman, the book provides the meanings of important and interesting acronyms in the broad area of computing and i...

    
cena: 786,59 zł

 Categorical Methods in Computer Science : With Aspects from Topology Hartmut Ehrig Horst Herrlich Hans-Jvrg Kreowski 9783540517221
Categorical Methods in Computer Science : With Aspects from Topology

ISBN: 9783540517221 / Angielski / Miękka / 354 str.

ISBN: 9783540517221/Angielski/Miękka/354 str.

Termin realizacji zamówienia: ok. 22 dni roboczych.
Hartmut Ehrig; Horst Herrlich; Hans-Jvrg Kreowski
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: 388,66 zł

 Modeling and Verification of Real-time Systems : Formalisms and Software Tools Nicolas Navet Stephan Merz 9781848210134
Modeling and Verification of Real-time Systems : Formalisms and Software Tools

ISBN: 9781848210134 / Angielski / Twarda / 448 str.

ISBN: 9781848210134/Angielski/Twarda/448 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
Nicolas Navet; Stephan Merz
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.

Topics addressed include mathematical models of real-time 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 real-time systems and analyzing their behavior i...

    
cena: 958,58 zł

 Artificial Intelligence with Uncertainty Li Deyi 9781584889984
Artificial Intelligence with Uncertainty

ISBN: 9781584889984 / Angielski / Twarda / 376 str.

ISBN: 9781584889984/Angielski/Twarda/376 str.

Termin realizacji zamówienia: ok. 22-25 dni roboczych.
Li Deyi
The information deluge currently assaulting us in the 21st century is having a profound impact on our lifestyles and how we work. We must constantly separate trustworthy and required information from the massive amount of data we encounter each day. Through mathematical theories, models, and experimental computations, Artificial Intelligence with Uncertainty explores the uncertainties of knowledge and intelligence that occur during the cognitive processes of human beings. The authors focus on the importance of natural language-the carrier of knowledge and intelligence-for artificial...
The information deluge currently assaulting us in the 21st century is having a profound impact on our lifestyles and how we work. We must constantly s...

    
cena: 550,92 zł

 1  2  3  Następna Ostatnia

Facebook - konto krainaksiazek.pl
Opinie o Krainaksiazek.pl na Opineo.pl
Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2021 DolnySlask.com Agencja Internetowa

© 1997-2019 DolnySlask.com Agencja Internetowa
Wtyczki do przeglądarki Firefox i IE:
Autor | ISBN13 | Tytuł
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - Płatności Payu
Przechowalnia Przechowalnia