KIRJAUDU

ostoskori

avaa valikko

Michael Hanus | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 15 tuotetta
Haluatko tarkentaa hakukriteerejä?

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION - 18TH INTERNATIONAL SYMPOSIUM, LOPSTR 2008, VALENCIA, SPAIN, JULY 17-18, 2008,

Michael Hanus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

ALGEBRAIC AND LOGIC PROGRAMMING : 6TH INTERNATIONAL JOINT CONFERENCE, ALP '97 - HOA '97, SOUTHHAMPTON, UK, SEPTEMBER 3-5, 1997.

Michael Hanus (ed.); Jan Heering (ed.); Karl Meinke (ed.)
Springer (1997)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING - 28TH INTERNATIONAL WORKSHOP, WFLP 2020, BOLOGNA, ITALY, SEPTEMBER 7, 2020, REVISED

Michael Hanus; Claudio Sacerdoti Coen
Springer Nature Switzerland AG (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FUNCTIONAL AND LOGIC PROGRAMMING : 16TH INTERNATIONAL SYMPOSIUM, FLOPS 2022, KYOTO, JAPAN, MAY 10–12, 2022, PROCEEDINGS

Michael Hanus (ed.); Atsushi Igarashi (ed.)
Springer (2022)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

64,10 €

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES : 25TH INTERNATIONAL SYMPOSIUM, PADL 2023, BOSTON, MA, USA, JANUARY 16–17, 2023, PROC

Michael Hanus (ed.); Daniela Inclezan (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

73,70 €

APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE

Dietmar Seipel; Michael Hanus; Ulrich Geske; Oskar Bartenstein
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

ALGEBRAIC AND LOGIC PROGRAMMING - 5TH INTERNATIONAL CONFERENCE, ALP '96, AACHEN, GERMANY, SEPTEMBER 25 - 27, 1996. PROCEEDINGS

Michael Hanus; Mario Rodriguez-Artalejo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES : 9TH INTERNATIONAL SYMPOSIUM, PADL 2007, NICE, FRANCE, JANUARY 14-15, 2007, PROCEEDI

Michael Hanus (ed.)
Springer (2006)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - 17TH INTERNATIONAL CONFERENCE, INAP 2007, AND 21ST WORKSHOP O

Dietmar Seipel; Michael Hanus; Armin Wolf
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

THE TWO SIDES OF INNOVATION : CREATION AND DESTRUCTION IN THE EVOLUTION OF CAPITALIST ECONOMIES

Guido Buenstorf (ed.); Uwe Cantner (ed.); Horst Hanusch (ed.); Michael Hutter (ed.); Hans-Walter Lorenz (ed.); Fr Rahmeyer
Springer (2013)
Saatavuus: Tilaustuote
Kovakantinen kirja

97,90 €

DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - DECLARATIVE PROGRAMMING DAYS, KDPD 2013, UNIFYING INAP, WFLP, AND WLP, KIEL,

Michael Hanus; Ricardo Rocha
Springer International Publishing AG (2014)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

47,70 €

DIE 4. WELT - ENTDECKUNGEN

Michael Hanuschek
PublikationsService (2006)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

46,90 €

PROBLEMLÖSEN MIT PROLOG

Michael Hanus
Springer Fachmedien Wiesbaden (1987)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

41,90 €

THE TWO SIDES OF INNOVATION : CREATION AND DESTRUCTION IN THE EVOLUTION OF CAPITALIST ECONOMIES

Guido Buenstorf (ed.); Uwe Cantner (ed.); Horst Hanusch (ed.); Michael Hutter (ed.); Hans-Walter Lorenz (ed.); Fr Rahmeyer
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - CONFERENCE ON DECLARATIVE PROGRAMMING, DECLARE 2017, UNIFYING INAP, WFLP, AND

Dietmar Seipel; Michael Hanus; Salvador Abreu
Springer Nature Switzerland AG (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Hae lisää...

Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008,

Michael Hanus

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 185 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009
Julkaisuvuosi: 2009, 27.02.2009 (lisätietoa)
Kieli: Englanti

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä

Myymäläsaatavuus