Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Fields of Logic and Computation II

Name: Fields of Logic and Computation II
Brand: Springer International Publishing AG
SKU: 09493598
Price: 51.09 EUR
Availability: InStock
Author: Lev D. Beklemishev
ISBN: 9783319235332

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 09493598

Casa editrice Springer International Publishing AG, agosto 2015

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fund... Descrizione completa

Codice Libristo: 09493598

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Life Stephan Micus

CD audio

21.79 €

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

In brossura

21.89 €

Derecho y multiculturalismo Gajardo Falcon Jaime

In brossura

36.19 €

Die Verhaltnisse Der Sklaven Bei Den Alten Hebraern (1859) Moses Mielziner

Rigido

35.79 €

Estimada Theo -C-

binding.

8.89 €

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

In brossura

16.39 €

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).