krainaksiazek foundations of computer science 20042963

- znaleziono 134 produkty w 9 sklepach

Logical Foundations of Computer Science - 2854235996

661,72 zł

Logical Foundations of Computer Science Springer, Berlin

Książki / Literatura obcojęzyczna

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007.§The volume presents 36 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.

Sklep: Libristo.pl

Foundations Of Computer Science - 2850534083

359,99 zł

Foundations Of Computer Science

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer science

0x00d2ed2500000000

Sklep: Gigant.pl

Godel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy - 2850891130

576,39 zł

Godel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy

Książki

Sklep: KrainaKsiazek.pl

Mathematical Foundations of Computer Science 1977 - 2856489383

709,20 zł

Mathematical Foundations of Computer Science 1977 Springer, Berlin

Książki / Literatura obcojęzyczna

Sklep: Libristo.pl

Foundations of Computer Science - 2854304195

266,40 zł

Foundations of Computer Science Cengage Learning

Książki / Literatura obcojęzyczna

Based on the Association for Computing Imagery model curriculum guidelines, Foundations of Computer Science gives students a bird's eye view of Computer Science. This easy-to-read and easy-to-navigate text covers all the fundamentals of computer science required for first year undergraduates embarking on a computing degree.

Sklep: Libristo.pl

Mathematical Foundations of Computer Science - 2854461076

91,49 zł

Mathematical Foundations of Computer Science Prentice-Hall of India Pvt.Ltd

Książki / Literatura obcojęzyczna

Sklep: Libristo.pl

Introduction To Cryptography With Mathematical Foundations And Computer Implementations - 2844917468

339,99 zł

Introduction To Cryptography With Mathematical Foundations And Computer Implementations

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Combinatorics & graph theoryKsiążki Obcojęzyczne>Angielskie>Comput...

An Introduction That Provides A Focused Tour Of The Central Concepts Of Cryptography. It Delineates Cryptographic Concepts In Chronological Order, Developing The Mathematics As Needed. It Includes Many Examples And Exercises, Along With Computer Implement

Sklep: Gigant.pl

Proceedings Of The 8th International Conference On Foundations Of Computer - Aided Process Design - 2855083994

2299,99 zł

Proceedings Of The 8th International Conference On Foundations Of Computer - Aided Process Design

Książki Obcojęzyczne>Angielskie>Mathematics & science>Chemistry

0x0158475300000000

Sklep: Gigant.pl

Introduction To Cryptography With Mathematical Foundations And Computer Implementations - 2856598345

359,99 zł

Introduction To Cryptography With Mathematical Foundations And Computer Implementations

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Combinatorics & graph theoryKsiążki Obcojęzyczne>Angielskie>Comput...

0x0143bbe100000000

Sklep: Gigant.pl

Logic, Mathematics, and Computer Science - 2854443992

214,14 zł

Logic, Mathematics, and Computer Science Springer, Berlin

Książki / Literatura obcojęzyczna

This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography

Sklep: Libristo.pl

Lectures on Discrete Mathematics for Computer Science - 2827120013

328,39 zł

Lectures on Discrete Mathematics for Computer Science World Scientific Publishing

Książki / Literatura obcojęzyczna

This textbook presents all the fundamental topics of discrete mathematics that are introduced from the perspectives of a pure mathematician and an applied computer scientist. The integration of the two perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. Thus, it is an excellent introduction to computer science and software engineering. The first author is a leading mathematician in the area of logic, computability, and theoretical computer science, with more than 25 years of teaching and research experience. The second author is a computer science PhD student at the University of Washington specializing in database systems. The father-and-daughter team bring together two different perspectives to create a unified book for students interested in learning discrete mathematics, connections between discrete mathematics and computer science, and the mathematical foundations of computer science. Readers will learn how to formally define abstract concepts, reason about objects (e.g., programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook concentrates on the study of several well-known algorithmic problems (e.g., the path problem for graphs and finding the greatest common divisor), inductive definitions, proofs of correctness of algorithms via loop invariants and induction, the basics of formal methods (e.g., propositional logic), finite state machines, counting, probability, and the foundations of databases (e.g., relational calculus).

Sklep: Libristo.pl

Graph Theory With Applications To Engineering And Computer Science - 2850827080

119,99 zł

Graph Theory With Applications To Engineering And Computer Science

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

0x007f9aec00000000

Sklep: Gigant.pl

Logic Mathematics & Computer Science - 2855092110

249,99 zł

Logic Mathematics & Computer Science

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

0x0051b76900000000

Sklep: Gigant.pl

Discovering Computer Science - 2857261806

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

Mathematical Logic For Computer Science - 2857045904

259,99 zł

Mathematical Logic For Computer Science

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

0x014419ed00000000

Sklep: Gigant.pl

szukaj w Kangoo krainaksiazek foundations of computer science 20042963

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

Szukaj w sklepach lub całym serwisie

1. Sklepy z krainaksiazek pl foundations of computer science 20042963

2. Szukaj na wszystkich stronach serwisu

t1=0.101, t2=0, t3=0, t4=0.026, t=0.101

Dla sprzedawców

copyright © 2005-2017 Sklepy24.pl  |  made by Internet Software House DOTCOM RIVER