Sök

Domain Science and Engineering

A Foundation for Software Development

AvDines Bjørner

Inbunden, Engelska, 2021

2 369 kr

Skickas inom 10-15 vardagar

Domain Science and Engineering

A Foundation for Software Development

AvDines Bjørner

Häftad, Engelska, 2022

2 369 kr

Skickas inom 10-15 vardagar

Coping with Selfishness in Congestion Games

Analysis and Design via LP Duality

AvVittorio Bilò,Cosimo Vinci

Inbunden, Engelska, 2023

2 299 kr

Skickas inom 10-15 vardagar

Coping with Selfishness in Congestion Games

Analysis and Design via LP Duality

AvVittorio Bilò,Cosimo Vinci m. fl.

Häftad, Engelska, 2024

2 299 kr

Skickas inom 10-15 vardagar

Words and Graphs

AvSergey Kitaev,Vadim Lozin

Inbunden, Engelska, 2015

1 369 kr

Skickas inom 10-15 vardagar

Words and Graphs

AvSergey Kitaev,Vadim Lozin

Häftad, Engelska, 2016

1 369 kr

Skickas inom 10-15 vardagar

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

AvRoberto Gorrieri

Inbunden, Engelska, 2017

1 099 kr

Skickas inom 10-15 vardagar

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

AvRoberto Gorrieri

Häftad, Engelska, 2018

1 099 kr

Skickas inom 10-15 vardagar

Confluent String Rewriting

AvMatthias Jantzen

Inbunden, Engelska, 1988

709 kr

Skickas inom 10-15 vardagar

Parsing Theory

Volume I Languages and Parsing

AvSeppo Sippu,Eljas Soisalon-Soininen

Inbunden, Engelska, 1988

709 kr

Skickas inom 10-15 vardagar

Algorithms in Combinatorial Geometry

AvHerbert Edelsbrunner

Inbunden, Engelska, 1987

1 369 kr

Skickas inom 10-15 vardagar

Fundamentals of Algebraic Graph Transformation

AvHartmut Ehrig,Karsten Ehrig m. fl.

Inbunden, Engelska, 2006

1 689 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Local Search

AvWil Michiels,Emile Aarts m. fl.

Inbunden, Engelska, 2006

1 369 kr

Skickas inom 10-15 vardagar

Semantic Integration of Heterogeneous Software Specifications

AvMartin Große-Rhode

Inbunden, Engelska, 2003

2 089 kr

Skickas inom 10-15 vardagar

Duration Calculus

A Formal Approach to Real-Time Systems

AvChaochen Zhou,Michael R. Hansen m. fl.

Inbunden, Engelska, 2003

1 409 kr

Skickas inom 10-15 vardagar

Incomplete Information: Structure, Inference, Complexity

AvStephane P. Demri,Ewa Orlowska

Inbunden, Engelska, 2002

2 089 kr

Skickas inom 10-15 vardagar

Theory of Semi-Feasible Algorithms

AvLane A. Hemaspaandra,Leen Torenvliet m. fl.

Inbunden, Engelska, 2002

1 369 kr

Skickas inom 10-15 vardagar

Process Algebra with Timing

AvJ.C.M. Baeten,C.A. Middelburg m. fl.

Inbunden, Engelska, 2002

689 kr

Skickas inom 10-15 vardagar

Compiler Generators

What They Can Do, What They Might Do, and What They Will Probably Never Do

AvMads Tofte

Inbunden, Engelska, 1990

1 409 kr

Skickas inom 10-15 vardagar

Parsing Theory

Volume II LR(k) and LL(k) Parsing

AvSeppo Sippu,Eljas Soisalon-Soininen

Inbunden, Engelska, 1990

709 kr

Skickas inom 10-15 vardagar

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

AvHartmut Ehrig,Bernd Mahr

Inbunden, Engelska, 1989

689 kr

Skickas inom 10-15 vardagar

First-Order Programming Theories

AvTamas Gergely,Laszlo Ury

Inbunden, Engelska, 1991

1 409 kr

Skickas inom 10-15 vardagar

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 2

AvKurt Jensen

Inbunden, Engelska, 1994

1 369 kr

Skickas inom 10-15 vardagar

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

AvKurt Jensen

Inbunden, Engelska, 1996

1 949 kr

Skickas inom 10-15 vardagar

Restricted-Orientation Convexity

AvEugene Fink,Derick Wood

Inbunden, Engelska, 2003

689 kr

Skickas inom 10-15 vardagar

Petri Net Algebra

AvEike Best,Raymond Devillers m. fl.

Inbunden, Engelska, 2001

2 029 kr

Skickas inom 10-15 vardagar

Time-Dependent Scheduling

AvStanislaw Gawiejnowicz

Inbunden, Engelska, 2008

2 219 kr

Skickas inom 5-8 vardagar

Logics of Specification Languages

AvDines Bjørner,Martin C. Henson

Inbunden, Engelska, 2007

2 089 kr

Skickas inom 10-15 vardagar

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Inbunden, Engelska, 2008

1 409 kr

Skickas inom 10-15 vardagar

Handbook of Weighted Automata

AvManfred Droste,Werner Kuich m. fl.

Inbunden, Engelska, 2009

3 109 kr

Skickas inom 10-15 vardagar

Monographs in Theoretical Computer Science. An EATCS Series

Domain Science and Engineering

Domain Science and Engineering

Coping with Selfishness in Congestion Games

Coping with Selfishness in Congestion Games

Words and Graphs

Words and Graphs

Process Algebras for Petri Nets

Process Algebras for Petri Nets

Confluent String Rewriting

Parsing Theory

Algorithms in Combinatorial Geometry

Fundamentals of Algebraic Graph Transformation

Theoretical Aspects of Local Search

Semantic Integration of Heterogeneous Software Specifications

Duration Calculus

Incomplete Information: Structure, Inference, Complexity

Theory of Semi-Feasible Algorithms

Process Algebra with Timing

Compiler Generators

Parsing Theory

Fundamentals of Algebraic Specification 2

First-Order Programming Theories

Coloured Petri Nets

Coloured Petri Nets

Restricted-Orientation Convexity

Petri Net Algebra

Time-Dependent Scheduling

Logics of Specification Languages

Unfoldings

Handbook of Weighted Automata

Loading component...

Loading component...

Monographs in Theoretical Computer Science. An EATCS Series

Domain Science and Engineering

Domain Science and Engineering

Coping with Selfishness in Congestion Games

Coping with Selfishness in Congestion Games

Words and Graphs

Words and Graphs

Process Algebras for Petri Nets

Process Algebras for Petri Nets

Confluent String Rewriting

Parsing Theory

Algorithms in Combinatorial Geometry

Fundamentals of Algebraic Graph Transformation

Theoretical Aspects of Local Search

Semantic Integration of Heterogeneous Software Specifications

Duration Calculus

Incomplete Information: Structure, Inference, Complexity

Theory of Semi-Feasible Algorithms

Process Algebra with Timing

Compiler Generators

Parsing Theory

Fundamentals of Algebraic Specification 2

First-Order Programming Theories

Coloured Petri Nets

Coloured Petri Nets

Restricted-Orientation Convexity

Petri Net Algebra

Time-Dependent Scheduling

Logics of Specification Languages

Unfoldings

Handbook of Weighted Automata

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration