As with other parts of business, technology is having a profound effect on the world of work and management of human resources. Technology is a key enabler for faster, cheaper and better delivery of……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint……続きを見る
This book is published open access under a CC BY 4.0 license.
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book……続きを見る
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springe……続きを見る
出版社: Springer International Publishing
発売日: 2021年07月08日
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
The 29 full papers and 7 system descriptions prese……続きを見る
著者:Mario Alemi
出版社: Springer International Publishing
発売日: 2022年04月23日
This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have……続きを見る
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springe……続きを見る
AI Knowledge Transfer from the University to Society: Applications in High-Impact Sectors brings together examples from the "Innovative Ecosystem with Artificial Intelligence for Andalusia 2025" pro……続きを見る
This open access book makes quantum computing more accessible than ever before. A fast-growing field at the intersection of physics and computer science, quantum computing promises to have revolutio……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This book is Open Access under a CC BY licence.
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction……続きを見る
Ready to start this new journey into the Python's world?
Python is the ideal language to learn for budding developers. It is a modern object-oriented programming language with easy to read code and ……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, i……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, ……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This book is Open Access under a CC BY licence.
This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis o……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took pl……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This book is Open Access under a CC BY licence.
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月24日
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took pl……続きを見る
An accessible introduction to an exciting new area in computation, explaining such topics as qubits, entanglement, and quantum teleportation for the general reader.
Quantum computing is a beautiful ……続きを見る
出版社: Springer International Publishing
発売日: 2022年05月02日
This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theor……続きを見る
Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as w……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月24日
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Jo……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.
……続きを見る
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how ……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, ……続きを見る
出版社: Springer International Publishing
発売日: 2022年04月13日
This open access book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月18日
This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Fou……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月24日
This book is Open Access under a CC BY licence.
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction……続きを見る
The once esoteric idea of embedding scientific computing into a probabilistic framework, mostly along the lines of the Bayesian paradigm, has recently enjoyed wide popularity and found its way into ……続きを見る