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 “simone cavalheiro”
Skip side bar filters

  • Formal Methods: Foundations and Applications

    20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

    Edición de Simone Cavalheiro, José Fiadeiro ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model ... Leer más

    $62.99 USD

La gente que leyó esto también disfrutó

  • 5G for Future Wireless Networks

    First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

    Edición de Keping Long, Victor C.M. Leung, Haijun Zhang, Zhiyong Feng, Yonghui Li, Zhongshan Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the First International Conference on 5G for Future Wireless Networks, 5GWN 2017, held in Beijing, China, in April 2017. The 64 full papers were selected from 135 submissions and present the state of the art and practical applications of 5G technologies. The exponentially growing data traffic caused by the development of mobile Internet and smart phones ... Leer más

    $89.09 USD

  • Energy Efficient Data Centers

    Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

    Edición de Sonja Klingert, Marta Chinnici, Milagros Rey Porto ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Energy Efficient Data Centers, E2DC 2014, held in Cambridge, UK, in June 2014. The 10 revised full papers presented were carefully selected from numerous submissions. They are organized in three topical sections named: energy optimization algorithms and models, the future role of data ... Leer más

    $40.49 USD

  • Geo-Spatial Knowledge and Intelligence

    4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

    Edición de Hanning Yuan, Jing Geng, Fuling Bian ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two volume proceedings of CCIS 698 and 699 constitutes revised selected papers from the 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, held in Hong Kong, China, in November 2016.The total of 118 papers presented in these proceedings were carefully reviewed and selected from 311 submissions. The contributions were organized in ... Leer más

    $49.99 USD

  • Information Technologies and Mathematical Modelling. Queueing Theory and Applications

    16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

    Edición de Alexander Dudin, Alexander Kirpichnikov, Anatoly Nazarov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th International Conference on Information Technologies and Mathematical Modelling, ITMM 2017, held in Kazan, Russia, in September/October 2017.The 31 papers presented in this volume were carefully reviewed and selected from 85 submissions. The conference covers various aspects of mathematical modeling and information technologies, focusing on ... Leer más

    $49.99 USD

  • Quantitative Evaluation of Systems

    14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

    Edición de Nathalie Bertrand, Luca Bortolussi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Leer más

    $49.99 USD

  • Communications and Networking

    11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

    Edición de Qianbin Chen, Weixiao Meng, Liqiang Zhao ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNICST 209-210 constitutes the post-conference proceedings of the 11th EAI International Conference on Communications and Networking, ChinaCom 2016, held in Chongqing, China, in September 2016.The total of 107 contributions presented in these volumes are carefully reviewed and selected from 181 submissions. The book is organized in topical sections on MAC schemes, traffic ... Leer más

    $49.49 USD

  • Guide to Modeling and Simulation of Systems of Systems

    de Bernard P. Zeigler, Jean-Christophe Soulié, Raphaël Duboz, Hessam S. Sarjoughian ...
    Series series Computer Science (R0)
    This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulation model ontology supported with the latest advances in software architecture and design principles, methods, and tools for building and testing virtual Systems of Systems (SoS). The book examines a ... Leer más

    $80.99 USD

  • Computer Performance Engineering

    14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

    Edición de Philipp Reinecke, Antinisca Di Marco ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.The 18 papers presented together with the abstracts of two invited talks in this volumewere carefully reviewed and selected from 30 submissions.The papers presented at the workshop reflect the diversity of modern performanceengineering ... Leer más

    $49.49 USD

  • High Performance Computing for Computational Science -- VECPAR 2014

    11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

    Edición de Kengo Nakajima, Osni Marques, Michel Daydé ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, large ... Leer más

    $49.99 USD

  • Quantitative Evaluation of Systems

    12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

    Edición de Javier Campos, Boudewijn R. Haverkort ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing ... Leer más

    $49.49 USD

  • Communication Technologies for Vehicles

    12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

    Edición de Damien Roque, Hervé Bonneville, Marion Berbineau, Alain Pirovano, Alexey Vinel, Jaizki Mendizabal, Hasnaâ Aniss, Christophe Guerber, Bertrand Ducourthial ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017.The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions.The volume features contributions in the theory or practice of intelligent ... Leer más

    $49.99 USD