Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Fields of Logic and Computation II Lev D. Beklemishev

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Szerző: Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 551 Ft
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fund...

Információk a könyvről

Szerző
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2015
oldal
319
EAN
9783319235332
ISBN
3319235338
Enbook ID
09493598
Kiadó
Springer International Publishing AG
Súly
5037
Méretek
155 x 235 x 16

Teljes leírás

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 25th Annual Conference on Computer Science Logic (CSL 2015).

Érdekelheti

Psychic Norbert's Orders Of Angels

Psychic Norbert
4 563 Ft

Action Science Unit 4 Teacher's Guide

Peter Swan
2 965 Ft

Yank Brown, Halfback (1921)

David Stone
10 452 Ft

Introduction to Cabochon Cutting and the Lapidary Hobby

Dick Friesen
4 577 Ft

Prison School, Vol. 11

Akira Hiramoto
7 129 Ft

Evolutionary Love and the Ravages of Greed

ADAM CRABTREE
16 155 Ft

American Goliath

Harvey Jacobs
5 585 Ft

Diabetes and Your Lifestyle: Taking Control of Your Blood Sugar

Daphne Olivier
5 585 Ft

Optimization

Kenneth Lange
49 632 Ft

Education of Henry Adams

Henry Adams
6 493 Ft

Return to the Same City

Taibo
6 697 Ft

Burnout Among Social Workers

David F Gillespie
96 843 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Life

Stephan Micus
7 891 Ft

Les veritables oeuvres de Monsieur de Saint-Evremond. Publiées sur les manuscris de l'auteur. Seconde edition, rev?ë & corrigée. of 5; Volume 2

Saint-Evremond
9 748 Ft

Derecho y multiculturalismo

Gajardo Falcon Jaime
13 939 Ft

Die Verhaltnisse Der Sklaven Bei Den Alten Hebraern (1859)

Moses Mielziner
12 945 Ft

Estimada Theo -C-

3 887 Ft

Disturbi emotivi. Cosa fare (e non). Guida rapida per insegnanti. Scuola secondaria di primo grado

Francesca Mencaroni
7 183 Ft