Principles of Systems Design 1
bokomslag Principles of Systems Design
Data & IT

Principles of Systems Design

Jean-Franois Raskin • Krishnendu Chatterjee • Laurent Doyen • Rupak Majumdar

Pocket

1779:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 666 sidor
  • 2022
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.
  • Författare: Jean-Franois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
  • Format: Pocket/Paperback
  • ISBN: 9783031223365
  • Språk: Engelska
  • Antal sidor: 666
  • Utgivningsdatum: 2022-12-29
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Advances in Urbanism, Smart Cities, and Sustainability

    Advances in Urbanism, Smart Cities, a...

    Uday Chatterjee, Arindam Biswas, Jenia Mukherjee, Sushobhan Majumdar

    Inbunden

    3019:-
  2. bokomslag Principles Of Systems Design

    Principles Of Systems Design

    Raskin Jean-Francois Raskin, Chatterjee Krishnendu Chatterjee, Doyen Laurent Doyen

    Pocket

    899:-
  3. bokomslag Seismic Reservoir Modeling

    Seismic Reservoir Modeling

    Dario Grana, Tapan Mukerji, Philippe Doyen

    Inbunden

    1339:-
  4. bokomslag Academy of Nutrition and Dietetics Pocket Guide to Bariatric Surgery

    Academy of Nutrition and Dietetics Po...

    Weight Management Dietetic Practice Group, Weight Management Dietetic Practice Group, Kellene Isom, Melissa Majumdar

    Spiral

    659:-
  5. Ny
    bokomslag Urban Environment and Smart Cities in Asian Countries

    Urban Environment and Smart Cities in...

    Uday Chatterjee, Anzhelika Antipova, Shovan Ghosh, Sushobhan Majumdar, Martiwi Diah Setiawati

    Pocket

    2429:-
  6. Kommande
    bokomslag Advances in Urbanism, Smart Cities, and Sustainability

    Advances in Urbanism, Smart Cities, a...

    Uday Chatterjee, Arindam Biswas, Jenia Mukherjee, Sushobhan Majumdar

    Pocket

    999:-
  7. bokomslag Applied Cryptography and Network Security Workshops

    Applied Cryptography and Network Secu...

    Jianying Zhou, Robert Deng, Zhou Li, Suryadipta Majumdar, Weizhi Meng

    Pocket

    1009:-
  8. bokomslag Design and Testing of Digital Microfluidic Biochips

    Design and Testing of Digital Microfl...

    Krishnendu Chakrabarty Yang Zhao

    Pocket

    1939:-
  9. bokomslag Urban Environment and Smart Cities in Asian Countries

    Urban Environment and Smart Cities in...

    Uday Chatterjee, Anzhelika Antipova, Shovan Ghosh, Sushobhan Majumdar, Martiwi Diah Setiawati

    Inbunden

    2429:-
  10. bokomslag Network and System Security

    Network and System Security

    Xingliang Yuan, Guangdong Bai, Cristina Alcaraz, Suryadipta Majumdar

    Pocket

    1619:-

Andra av samma författare

  1. bokomslag Networked Systems

    Networked Systems

    Rupak Majumdar Chryssis Georgiou

    Pocket

    1009:-
  2. bokomslag Runtime Verification

    Runtime Verification

    Rupak Majumdar Ezio Bartocci

    Pocket

    1009:-
  3. bokomslag Computer Aided Verification

    Computer Aided Verification

    Viktor Kuncak Rupak Majumdar

    Pocket

    1009:-
  4. bokomslag Computer Aided Verification

    Computer Aided Verification

    Viktor Kuncak Rupak Majumdar

    Pocket

    1009:-
  5. bokomslag Model Checking Software

    Model Checking Software

    Klaus Havelund, Rupak Majumdar, Jens Palsberg

    Pocket

    1159:-
  6. bokomslag Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Paulo Tabuada Rupak Majumdar

    Pocket

    1009:-
  7. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Rupak Majumdar Javier Esparza

    Pocket

    1159:-
  8. bokomslag Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed...

    Thomas A Henzinger Krishnendu Chatterjee

    Pocket

    749:-
  9. bokomslag Mathematical Foundations of Computer Science 2013

    Mathematical Foundations of Computer ...

    Jir Sgall Krishnendu Chatterjee

    Pocket

    1009:-
  10. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Jean-Franois Raskin Marsha Chechik

    Pocket

    1009:-