Książka: » Informatyka
topmenu
• Nauka
[2944077]
[1814251]
[70679]
[151074]
[16606]
[38208]
[4956]
[3123]
[13889]
[4145]
[2945]
• Komiksy
[35590]
[23169]
[611005]
• Hobby
[136031]
[1718]
[225599]
[379]
• Słowniki
[2916]
• Inne
[443741]
[1187]
[166463]
[469211]
• Religia
[506887]
[481]
• Sport
[61343]
• Sztuka
[242115]
[3348]
[219293]
• Zdrowie
[98602]
[124]
• Zabawki
[2385]
[3504]
[260]
[7151]
Informatyka
ilość książek w kategorii: 151876
 |
Inside the Communication Revolution: Evolving Patterns of Social and Technical Interaction
ISBN: 9780198296553 / Angielski / Twarda / 2002 / 338 str. Termin realizacji zamówienia: ok. 30 dni roboczych. What does it mean to live and work inside the information and communication technology revolution? Drawing upon cognitive, economic, management, political, and sociological theories, this book focuses on the nature and significance of newly-emerging patterns of social and technical interaction as digital technologies become more pervasive in the knowledge economy.
What does it mean to live and work inside the information and communication technology revolution? Drawing upon cognitive, economic, management, polit...
|
cena:
1061,89 |
 |
Codes and Algebraic Curves
ISBN: 9780198500391 / Angielski / Twarda / 1998 / 208 str. Termin realizacji zamówienia: ok. 30 dni roboczych. A fascinating branch of mathematics since antiquity, the geometry of curves has been extensively developed and become highly abstract. Recently links have been made with the subject of error correction, leading to the creation of geometric Goppa codes, a new and important area of coding theory. This book is an expanded and updated version of one part of the author's successful book Error-Correcting Codes and Finite Fields. Here he gives an elementary introduction to Goppa codes and includes many examples, calculations, and applications. The first part of the book emphasizes motivations,...
A fascinating branch of mathematics since antiquity, the geometry of curves has been extensively developed and become highly abstract. Recently links ...
|
cena:
655,89 |
 |
Introduction to Parallel Computing
ISBN: 9780198515760 / Angielski / Twarda / 2004 / 288 str. Termin realizacji zamówienia: ok. 30 dni roboczych. In the last few years, courses on parallel computation have been developed and offered in many institutions in the UK, Europe and US as a recognition of the growing significance of this topic in mathematics and computer science. There is a clear need for texts that meet the needs of students and lecturers and this book, based on the author's lecture at ETH Zurich is an ideal practical student guide to scientific computing on parallel computers working up from a hardware instruction level, to shared memory machines and finally to distributed memory machines. Aimed at advanced undergraduate and...
In the last few years, courses on parallel computation have been developed and offered in many institutions in the UK, Europe and US as a recognition ...
|
cena:
969,09 |
 |
Introduction to Parallel Computing
ISBN: 9780198515777 / Angielski / Miękka / 2004 / 288 str. Termin realizacji zamówienia: ok. 30 dni roboczych. In the last few years, courses on parallel computation have been developed and offered in many institutions in the UK, Europe and US as a recognition of the growing significance of this topic in mathematics and computer science. There is a clear need for texts that meet the needs of students and lecturers and this book, based on the author's lecture at ETH Zurich is an ideal practical student guide to scientific computing on parallel computers working up from a hardware instruction level, to shared memory machines and finally to distributed memory machines. Aimed at advanced undergraduate and...
In the last few years, courses on parallel computation have been developed and offered in many institutions in the UK, Europe and US as a recognition ...
|
cena:
481,90 |
 |
