Detail produktu

Produkt mají v nabídce:

Bookshop

1 322 Kč

Do eshopu

Logical Foundations of Computer Science

Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming.

Podobné produkty

Logical Foundations of Computer Science

Logical Foundations of Computer Science

1 322 Kč

Porovnat nabídky

Logical Foundations of Computer Science

Logical Foundations of Computer Science

1 322 Kč

Porovnat nabídky

Foundations of Image Science - Barrett, Harrison H. (University of Arizona) a Myers, Kyle J. (Center for Devices a Radiological Health, Food a Drug Administration)

Foundations of Image Science - Barrett, Harrison H. (University of Arizona) a Myers, Kyle J. (Center for Devices a Radiological Health, Food a Drug Administration)

6 226 Kč

Porovnat nabídky

Foundations of 3D Computer Graphics - Gortler, Steven J.

Foundations of 3D Computer Graphics - Gortler, Steven J.

1 514 Kč

Porovnat nabídky

Logical Foundations of Social Theory - Mueller, Gert H.

Logical Foundations of Social Theory - Mueller, Gert H.

1 250 Kč

Porovnat nabídky

Theological Foundations of Rabbinic Midrash - Neusner, Jacob

Theological Foundations of Rabbinic Midrash - Neusner, Jacob

1 875 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

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

Microfoundations of Policy Implementation - Nicolaides, Phedon

Microfoundations of Policy Implementation - Nicolaides, Phedon

3 093 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

Modeling and Simulation of Computer Networks and Systems

Modeling and Simulation of Computer Networks and Systems

2 790 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

↑