Detail produktu

Produkt mají v nabídce:

Bookshop

2 969 Kč

Do eshopu

Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Podobné produkty

Meaning, Logic And Ludics - Lecomte, Alain (Univ De Paris Viii, France)

Meaning, Logic And Ludics - Lecomte, Alain (Univ De Paris Viii, France)

3 701 Kč

Porovnat nabídky

Topics in Theoretical Computer Science

Topics in Theoretical Computer Science

1 322 Kč

Porovnat nabídky

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

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

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

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

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

Collins OCR GCSE 9-1 Computer Science Workbook (3rd Edicion) - Clowrey Paul

Collins OCR GCSE 9-1 Computer Science Workbook (3rd Edicion) - Clowrey Paul

136 Kč

Porovnat nabídky

Collins OCR GCSE 9-1 Computer Science Revision Cards - Collins GCSE

Collins OCR GCSE 9-1 Computer Science Revision Cards - Collins GCSE

203 Kč

Porovnat nabídky

↑