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 “sotiris batsakis”
Skip side bar filters

  • Information and Communication Technologies in Education, Research, and Industrial Applications

    11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

    Edición de Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and ... Leer más

    $49.99 USD

La gente que leyó esto también disfrutó

  • Scala: From a Functional Programming Perspective

    An Introduction to the Programming Language

    de Vicenç Torra ...
    Series series Computer Science (R0)
    This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented ... Leer más

    $49.99 USD

  • Beginning Julia Programming

    For Engineers and Scientists

    de Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... Leer más

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

  • Rewriting Logic and Its Applications

    11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

    Edición de Dorel Lucanu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... Leer más

    $49.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Edición de Marsha Chechik, Jean-François Raskin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Leer más

    $49.99 USD

  • String Analysis for Software Verification and Security

    de Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...
    Series series Computer Science (R0)
    This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Leer más

    $62.99 USD

  • Practical Aspects of Declarative Languages

    20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

    Edición de Francesco Calimeri, Kevin Hamlen, Nicola Leone ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Leer más

    $53.99 USD

  • Logic, Rewriting, and Concurrency

    Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    Edición de Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott ...
    Series series Computer Science (R0)
    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène ... Leer más

    $49.99 USD

  • Conceptual Modeling

    36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

    Edición de Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Leer más

    $49.99 USD

  • Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

    Edición de Erika Ábrahám, Marieke Huisman ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Leer más

    $80.99 USD

  • Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

    Edición de Rupak Majumdar, Viktor Kunčak ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Leer más

    $49.99 USD