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

1369:-

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

Uppskattad leveranstid 10-15 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 Principles Of Systems Design

    Principles Of Systems Design

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

    Pocket

    879:-
  2. bokomslag Seismic Reservoir Modeling

    Seismic Reservoir Modeling

    Dario Grana, Tapan Mukerji, Philippe Doyen

    Inbunden

    1379:-
  3. bokomslag Advances in Urbanism, Smart Cities, and Sustainability

    Advances in Urbanism, Smart Cities, a...

    Uday Chatterjee, Arindam Biswas, Jenia Mukherjee, Sushobhan Majumdar

    Inbunden

    2659:-
  4. 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

    2409:-
  5. bokomslag Advances in Urbanism, Smart Cities, and Sustainability

    Advances in Urbanism, Smart Cities, a...

    Uday Chatterjee, Arindam Biswas, Jenia Mukherjee, Sushobhan Majumdar

    Pocket

    1039:-
  6. bokomslag Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms

    Optimization of Trustworthy Biomolecu...

    Krishnendu Chakrabarty Mohamed Ibrahim

    Inbunden

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

    Applied Cryptography and Network Secu...

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

    Pocket

    769:-
  8. 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

    2299:-
  9. bokomslag Network and System Security

    Network and System Security

    Xingliang Yuan, Guangdong Bai, Cristina Alcaraz, Suryadipta Majumdar

    Pocket

    1629:-
  10. bokomslag Design and Testing of Digital Microfluidic Biochips

    Design and Testing of Digital Microfl...

    Krishnendu Chakrabarty Yang Zhao

    Pocket

    1749:-

Andra av samma författare

  1. bokomslag Networked Systems

    Networked Systems

    Rupak Majumdar Chryssis Georgiou

    Pocket

    769:-
  2. bokomslag Runtime Verification

    Runtime Verification

    Rupak Majumdar Ezio Bartocci

    Pocket

    769:-
  3. bokomslag Computer Aided Verification

    Computer Aided Verification

    Viktor Kuncak Rupak Majumdar

    Pocket

    769:-
  4. bokomslag Computer Aided Verification

    Computer Aided Verification

    Viktor Kuncak Rupak Majumdar

    Pocket

    769:-
  5. bokomslag Model Checking Software

    Model Checking Software

    Klaus Havelund, Rupak Majumdar, Jens Palsberg

    Pocket

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

    Hybrid Systems: Computation and Control

    Paulo Tabuada Rupak Majumdar

    Pocket

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

    Tools and Algorithms for the Construc...

    Rupak Majumdar Javier Esparza

    Pocket

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

    Formal Modeling and Analysis of Timed...

    Thomas A Henzinger Krishnendu Chatterjee

    Pocket

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

    Mathematical Foundations of Computer ...

    Jir Sgall Krishnendu Chatterjee

    Pocket

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

    Tools and Algorithms for the Construc...

    Jean-Franois Raskin Marsha Chechik

    Pocket

    769:-