Електронна книга > Наука > Математика > Jean-Yves Girard & Yves Lafont: Advances in Linear Logic (PDF)

Jean-Yves Girard & Yves Lafont
Advances in Linear Logic [PDF ebook]

поддержка

Обложка Jean-Yves Girard & Yves Lafont: Advances in Linear Logic (PDF)

€75.50

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● ISBN 9780511893179 ● редактор Jean-Yves Girard & Yves Lafont ● издатель Cambridge University Press ● опубликованный 1995 ● Загружаемые 6 раз ● валюта EUR ● Код товара 2659280 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Jean-Yves Girard Yves Lafont Laurent Regnier

49 981 Электронные книги в этой категории

Обложка Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Stealth technology is a crucial pre-requisite in the combat zone, where swiftness, surprise and initiative are the decisive elements for survivability. The supreme goal here is to reduce the visibili …

Обложка Dolly Khuwayri (American University of Beirut, Lebanon) Fayyad & Nabil (American University of Beirut, Lebanon) Nassif: Introduction to Numerical Analysis and Scientific Computing

Dolly Khuwayri (American University of Beirut, Lebanon) Fayyad & Nabil (American University of Beirut, Lebanon) Nassif: Introduction to Numerical Analysis and Scientific Computing

Designed for a one-semester course, Introduction to Numerical Analysis and Scientific Computing presents fundamental concepts of numerical mathematics and explains how to implement and program numeri …

Обложка H.F Jones: Groups, Representations and Physics

H.F Jones: Groups, Representations and Physics

Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …

Обложка Oliver Linton: Mathematical Functions

Oliver Linton: Mathematical Functions

What is a mathematical function? Why are they so important? How does plotting the graph of a function help us understand it? And where do gradients, differentials and calculus fit in? In this unique …

Обложка Vladimir Ivanovitch (M. I. Kalashnikov Izhevsk State Technical University, Izhevsk, Russia) Kodolov & Mikhail A. (Udmurt State University, Izhevsk, Russia) Korepanov: Applied Mathematical Models and Experimental Approaches in Chemical Science

Vladimir Ivanovitch (M. I. Kalashnikov Izhevsk State Technical University, Izhevsk, Russia) Kodolov & Mikhail A. (Udmurt State University, Izhevsk, Russia) Korepanov: Applied Mathematical Models and Experimental Approaches in Chemical Science

This new book focuses on nanomaterial development as well as investigations of combustion and explosion processes. It presents valuable information on the modeling of processes and on quantum chemica …

Обложка Simeon Berman: Sojourns And Extremes of Stochastic Processes

Simeon Berman: Sojourns And Extremes of Stochastic Processes

Sojourns and Extremes of Stochastic Processes is a research monograph in the area of probability theory. During the past thirty years Berman has made many contributions to the theory of the extreme v …

Обложка Schweitzer: Corrosion and Corrosion Protection Handbook

Schweitzer: Corrosion and Corrosion Protection Handbook

Continuing to provide excellent, state-of-the-art information on corrosion and practicalsolutions for reducing corrosion, the Second Edition contains valuable suggestionson how to select the best con …

Обложка Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment

Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment

The book is about a very active research field in software engineering. In modern society, the fact of the world»s high reliance on software requires the system»s robustness, i.e., continual availa …

Обложка Anupam Shukla & Ritu Tiwari: Discrete Problems in Nature Inspired Algorithms

Anupam Shukla & Ritu Tiwari: Discrete Problems in Nature Inspired Algorithms

This book includes introduction of several algorithms which are exclusively for graph based problems, namely combinatorial optimization problems, path formation problems, etc. Each chapter includes t …

Обложка Klaus G. Fischer: Computational Algebra

Klaus G. Fischer: Computational Algebra

Based on the fifth Mid-Atlantic Algebra Conference held recently at George Mason University, Fairfax, Virginia. Focuses on both the practical and theoretical aspects of computational algebra. Demonst …

Следущая страница >>>