jan f groote

Grid   List

  1. Formal Grammar
    Formal Grammar
    Philippe De Groote
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Inform...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Semantics of Specification Languages (SoSL)
    Semantics of Specification Languages (SoSL)
    Derek J. Andrews
    Springer London
    Ebook
    Sofort lieferbar
    SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosop...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Logic Gates, Circuits, Processors, Compilers and Computers
    Logic Gates, Circuits, Processors, Compilers and Computers
    Jan Friso Groote
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    * Presents a holistic view of relevant hardware and software technologies
    37,44 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Tales of Electrologica
    Tales of Electrologica
    Gerard Alberts
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Fortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseum Boerhaave, Leiden. Sparked by the very material presence of an X8, the present book takes stock of...
    37,44 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Jan Friso Groote
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Muhammad Atif
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, ...
    192,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. CONCUR ’91
    CONCUR ’91
    Jan F. Groote
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    CONCUR'91 is the second international conference onconcurrency theory, organized in association with the NFIproject Transfer. It is a sequel to the CONCUR'90conference. Its basic aim is to co...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Typed Lambda Calculi and Applications
    Typed Lambda Calculi and Applications
    Jan F. Groote
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The lambda calculus was developed in the 1930s by AlonzoChurch. Thecalculus turned out to be an interesting modelof computation and became theprototype for untypedfunctional programming lan...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Formal Grammar
    Formal Grammar
    Mark-Jan Nederhof
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Inform...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Semantics of Specification Languages (SoSL)
    Semantics of Specification Languages (SoSL)
    Derek J. Andrews
    Springer London, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosop...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Logic Gates, Circuits, Processors, Compilers and Computers
    Logic Gates, Circuits, Processors, Compilers and Computers
    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors....
    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>