Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “gidon ernst”
Skip side bar filters

  • Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

    Edición de Gidon Ernst, Kristin Yvonne Rozier ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related to formal verification for automated analysis of (concurrent) software/hardware, including model ... Leer más

    $44.99 USD

  • Go Where the Bugs Are

    Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

    Edición de Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer ...
    Series series Computer Science (R0)
    This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000. He was the founding dean of the Faculty for Applied Computer ... Leer más

    $76.99 USD

La gente que leyó estos también disfrutó

  • Synology NAS Setup Guide

    Based on DSM 7.4

    de Nicholas Rushton ...
    UPDATED AUGUST 2026 FOR DSM 7.4Also applicable to DSM 7.3 & 7.2“The missing manual that should have been supplied with the DiskStation”With superb functionality and ease of use through the acclaimed DSM operating system, Synology DiskStations are the NAS of choice for the discerning purchaser. Whether it is the storage and sharing of information, the streaming of videos, music and photos to ... Leer más

    $9.99 USD o gratis con Kobo Plus

  • Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Edición de Reiner Hähnle, Wil van der Aalst ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Leer más

    Gratis

  • Beginning Excel VBA

    de Iducate Learning Technologies ...
    Learn Excel VBA with this concise book on Excel VBA for beginners. Learn Excel VBA in the shortest time with this book that zooms in straight on the most important concepts with EXAMPLES! Soon, you can develop your own Excel VBA financial/quantitative models, reports, macros and much more! We cover Variables, Functions, If-Else conditions, loops, built in functions and much more. Book also comes ... Leer más

    $2.99 USD

  • Fundamental Approaches to Software Engineering

    21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edición de Alessandra Russo, Andy Schürr ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... Leer más

    Gratis

  • Excel VBA Recipes

    de Stewart Lancaster ...
    Excel VBA recipes provides a simple, step by step guide to using visual basic within excel as well as providing an in depth resource of useful code that you can immediate copy and paste into your own VBA projects. ... Leer más

    $2.99 USD o gratis con Kobo Plus

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

    Edición de Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • Godot from Zero to Proficiency (Foundations)

    Godot from Zero to Proficiency, #1

    de Patrick Felicia ...
    Series Libro 1 - Godot from Zero to Proficiency
    Get started with Godot and game programming fast without the headachesGodot is a great software to create video games; however, it includes so many options and features that getting started can feel overwhelming.Without my book, most people spend too long trying to learn how to use Godot the hard way. This book is the only one that will get you to learn Godot fast without wasting so much time. ... Leer más

    $4.20 USD o gratis con Kobo Plus

  • Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

    Edición de Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Leer más

    Gratis

  • Real-Time Systems

    Design Principles for Distributed Embedded Applications

    de Hermann Kopetz ...
    Series series Computer Science (R0)
    "This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for ... Leer más

    $80.99 USD

  • Formal Techniques for Safety-Critical Systems

    5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

    Edición de Cyrille Artho, Peter Csaba Ölveczky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; ... Leer más

    $49.99 USD