Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Programming Logics

Name: Programming Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281565
Price: 53.79 EUR
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783642376504

Essays in Memory of Harald Ganzinger

Andrei Voronkov

Christoph Weidenbach

Lingua

Inglese

Libro In brossura

Codice Libristo: 05281565

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... Descrizione completa

Codice Libristo: 05281565

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Cría de pollos (Gallus domesticus) en Kivu del Sur, este de la RDC

In brossura

37.29 €

Conni rettet die Tiere (Meine Freundin Conni - ab 6 17), Audio-CD Julia Boehme

CD audio

8.89 €

RTA194 SUZUKI-SANTANA GRAND VITARA II fase1(05-09) ETAI Libro

binding.

36.19 €

Deutsch in 15 Minuten - Texte schreiben 5./6. Klasse Friederike Ablang

In brossura

6.99 €

Prašina 3 - Biela komnata Vojtěch Matocha

In brossura

14.79 €

Rechtliche Risiken des Arbeitnehmers bei der Nichtbefolgung unbilliger Weisungen des Arbeitgebers einerseits und bei Nichtbefolgung ordnungsgemäßer We Sirko Archut

In brossura

40.09 €

Gottesbewusstsein - Die Hohe Kunst der Magie Ursula W Ziegler

In brossura

18.79 €

Pippa Pepperkorn Hörbuch-Box Charlotte Habersack

CD audio

17.69 €

Die verfassunggebende Gewalt nach dem Grundgesetz für die Bundesrepublik Deutschland. Dietrich Murswiek

In brossura

58.99 €

Bewegungsorientierte Sprachfoerderung aus neurolinguistischer Perspektive Ninon Nasseri

In brossura

15.09 €

Fornication APTER

Rigido

9.99 €

Vergleich der privaten E-Mail und SMS Kommunikation aus linguistischer und medienwahltheoretischer Perspektive Anja Bürger

In brossura

40.09 €

Notice Biographique Sur La Vie de M. Le Comte de Peyronnet Sans Auteur

In brossura

13.19 €

Militar-Flugzeugindustrie im Dritten Reich Christian Matenaar

In brossura

35.49 €

Wenn die Liebe schmerzt Claudia Amherd

In brossura

25.29 €

Dr. Joseph Salzmanns Leben Und Wirken Joseph Rainer

In brossura

27.99 €

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.§The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Programming Logics

Autore Andrei Voronkov, Christoph Weidenbach

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 447

EAN 9783642376504

ISBN 3642376509

Codice Libristo 05281565

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 700

Dimensioni 155 x 235 x 25

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Visione artificiale (computer vision)

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software