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 “nikolaj bjorner”
Skip side bar filters

  • Perspectives of System Informatics

    12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

    Edición de Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, ... Leer más

    $49.49 USD

  • Distributed Computing and Internet Technology

    12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

    Edición de Sanjiva Prasad, Laxmi Parida, Nikolaj Bjorner ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Conference on Distributed Computing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, in January 2016.The 6 full papers, 7 short papers and 11 poster papers presented in this volume were carefully reviewed and selected from 129 submissions. The ICDCIT conference focusses on distributed computing, internet technologies, ... Leer más

    $49.49 USD

La gente que leyó estos también disfrutó

  • Cyber Security

    Deterrence and IT Protection for Critical Infrastructures

    Edición de Maurizio Martellini ...
    Series series Computer Science (R0)
    The experts of the International Working Group-Landau Network Centro Volta (IWG-LNCV) discuss aspects of cyber security and present possible methods of deterrence, defense and resilience against cyber attacks. This SpringerBrief covers state-of-the-art documentation on the deterrence power of cyber attacks and argues that nations are entering a new cyber arms race. The brief also provides a ... Leer más

    $49.49 USD

  • Distributed Computing and Internet Technology

    13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings

    Edición de Padmanabhan Krishnan, P. Radha Krishna, Laxmi Parida ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Conference on Distributed Computing and Internet Technology, ICDCIT 2017, held in Bhubaneswar, India, in January 2017.The 17 full papers and 3 poster papers presented together with 6 abstracts of invited talks were carefully reviewed and selected from 208 submissions (118 abstract and 90 full paper submissions). The ICDCIT conference ... Leer más

    $49.49 USD

  • Internet and Distributed Computing Systems

    9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings

    Edición de Wenfeng Li, Shawkat Ali, Gabriel Lodewijks, Giancarlo Fortino, Giuseppe Di Fatta, Zhouping Yin, Mukaddim Pathan, Antonio Guerrieri, Qiang Wang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Conference on Internet and Distributed Computing Systems, IDCS 2016, held in Wuhan, China, in September 2016.The 30 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections named: body sensor networks and wearable devices; cloud computing ... Leer más

    $49.49 USD

  • Theory and Models for Cyber Situation Awareness

    Edición de Peng Liu, Sushil Jajodia, Cliff Wang ...
    Series series Computer Science (R0)
    Today, when a security incident happens, the top three questions a cyber operation center would ask are: What has happened? Why did it happen? What should I do? Answers to the first two questions form the core of Cyber Situation Awareness (SA). Whether the last question can be satisfactorily addressed is largely dependent upon the cyber situation awareness capability of an enterprise.The goal of ... Leer más

    $53.99 USD

  • Algorithms and Architectures for Parallel Processing

    ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings

    Edición de Jesus Carretero, Javier Garcia-Blas, Victor Gergel, Vladimir Voevodin, Iosif Meyerov, Juan A. Rico-Gallego, Juan C. Díaz-Martín, Pedro Alonso, Juan Durillo, José Daniel Garcia Sánchez, Alexey L. Lastovetsky, Fabrizio Marozzo, Qin Liu, Zakirul Alam Bhuiyan, Karl Fürlinger, Josef Weidendorfer, José Gracia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed workshop proceedings of the 16th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2016, held in Granada, Spain, in December 2016. The 30 full papers presented were carefully reviewed and selected from 58 submissions. They cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical ... Leer más

    $49.49 USD

  • Internet and Distributed Computing Systems

    8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings

    Edición de Giuseppe Di Fatta, Giancarlo Fortino, Wenfeng Li, Mukaddim Pathan, Frederic Stahl, Antonio Guerrieri ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Internet and Distributed Computing Systems, IDCS 2015, held in Windsor, UK, in September 2015. The 19 revised full and 6 revised short papers presented were carefully reviewed and selected from 42 submissions. The selected contributions covered cutting-edge aspects of Cloud Computing and Internet of Things, ... Leer más

    $49.99 USD

  • Future Data and Security Engineering

    Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings

    Edición de Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich Neuhold ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second International Conference on Future Data and Security Engineering, FDSE 2015, held in Ho Chi Minh City, Vietnam, in November 2015. The 20 revised full papers and 3 short papers presented were carefully reviewed and selected from 88 submissions. They have been organized in the following topical sections: big data analytics and massive ... Leer más

    $49.49 USD

  • Stabilization, Safety, and Security of Distributed Systems

    18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

    Edición de Borzoo Bonakdarpour, Franck Petit ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016.This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent ... Leer más

    $49.49 USD

  • Graphical Models for Security

    Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

    Edición de Sjouke Mauw, Barbara Kordy, Sushil Jajodia ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of ... Leer más

    $40.99 USD

  • Practical Hive

    A Guide to Hadoop's Data Warehouse System

    de Scott Shaw, Andreas François Vermeulen, Ankur Gupta, David Kjerrumgaard ...
    Series series Professional and Applied Computing (R0)
    Dive into the world of SQL on Hadoop and get the most out of your Hive data warehouses. This book is your go-to resource for using Hive: authors Scott Shaw, Ankur Gupta, David Kjerrumgaard, and Andreas Francois Vermeulen take you through learning HiveQL, the SQL-like language specific to Hive, to analyze, export, and massage the data stored across your Hadoop environment. From deploying Hive on ... Leer más

    $53.99 USD