Rakuten Kobo

Skip side bar filters

Formal Methods: Foundations and Applications

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

Edited by 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 ... Read more

$62.99 USD

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

5G for Future Wireless Networks

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

Edited by 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 ... Read more

$89.09 USD

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
... Read more
Energy Efficient Data Centers

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

Edited by 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 ... Read more

$40.49 USD

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

Edited by Hanning Yuan, Jing Geng, Fuling Bian ...

Series Book 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 ... Read more

$49.99 USD

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

Edited by 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 ... Read more

$49.99 USD

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
... Read more
Quantitative Evaluation of Systems

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

Edited by 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 ... Read more

$49.99 USD

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
... Read more
Communications and Networking

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

Edited by Qianbin Chen, Weixiao Meng, Liqiang Zhao ...

Series Book 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 ... Read more

$49.49 USD

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
... Read more
Guide to Modeling and Simulation of Systems of Systems

by 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 ... Read more

$80.99 USD

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
... Read more
Computer Performance Engineering

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

Edited by 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 ... Read more

$49.49 USD

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
... Read more
High Performance Computing for Computational Science -- VECPAR 2014

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

Edited by 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 ... Read more

$49.99 USD

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
... Read more
Quantitative Evaluation of Systems

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

Edited by 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 ... Read more

$49.49 USD

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
... Read more
Communication Technologies for Vehicles

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

Edited by 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 ... Read more

$49.99 USD

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

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Formal Methods: Foundations and Applications

People who read this also enjoyed

5G for Future Wireless Networks

Energy Efficient Data Centers

Geo-Spatial Knowledge and Intelligence

Information Technologies and Mathematical Modelling. Queueing Theory and Applications

Quantitative Evaluation of Systems

Communications and Networking

Guide to Modeling and Simulation of Systems of Systems

Computer Performance Engineering

High Performance Computing for Computational Science -- VECPAR 2014

Quantitative Evaluation of Systems

Communication Technologies for Vehicles

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Show:

People who read this also enjoyed