Filter by
Computational Thinking in the STEM Disciplines
This book covers studies of computational thinking related to linking, infusing, and embedding computational thinking elements to school curricula, teacher education and STEM related subjects. Presenting the distinguished and exemplary works by educators and researchers in the field highlighting the contemporary trends and issues, creative and unique approaches, innovative methods, frameworks, …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-93566-9
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
Number Theory
Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of co…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-43875-7
- Collation
- Mathematics and Statistics
- Series Title
- -
- Call Number
- 510
Phase Transformation in Metals
This textbook explains the physics of phase transformation and associated constraints from a metallurgical or materials science point of view, based on many topics including crystallography, mass transport by diffusion, thermodynamics, heat transfer and related temperature gradients, thermal deformation, and even fracture mechanics. The work presented emphasizes solidification and related analy…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-49168-0
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
The Didactics of Mathematics: Approaches and Issues
This book, the outcome of a conference organised in 2012 in Paris as a homage to Michèle Artigue, is based on the main component of this event. However, it offers more than a mere reflection of the conference in itself, as various well-known researchers from the field have been invited to summarize the main topics where the importance of Artigue’s contribution is unquestionable. Her multiple…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26047-1
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
Springer Handbook of Model-Based Science
This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on mod…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-30526-4
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
Mathematics Education
Many in the mathematics community in the U.S. are involved in mathematics education in various capacities. This book highlights the breadth of the work in K-16 mathematics education done by members of US departments of mathematical sciences. It contains contributions by mathematicians and mathematics educators who do work in areas such as teacher education, quantitative literacy, informal educ…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-44950-0
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
Phenomenological Structure for the Large Deviation Principle in Time-Series S…
This thesis describes a method to control rare events in non-equilibrium systems by applying physical forces to those systems but without relying on numerical simulation techniques, such as copying rare events. In order to study this method, the book draws on the mathematical structure of equilibrium statistical mechanics, which connects large deviation functions with experimentally measureable…
- Edition
- 1
- ISBN/ISSN
- 978-981-287-811-3
- Collation
- Fisika
- Series Title
- -
- Call Number
- 530
Real-Life Decision-Making
Have you ever experienced a decision situation that was hard to come to grips with? Did you ever feel a need to improve your decision-making skills? Is this something where you feel that you have not learned enough practical and useful methods? In that case, you are not alone! Even though decision-making is both considered and actually is a very important skill in modern work-life as well as in…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Vehicular Ad-hoc Networks for Smart Cities First International Workshop, 2014
Vehicular communication is a key technology in intelligent transportation systems. For many years now, the academic and industrial research communities have been investigating these communications in order to improve efficiency and safety of future transportation. Vehicular networking offers a wide variety of applications, including safety applications as well as infotainment applications. T…
- Edition
- -
- ISBN/ISSN
- 978-981-287-158-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography