» książki » Computers - Machine Theory
topmenu
 |
Kompendium der diskreten Mathematik
ISBN: 9783486756975 / Niemiecki / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Kompendium prasentiert die fur ein Mathematik- oder Informatikstudium benotigten Grundlagen der diskreten Mathematik in kompakter Form. Alle wichtigen Themen wie Mengen, Relationen und Funktionen, Logik, Graphen, abstrakte und lineare Algebra sowie diskrete Wahrscheinlichkeitstheorie werden abgedeckt. Damit erweist sich das Buch als nutzlicher Begleiter fur viele Vorlesungen im Studium.
Das Kompendium prasentiert die fur ein Mathematik- oder Informatikstudium benotigten Grundlagen der diskreten Mathematik in kompakter Form. Alle wicht...
|
cena:
149,56 zł |
 |
Type Theory and Formal Proof: An Introduction
ISBN: 9781107036505 / Angielski / Twarda / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and...
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for ...
|
cena:
335,49 zł |
 |
Parallel Processing and Applied Mathematics: 10th International Conference, Ppam 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers,
ISBN: 9783642551949 / Angielski / Miękka / 775 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013. The 143 revised full papers presented in both volumes were carefully reviewed and selected from numerous submissions. The papers cover important fields of parallel/distributed/cloud computing and applied mathematics, such as numerical algorithms and parallel scientific computing; parallel non-numerical algorithms; tools and environments for parallel/distributed/cloud computing;...
This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied ...
|
cena:
191,40 zł |
 |
Artificial Intelligence and Soft Computing: 13th International Conference, Icaisc 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II
ISBN: 9783319071756 / Angielski / Miękka / 822 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2014, held in Zakopane, Poland in June 2014. The 139 revised full papers presented in the volumes, were carefully reviewed and selected from 331 submissions. The 69 papers included in the first volume are focused on the following topical sections: Neural Networks and Their Applications, Fuzzy Systems and Their Applications, Evolutionary Algorithms and Their Applications, Classification and Estimation, Computer Vision, Image...
The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and So...
|
cena:
382,84 zł |
 |
Artificial Intelligence and Soft Computing: 13th International Conference, Icaisc 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I
ISBN: 9783319071725 / Angielski / Miękka / 820 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2014, held in Zakopane, Poland in June 2014. The 139 revised full papers presented in the volumes, were carefully reviewed and selected from 331 submissions. The 69 papers included in the first volume are focused on the following topical sections: Neural Networks and Their Applications, Fuzzy Systems and Their Applications, Evolutionary Algorithms and Their Applications, Classification and Estimation, Computer Vision, Image...
The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and So...
|
cena:
382,84 zł |
 |
Analysis of Boolean Functions
ISBN: 9781107038325 / Angielski / Twarda / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathematical social choice. The field of analysis of Boolean functions seeks to understand them via their Fourier transform and other analytic methods. This text gives a thorough overview of the field, beginning with the most basic definitions and proceeding to advanced topics such as hypercontractivity and isoperimetry. Each chapter includes a highlight application such as Arrow's theorem from...
Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, includin...
|
cena:
464,38 zł |
 |
Computational Trust Models and Machine Learning
ISBN: 9781482226669 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational Trust Models and Machine Learning provides a detailed introduction to the concept of trust and its application in various computer science areas, including multi-agent systems, online social networks, and communication systems. Identifying trust modeling challenges that cannot be addressed by traditional approaches, this book:
Computational Trust Models and Machine Learning provides a detailed introduction to the concept of trust and its application in va... |
cena:
518,65 zł |
 |
Language, Life, Limits: 10th Conference on Computability in Europe, Cie 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
ISBN: 9783319080185 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedings. The conference had six special sessions: computational linguistics, bio-inspired computation, history and philosophy of computing, computability theory, online algorithms and complexity in automata theory.
This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. T...
|
cena:
191,40 zł |
 |
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
ISBN: 9783319088457 / Angielski / Miękka / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th This book constitutes the refereed proceedings of the 19th |
cena:
191,40 zł |
 |
From Animals to Animats 13: 13th International Conference on Simulation of Adaptive Behavior, Sab 2014, Castellón, Spain, July 22-25, 2014, Procee
ISBN: 9783319088631 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellon, Spain, in July 2014. The 32 papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. They cover the main areas in animat research, including the animat approach and methodology, perception and motor control, navigation and internal world models, learning and adaptation, evolution and collective and social behavior.
This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellon, Spain, in ...
|
cena:
191,40 zł |
 |
Unconventional Computation and Natural Computation: 13th International Conference, Ucnc 2014, London, On, Canada, July 14-18, 2014, Proceedings
ISBN: 9783319081229 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014. The 31 revised full papers were carefully reviewed and selected from 79 submissions. The papers cover a wide range of topics including among others molecular, quantum, optical and chaos computing as well as neural computation, evolutionary computation, swarm intelligence and computational neuroscience.
This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, ...
|
cena:
191,40 zł |
 |
Developments in Language Theory: 18th International Conference, Dlt 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ISBN: 9783319096971 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014. The 22 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions. The papers are organized in topical subjects on Grammars, Acceptors and Transducers for Words, Trees and Graphs, Algebraic Theories of Automata, Algorithmic, Combinatorial and Algebraic Properties of Words and Languages, Variable Length Codes, Symbolic Dynamics, Cellular Automata, Polyominoes...
This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia,...
|
cena:
191,40 zł |
 |
Descriptional Complexity of Formal Systems: 16th International Workshop, Dcfs 2014, Turku, Finland, August 5-8, 2014, Proceedings
ISBN: 9783319097039 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctness of description of objects, state explosion-like phenomena; circuit complexity of Boolean...
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in ...
|
cena:
191,40 zł |
 |
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ISBN: 9783662446010 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 2...
|
cena:
191,40 zł |
 |
Instruction Sequences for Computer Science
ISBN: 9789462390492 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean...
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu...
|
cena:
382,84 zł |
 |
The Relevance of the Time Domain to Neural Network Models
ISBN: 9781461429920 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A significant amount of effort in neural modeling is directed towards understanding the representation of information in various parts of the brain, such as cortical maps 6], and the paths along which sensory information is processed. Though the time domain is integral an integral aspect of the functioning of biological systems, it has proven very challenging to incorporate the time domain effectively in neural network models. A promising path that is being explored is to study the importance of synchronization in biological systems. Synchronization plays a critical role in the... A significant amount of effort in neural modeling is directed towards understanding the representation of information in various parts of the brain... |
cena:
574,29 zł |
 |
Formal Modeling and Analysis of Timed Systems: 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings
ISBN: 9783319105116 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.
The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications... This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, he...
|
cena:
183,78 zł |
 |
The End of Error: Unum Computing
ISBN: 9781482239867 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the inventor of Gustafson s Law, The End of Error: Unum Computing explains a new approach to computer arithmetic: the universal number (unum). The unum encompasses all IEEE floating-point formats as well as fixed-point and exact integer arithmetic. This new number type obtains more accurate answers than floating-point arithmetic yet uses fewer bits in many cases, saving memory, bandwidth, energy, and power. A Complete Revamp of... The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the inventor of ... |
cena:
311,17 zł |
 |
Artificial Neural Networks and Machine Learning -- Icann 2014: 24th International Conference on Artificial Neural Networks, Hamburg, Germany, Septembe
ISBN: 9783319111780 / Angielski / Miękka / 852 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book constitutes the proceedings of the 24th International Conference on Artificial Neural Networks, ICANN 2014, held in Hamburg, Germany, in September 2014.
The 107 papers included in the proceedings were carefully reviewed and selected from 173 submissions. The focus of the papers is on following topics: recurrent networks; competitive learning and self-organisation; clustering and classification; trees and graphs; human-machine interaction; deep networks; theory; reinforcement learning and action; vision; supervised learning; dynamical models and time series; neuroscience; and... The book constitutes the proceedings of the 24th International Conference on Artificial Neural Networks, ICANN 2014, held in Hamburg, Germany, in Sept...
|
cena:
191,40 zł |
 |
DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
ISBN: 9783319112947 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto, Japan, in September 2014. The 10 full papers presented were carefully selected from 55 submissions. The papers are organized in many disciplines (including mathematics, computer science, physics, chemistry, material science and biology) to address the analysis, design, and synthesis of information-based molecular systems.
This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto,...
|
cena:
153,15 zł |
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
