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...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “rom langerak”
Skip side bar filters

  • ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    Edición de Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...
    Series series Computer Science (R0)
    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... Leer más

    $49.49 USD

La gente que leyó esto también disfrutó

  • Formal Modeling and Analysis of Timed Systems

    15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

    Edición de Alessandro Abate, Gilles Geeraerts ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Leer más

    $49.99 USD

  • Intelligent Computer Mathematics

    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

    Edición de Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Leer más

    $49.49 USD

  • Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

    Edición de Stephan Merz, Jasmin Christian Blanchette ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and ... Leer más

    $49.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edición de Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

    $49.99 USD

  • Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

    Edición de Phillip James, Markus Roggenbach ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leer más

    $49.99 USD

  • Logic and Its Applications

    7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

    Edición de Sujata Ghosh, Sanjiva Prasad ...
    Series series Springer Nature Proceedings Computer Science
    This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. ... Leer más

    $49.99 USD

  • Numerical Software Verification

    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

    Edición de Alessandro Abate, Sylvie Boldo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote ... Leer más

    $49.99 USD

  • Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    Edición de Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital ... Leer más

    $40.49 USD

  • Tests and Proofs

    10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

    Edición de Bernhard K. Aichernig, Carlo A. Furia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP ... Leer más

    $49.49 USD

  • Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

    Edición de Thierry Lecomte, Leila Ribeiro ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Leer más

    $49.99 USD

  • Guide to Scientific Computing in C++

    de Joe Pitt-Francis, Jonathan Whiteley ...
    Series series Computer Science (R0)
    This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style ... Leer más

    $31.99 USD