Modeling Reality: How Computers Mirror Life
ISBN: 9780198531005 / Angielski / Twarda / 2005 / 188 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The bookModeling Reality covers a wide range of fascinating subjects, accessible to anyone who wants to learn about the use of computer modeling to solve a diverse range of problems, but who does not possess a specialized training in mathematics or computer science. The material presented is pitched at the level of high-school graduates, even though it covers some advanced topics (cellular automata, Shannon's measure of information, deterministic chaos, fractals, game theory, neural networks, genetic algorithms, and Turing machines). These advanced topics are explained in terms of...
The bookModeling Reality covers a wide range of fascinating subjects, accessible to anyone who wants to learn about the use of computer model...
|
cena:
382,14 |
 |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
ISBN: 9780198537458 / Angielski / Twarda / 1993 / 536 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from software engineering and hardware development to programming languages and artificial intelligence. There is a growing need for an in-depth survey of the applications of logic in AI and computer science. The Handbook of Logic in Artificial Intelligence and Logic Programming and its companion, Handbook of Logic in Computer Science, have been created in response to this need. This book is a combination of authoritative exposition, comprehensive...
Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from ...
|
cena:
1908,68 |
 |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
ISBN: 9780198537465 / Angielski / Twarda / 1994 / 528 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of application of logic to AI and logic programming. Each volume features a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Volumes 1 and 2...
Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, f...
|
cena:
1908,68 |
 |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
ISBN: 9780198537472 / Angielski / Twarda / 1994 / 552 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of application of logic to AI and logic programming. Each volume features a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in various areas. Volumes 1 and 2 present...
Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, f...
|
cena:
2105,88 |
 |
Topology and Category Theory in Computer Science
ISBN: 9780198537601 / Angielski / Twarda / 1991 / 408 str. Termin realizacji zamówienia: ok. 30 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:
470,30 |
 |
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
ISBN: 9780198537618 / Angielski / Twarda / 1993 / 584 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures, semantic modelling, theoretical methods in specification and verification, and logical methods in computer science. The result of five years of...
The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of ...
|
cena:
2105,88 |
 |
Handbook of Logic in Computer Science: Volume 3: Semantic Structures
ISBN: 9780198537625 / Angielski / Twarda / 1995 / 512 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, fro...
|
cena:
1908,68 |
 |
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2
ISBN: 9780198537687 / Angielski / Twarda / 2000 / 616 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this...
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...
|
cena:
1073,49 |
 |
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
ISBN: 9780198537809 / Angielski / Twarda / 1995 / 672 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and...
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer scie...
|
cena:
1908,68 |
 |
Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
ISBN: 9780198537816 / Angielski / Twarda / 2001 / 560 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, fro...
|
cena:
2303,08 |
 |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
ISBN: 9780198537922 / Angielski / Twarda / 1998 / 816 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and its companion The Handbook of Logic in Computer Science were created in response to the growing need for an in-depth survey of these applications. This handbook comprises five volumes, each an in-depth overview of one of the major topics in this area. The result of years of cooperative effort by...
Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from ...
|
cena:
2105,88 |
 |
Essentials of Logic Programming
ISBN: 9780198538325 / Angielski / Miękka / 1991 / 322 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes,...
Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generati...
|
cena:
252,22 |
 |
Computation and Reasoning - A Type Theory for Computer Science
ISBN: 9780198538356 / Angielski / Twarda / 1994 / 240 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues...
This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study o...
|
cena:
414,61 |
 |
An Introduction to Discrete Mathematics, Formal System Specification, and Z
ISBN: 9780198538363 / Angielski / Miękka / 1993 / 296 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of...
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and softwar...
|
cena:
252,22 |
 |
Derivation and Validation of Software Metrics
ISBN: 9780198538424 / Angielski / Twarda / 1993 / 176 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This landmark book is the first to describe a methodical derivation process for software metrics--measurements of software products and processes used to monitor, estimate, and control the quality and utility of software projects. The author reviews the subject, discusses a number of weaknesses inherent in software metrication, and describes a method for derivation and validation. Students and professionals in computer science, software engineering, and software quality assurance will want to read this important new contribution to the literature.
This landmark book is the first to describe a methodical derivation process for software metrics--measurements of software products and processes used...
|
cena:
140,82 |
 |
Features and Fluents: The Representation of Knowledge about Dynamical Systems Volume 1
ISBN: 9780198538455 / Angielski / Twarda / 1995 / 352 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Techniques for reasoning about actions and change in the physical world are among the classic research topics in artificial intelligence, motivated by the needs of autonomous robots which must be able to anticipate future developments and analyze problems. This monograph presents a novel methodology for such reasoning. It is based on a systematic approach for identifying the exact range of applicability of a given logic, as opposed to traditional methods based on proposing new logic variants supported by episodical examples. For a number of previously proposed logics, as well as for some new...
Techniques for reasoning about actions and change in the physical world are among the classic research topics in artificial intelligence, motivated by...
|
cena:
405,33 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
