Studiestart! Alle* pensumbøker -20%

Principles of Systems Design

Name: Principles of Systems Design
SKU: 9783031223365
Price: 971.1 NOK
Availability: BackOrder
ISBN: 9783031223365

Redigert av Jean-François Raskin, Laurent Doyen, Krishnendu Chatterjee, 2022.Del av serien Lecture Notes in Computer Science.

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.

This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.

Innbundet — ikke tilgjengelig

Pocket

E-bok — ikke tilgjengelig

Lydbok — ikke tilgjengelig

Språk: Engelsk

Normalpris: 1 079,-

971,-

Spar 108,-

Ikke tilgjengelig for Klikk&Hent

Midlertidig utsolgtBestillingsvare. Forventes sendt om ca 20 dager

Oppdag mer

Andre bøker i serien Lecture Notes in Computer Science

Principles of Verification

854,-

Principles of Verification

791,-

Principles of Verification

737,-

Principles of Modeling

584,-

Principles and Practices of Building Parallel Software

1 124,-

Logics and Type Systems in Theory and Practice

1 340,-

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

584,-

Theories of Programming and Formal Methods

584,-

The Logic of Software. A Tasting Menu of Formal Methods

1 124,-

Tools and Algorithms for the Construction and Analysis of Systems

584,-

Principles of Systems Design

Redigert av Jean-François Raskin, Laurent Doyen, Krishnendu Chatterjee, 2022.Del av serien Lecture Notes in Computer Science.

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.

Oppdag mer

Andre bøker i serien Lecture Notes in Computer Science

Principles of Verification

854,-

Principles of Verification

791,-

Principles of Verification

737,-

Principles of Modeling

584,-

Principles and Practices of Building Parallel Software

1 124,-

Logics and Type Systems in Theory and Practice

1 340,-

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

584,-

Theories of Programming and Formal Methods

584,-

The Logic of Software. A Tasting Menu of Formal Methods

1 124,-

Tools and Algorithms for the Construction and Analysis of Systems

584,-

Normalpris: 1 079,-

971,-

Spar 108,-

Innbundet — ikke tilgjengelig

Pocket

E-bok — ikke tilgjengelig

Lydbok — ikke tilgjengelig

Språk: Engelsk

Ikke tilgjengelig for Klikk&Hent

Midlertidig utsolgtBestillingsvare. Forventes sendt om ca 20 dager

971,-

Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.

Populært i samme kategori

Pensum -10%

Benjamin Lucien Kaminski, Tim Quatmann og 6 andrePrinciples of Verification

Del av Lecture Notes in Computer Science

PocketEngelsk

949,-854,-

Nettlager

Klikk&Hent

Pensum -10%

Benjamin Lucien Kaminski, Tim Quatmann og 6 andrePrinciples of Verification

Del av Lecture Notes in Computer Science

PocketEngelsk

879,-791,-

Nettlager

Klikk&Hent

Pensum -10%

Benjamin Lucien Kaminski, Tim Quatmann og 6 andrePrinciples of Verification

Del av Lecture Notes in Computer Science

PocketEngelsk

819,-737,-

Nettlager

Klikk&Hent

Pensum -10%

Marjan Sirjani, Patricia Derler og 1 annenPrinciples of Modeling

Del av Lecture Notes in Computer Science

PocketEngelsk

649,-584,-

Nettlager

Klikk&Hent

Pensum -10%

Jens Palsberg, Rajkishore Barik og 1 annenPrinciples and Practices of Building Parallel Software

Del av Lecture Notes in Computer Science

PocketEngelsk

1 249,-1 124,-

Nettlager

Klikk&Hent

Pensum -10%

Hannes Strass, Thomas Eiter og 1 annenAdvances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Del av Lecture Notes in Computer Science

PocketEngelsk

649,-584,-

Nettlager

Klikk&Hent

Pensum -10%

Huibiao Zhu, Zhiming Liu og 1 annenTheories of Programming and Formal Methods

Del av Lecture Notes in Computer Science

PocketEngelsk

649,-584,-

Nettlager

Klikk&Hent

Pensum -10%

Bernhard Beckert, Wolfgang Ahrendt og 2 andreThe Logic of Software. A Tasting Menu of Formal Methods

Del av Lecture Notes in Computer Science

PocketEngelsk

1 249,-1 124,-

Nettlager

Klikk&Hent

Pensum -10%

Bernhard Steffen, Marieke Huisman og 2 andreTools and Algorithms for the Construction and Analysis of Systems

Del av Lecture Notes in Computer Science

PocketEngelsk

649,-584,-

Nettlager

Klikk&Hent

Pensum -10%

Maarten van Steen, Roberto Baldoni og 1 annenPrinciples of Distributed Systems

Del av Lecture Notes in Computer Science

PocketEngelsk

649,-584,-

Nettlager

Klikk&Hent

Oppdag mer

Andre bøker i serien Lecture Notes in Computer Science

Oppdag mer

Andre bøker i serien Lecture Notes in Computer Science

Populært i samme kategori

Dette har du sett på

Andre bøker i serien Lecture Notes in Computer Science

Andre bøker i serien Lecture Notes in Computer Science