426 resultater (0,28969 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

A Tool for Determining e-Learning Readiness - Cathy James Springer - Bog - Springer Nature Switzerland AG - Plusbog.dk

A Tool for Determining e-Learning Readiness - Cathy James Springer - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book presents a tool to determine e-learning readiness in workplace organizations. It offers a case study of the design and development process and outlines factors to be taken into account to determine e-learning readiness. It details the four objectives of this tool: to highlight specific parameters for determining e-learning readiness, to provide a systematic process to determine the readiness of an organization, to enable flexibility for the environmental context, and to capture the interrelatedness of the many areas in the organization. Next, it discusses the main element of the tool: surveys that are used to facilitate collection of data on organizational, learner and technology readiness. The book concludes with a look at practical ways of using the information gathered from the data produced.

DKK 519.00
1

Mathematics as a Laboratory Tool - Toru Ohira - Bog - Springer Nature Switzerland AG - Plusbog.dk

Mathematics as a Laboratory Tool - Toru Ohira - Bog - Springer Nature Switzerland AG - Plusbog.dk

The second edition of Mathematics as a Laboratory Tool reflects the growing impact that computational science is having on the career choices made by undergraduate science and engineering students. The focus is on dynamics and the effects of time delays and stochastic perturbations ("noise") on the regulation provided by feedback control systems. The concepts are illustrated with applications to gene regulatory networks, motor control, neuroscience and population biology. The presentation in the first edition has been extended to include discussions of neuronal excitability and bursting, multistability, microchaos, Bayesian inference, second-order delay differential equations, and the semi-discretization method for the numerical integration of delay differential equations. Every effort has been made to ensure that the material is accessible to those with a background in calculus. The text provides advanced mathematical concepts such as the Laplace and Fourier integral transforms in the form of Tools. Bayesian inference is introduced using a number of detective-type scenarios including the Monty Hall problem.

DKK 519.00
1

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

DKK 343.00
1

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

DKK 343.00
1

Graph Transformation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Graph Transformation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations. *The conference was held virtually due to the COVID-19 pandemic.

DKK 426.00
1

Additive Manufacturing Solutions - Sanjay Kumar - Bog - Springer Nature Switzerland AG - Plusbog.dk

Additive Manufacturing Solutions - Sanjay Kumar - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book serves as an accelerated learning tool for students of Additive Manufacturing. The author presents key aspects of the subject in the form of questions and answers, so learners in a variety of contexts can find answers quickly to their specific question. Solutions to a variety of current, challenging problems are presented, clarified with examples, illustrations and copious references for more thorough investigation of the specific topic. Offers a unique, accelerated learning tool for students of Additive Manufacturing, presenting the subject in the form of questions and answers;Provides solutions to today’s challenging problems in additive manufacturing, using examples, illustrations and references;Includes coverage of various aspects of additive manufacturing, such as materials, design, applications, post-process and digital manufacturing.

DKK 646.00
1

Additive Manufacturing Solutions - Sanjay Kumar - Bog - Springer Nature Switzerland AG - Plusbog.dk

Additive Manufacturing Solutions - Sanjay Kumar - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book serves as an accelerated learning tool for students of Additive Manufacturing. The author presents key aspects of the subject in the form of questions and answers, so learners in a variety of contexts can find answers quickly to their specific question. Solutions to a variety of current, challenging problems are presented, clarified with examples, illustrations and copious references for more thorough investigation of the specific topic. Offers a unique, accelerated learning tool for students of Additive Manufacturing, presenting the subject in the form of questions and answers; Provides solutions to today''s challenging problems in additive manufacturing, using examples, illustrations and references; Includes coverage of various aspects of additive manufacturing, such as materials, design, applications, post-process and digital manufacturing.

DKK 519.00
1

Are Regions Prepared for Industry 4.0? - Janos Abonyi - Bog - Springer Nature Switzerland AG - Plusbog.dk

Are Regions Prepared for Industry 4.0? - Janos Abonyi - Bog - Springer Nature Switzerland AG - Plusbog.dk

The concept of industry 4.0 is spreading worldwide and readiness models exist to determine organizational or national maturity. On the other hand, the regional perspective of the digital transformation is yet to be widely researched, although it significantly determines how the concept of industry 4.0 can be introduced to the organisations. This book identifies the regional aspect of industry 4.0 and provides a regional (NUTS 2 classified) industry 4.0 indicator system model that is based on open data sources. This new model serves as a tool to evaluate regional economy to support governmental decisions. It also provides territorial councils with a decision-support tool for field investment decisions. And finally, this model offers investors with a heat map to evaluate regional economies successful implementation of industry 4.0 solutions.

DKK 434.00
1

Peace Infrastructures and State-Building at the Margins - Balazs Aron Kovacs - Bog - Springer Nature Switzerland AG - Plusbog.dk

Peace Infrastructures and State-Building at the Margins - Balazs Aron Kovacs - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book offers a critical examination of ''infrastructures for peace'', originally proposed as a framework of conflict transformation. Through an exploration of the statist ideological underpinnings of peace-building, it traces how the concept was transformed by institutional actors - international organisations and states - into a tool to further the state-building goals of liberal peace-building.

DKK 646.00
1

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

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 and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

DKK 426.00
1

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

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 and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

DKK 426.00
1

Practicing the Correspondence Principle in the Old Quantum Theory - Martin Jahnert - Bog - Springer Nature Switzerland AG - Plusbog.dk

Practicing the Correspondence Principle in the Old Quantum Theory - Martin Jahnert - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book presents a history of the correspondence principle from a new perspective. The author provides a unique exploration of the relation between the practice of theory and conceptual development in physics. In the process, he argues for a new understanding of the history of the old quantum theory and the emergence of quantum mechanics. The analysis looks at how the correspondence principle was disseminated and how the principle was applied as a research tool during the 1920s. It provides new insights into the interaction between theoretical tools and scientific problems and shows that the use of this theoretical tool changed the tool itself in a process of transformation through implementation. This process, the author claims, was responsible for the conceptual development of the correspondence principle. This monograph connects to the vast literature in the history of science, which analyzed theoretical practices as based on tacit knowledge, skills, and calculation techniques. It contributes to the historical understanding of quantum physics and the emergence of quantum mechanics. Studying how physicists used a set of tools to solve problems, the author spells out the ‟skillful guessing" that went into the making of quantum theoretical arguments and argues that the integration and implementation of technical resources was a central driving force for the conceptual and theoretical transformation in the old quantum theory.

DKK 986.00
1