SULJE VALIKKO

avaa valikko

Egon+Börger | Akateeminen Kirjakauppa

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



Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CSL '89 - 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Egon Börger; Hans Kleine Büning; Michael M. Richter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines - A Method for High-Level System Design and Analysis
Egon Börger; Robert Stärk
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Kovakantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CSL '87 - 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Egon Börger; Hans Kleine Büning; Michael M. Richter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1988)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computation Theory and Logic
Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1987)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Egon Börger; Yuri Gurevich; Karl Meinke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1994)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic - 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Egon Börger; Hans Kleine Büning; Michael M. Richter; Wolfgang Schönfeld
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines 2003: Advances in Theory and Practice - 10th International Workshop, ASM 2003, Taormina, Italy, March 3-
Egon Börger; Angelo Gargantini; Elvinia Riccobene
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Software Engineering - Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Egon Börger; Antonio Cisternino
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Classical Decision Problem
Egon Börger; Erich Grädel; Yuri Gurevich
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
161,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines - A Method for High-Level System Design and Analysis
Egon Börger; Robert Stärk
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Architecture Design and Validation Methods
Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Architecture Design and Validation Methods
Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Kovakantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Berechenbarkeit Komplexität Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Egon Börger
Springer Fachmedien Wiesbaden (1992)
Pehmeäkantinen kirja
48,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Berechenbarkeit, Komplexität, Logik - Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihr
Egon Börger
Springer Fachmedien Wiesbaden (1986)
Pehmeäkantinen kirja
52,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling Companion for Software Practitioners
Egon Börger; Alexander Raschke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Pehmeäkantinen kirja
66,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Structures of Computing - A Guide to Practice-Oriented Theory
Egon Börger; Vincenzo Gervasi
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Java and the Java Virtual Machine - Definition, Verification, Validation
Robert F. Stärk; Joachim Schmid; Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Kovakantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control
Jean-Raymond Abrial; Egon Börger; Hans Langmaack
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
51,40 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 439 sivua
Asu: Pehmeäkantinen kirja
Painos: 1993 ed.
Julkaisuvuosi: 1993, 11.08.1993 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 702
This volume presents the proceedings of the Computer Science
Logic Workshop CSL '92, held in Pisa, Italy, in
September/October 1992. CSL '92 was the sixth of the series
and the first one held as Annual Conference of the European
Association for Computer Science Logic (EACSL). Full
versions of the workshop contributions were collected after
their presentation and reviewed. On the basis of 58 reviews,
26 papers were selected for publication, and appear here in
revised final form.
Topics covered in the volume include: Turing machines,
linear logic, logic of proofs, optimization problems, lambda
calculus, fixpoint logic, NP-completeness, resolution,
transition system semantics, higher order partial functions,
evolving algebras, functional logic programming, inductive
definability, semantics of C, classes for a functional
language, NP-optimization problems, theory of types and
names, sconing and relators, 3-satisfiability, Kleene's
slash, negation-complete logic programs, polynomial-time
oracle machines, and monadic second-order properties.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Paperszoom
Näytä kaikki tuotetiedot
ISBN:
9783540569923
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Meistä
Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Tietosuojaseloste
Seuraa Akateemista
Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn