Detail produktu

Produkt mají v nabídce:

Bookshop

1 719 Kč

Do eshopu

Logic in Computer Science - Huth, Michael (Imperial College of Science, Technology and Medicine, London) a Ryan, Mark (University of Birmingham)

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Podobné produkty

Universal Algebra and Applications in Theoretical Computer Science - Denecke, Klaus (Universitat Potsdam, Potsdam, Germany) a Wismath, Shelly L. (University of Lethbridge, Lethbridge, Canada)

Universal Algebra and Applications in Theoretical Computer Science - Denecke, Klaus (Universitat Potsdam, Potsdam, Germany) a Wismath, Shelly L. (University of Lethbridge, Lethbridge, Canada)

4 562 Kč

Porovnat nabídky

Topics in Theoretical Computer Science

Topics in Theoretical Computer Science

1 322 Kč

Porovnat nabídky

Relational Database Design and Implementation - Harrington, Jan L. (Professor and Department Chair, Computer Science, Marist College, Hyde Park, NY, USA)

Relational Database Design and Implementation - Harrington, Jan L. (Professor and Department Chair, Computer Science, Marist College, Hyde Park, NY, USA)

1 380 Kč

Porovnat nabídky

Computer Organization and Design ARM Edition - Patterson, David A. (Pardee Professor of Computer Science, Emeritus, University of California, Berkeley, USA) a Hennessy, John L. (Departments of Electrical Engineering and Computer Science, Stanford University, USA)

Computer Organization and Design ARM Edition - Patterson, David A. (Pardee Professor of Computer Science, Emeritus, University of California, Berkeley, USA) a Hennessy, John L. (Departments of Electrical Engineering and Computer Science, Stanford University, USA)

2 203 Kč

Porovnat nabídky

Foundations of Analog and Digital Electronic Circuits - Agarwal, Anant (Director, MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) and professor, Electrical Engineering and Computer Science Department, MIT) a Lang, Jeffrey (Professor, Electrical Engineering, MIT)

Foundations of Analog and Digital Electronic Circuits - Agarwal, Anant (Director, MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) and professor, Electrical Engineering and Computer Science Department, MIT) a Lang, Jeffrey (Professor, Electrical Engineering, MIT)

2 320 Kč

Porovnat nabídky

Sketching User Experiences: The Workbook - Greenberg, Saul (PhD, Full Professor, Department of Computer Science, University of Calgary) a Carpendale, Sheelagh (Professor at the University of Calgary where she holds a Canada Research Chair in Information Visualization and an NSERC/AITF/SMART Industri

Sketching User Experiences: The Workbook - Greenberg, Saul (PhD, Full Professor, Department of Computer Science, University of Calgary) a Carpendale, Sheelagh (Professor at the University of Calgary where she holds a Canada Research Chair in Information Visualization and an NSERC/AITF/SMART Industri

470 Kč

Porovnat nabídky

IT Manager's Handbook - Holtsnider, Bill (Senior Writer at ClickFox with more than 26 years of experience working in the computer industry) a Jaffe, Brian D. (Senior Vice President of Global IT, McCann-Erickson Advertising)

IT Manager's Handbook - Holtsnider, Bill (Senior Writer at ClickFox with more than 26 years of experience working in the computer industry) a Jaffe, Brian D. (Senior Vice President of Global IT, McCann-Erickson Advertising)

1 175 Kč

Porovnat nabídky

Computer Animation - Parent, Rick (Professor Emeritus, Department of Computer Science and Engineering, The Ohio State University)

Computer Animation - Parent, Rick (Professor Emeritus, Department of Computer Science and Engineering, The Ohio State University)

1 498 Kč

Porovnat nabídky

Linear Logic in Computer Science

Linear Logic in Computer Science

2 969 Kč

Porovnat nabídky

Protecting Individual Privacy in the Struggle Against Terrorists - Committee on Technical and Privacy Dimensions of Information for Terrorism Prevention and Other National Goals a Committee on Law and Justice a Committee on National Statistics a Computer Science and Telecommunications Board a Division of Behavioral and Social Sc

Protecting Individual Privacy in the Struggle Against Terrorists - Committee on Technical and Privacy Dimensions of Information for Terrorism Prevention and Other National Goals a Committee on Law and Justice a Committee on National Statistics a Computer Science and Telecommunications Board a Division of Behavioral and Social Sc

1 859 Kč

Porovnat nabídky

Report of a Workshop on the Pedagogical Aspects of Computational Thinking - National Research Council a Division on Engineering and Physical Sciences a Computer Science and Telecommunications Board a Committee for the Workshops on Computational Thinking

Report of a Workshop on the Pedagogical Aspects of Computational Thinking - National Research Council a Division on Engineering and Physical Sciences a Computer Science and Telecommunications Board a Committee for the Workshops on Computational Thinking

850 Kč

Porovnat nabídky

Lego® education 45521 computer science & ai 1.stupeň

Lego® education 45521 computer science & ai 1.stupeň

Cena od 12 895 Kč

Porovnat nabídky

↑