The 19th International Conference on Industrial Engineering and Engineering Management [[electronic resource] ] : Engineering Management / / edited by Ershi Qi, Jiang Shen, Runliang Dou |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (1430 p.) |
Disciplina |
330
620 620.00951 650 |
Soggetto topico |
Business
Management science Engineering Business and Management, general Engineering, general |
ISBN | 3-642-38433-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Engineering Economy and Cost Analysis -- Reliability Engineering and project management -- Safety, Security and Risk Management -- Areas of engineering education. |
Record Nr. | UNINA-9910438084203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The 19th International Conference on Industrial Engineering and Engineering Management [[electronic resource] ] : Engineering Economics Management / / edited by Ershi Qi, Jiang Shen, Runliang Dou |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (1388 p.) |
Disciplina |
620
658.5 |
Soggetto topico |
Business
Management science Business and Management, general |
ISBN | 3-642-38442-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Accounting and Finance -- Human Resource Management -- Organizational Management -- Service Management -- Product Lifecycle Management -- Ecological protection and Low-carbon concept. |
Record Nr. | UNINA-9910438082403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
1x1 der chirurgischen Instrumente [[electronic resource] ] : Benennen, Erkennen, Instrumentieren / / von Margret Liehn, Hannelore Schlautmann |
Autore | Liehn Margret |
Edizione | [3rd ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VII, 156 S.) |
Disciplina | 610.73 |
Soggetto topico |
Nursing
Surgery |
ISBN | 3-662-53957-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einleitung: Geschichte der Instrumentenherstellung, Werkstoffe, Normung, Oberflächen, Grundregeln -- Chirurgische Instrumente -- Grundinstrumente -- Spezialinstrumente -- Tischaufbau -- Handling -- Vorschriften zur Aufbereitung und Entsorgung -- Literatur. |
Record Nr. | UNINA-9910163116203321 |
Liehn Margret | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The 2008 global financial crisis in retrospect : causes of the crisis and national regulatory responses / / Robert Z. Aliber, Gylfi Zoega, editors |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | New York, New York : , : Springer Berlin Heidelberg, , [2019] |
Descrizione fisica | 1 online resource (xviii, 443 pages) : illustrations (chiefly color), charts |
Disciplina | 330.90511 |
Collana | Gale eBooks |
Soggetto topico |
Financial institutions - Law and legislation
Macroeconomics Banks and banking Financial crises International economic relations Law and economics Economic development |
ISBN | 3-030-12395-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. A Retrospective on the 2008 Global Financial Crisis- Robert Z Aliber and Gylfi Zoega -- Part I: The Source of the 2008 Global Financial Crisis -- 2. The Financial Alchemy that Failed- Marcus Miller -- 3. Prudential Regulation and Capital Controls- Michael Dooley -- 4. Three Grand State Projects Meet the Financial System- Peter Garber -- 5. The 2008 GFC: Savings or banking glut?- Robert McCauley -- 6. Capital Flows into the United States Ahead of the Great North Atlantic Financial Crisis -- Brad Setser -- 7. The foreign capital flow and domestic drivers of the US financial crisis and its spread globally -- Jeffrey Shafer -- 8. Financial crisis and bank capital- Robert Aliber -- 9. Three Reflections on Banking Regulation and Cross-Border Financial Flows -- Edwin Truman -- Part II: Iceland and the 2008 Global Crisis -- 10. From a Capital Account Surplus to a Current Account Deficit- Gylfi Zoega and Hamid Raza -- 11. The Icelandic banking crisis of 2008: Some exportable lessons”- Gauti Eggertsson, Sigridur Benediktsdottir and Eggert T Thorarinsson -- 12. Iceland’s capital controls -- Fridrik M. Baldursson -- 13. Wages of failure: Compensation schemes of the failed Icelandic banks and subsequent policy responses- Gudrun Johnsen -- 14. Financial policy after the crisis Jon Danielsson -- 15. Business cycles and health: Lessons from the Icelandic economic collapse- Tinna Asgeirsdóttir -- 16. Ten years after: Iceland’s unfinished business -- Thorvaldur Gylfason -- 17. After 100 years of experimenting: One solution?- Asgeir Jonsson -- 18. Iceland should replace its central bank with a currency board- Fredrik NG Andersson and Lars Jonung -- 19. Post-crisis monetary policy reforms in Iceland: Learning the hard way- Thorarinn G. Petursson -- 20. Inflation targeting, capital controls, and currency intervention in Iceland, 2012-2017- Sebastian Edwards -- Part III: Panel Discussion on the 2008 Crisis -- 21. Comments by Robert Z Aliber -- 22. Comments by William White -- 23. Comments by Larry Goodman. |
Record Nr. | UNINA-9910337673803321 |
New York, New York : , : Springer Berlin Heidelberg, , [2019] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
2012 International Conference on Information Technology and Management Science(ICITMS 2012) Proceedings [[electronic resource] /] / edited by Bing Xu |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (815 p.) |
Disciplina | 004.068 |
Soggetto topico |
Business
Management science Management Industrial management Information technology Business—Data processing Business and Management, general Innovation/Technology Management IT in Business |
ISBN |
1-299-33747-3
3-642-34910-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | E-Business Engineering and Management -- Management Science and Engineering -- Theory and Practice of Modern Management -- The application of information technology. |
Record Nr. | UNINA-9910438082903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The 21st Century Mathematics Education in China [[electronic resource] /] / edited by Yiming Cao, Frederick K.S. Leung |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 493 p. 71 illus.) |
Disciplina | 510.71051 |
Collana | New Frontiers of Educational Research |
Soggetto topico |
Mathematics—Study and teaching
Mathematics Education |
ISBN | 3-662-55781-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Section I A General Introduction of Chinese Mathematics Education -- Chapter 1 Mathematics Education of Chinese Communities from the Perspective of International Studies of Mathematics Achievement -- Chapter 2 Chinese Mathematics Education System and Mathematics Education Tradition -- Chapter 3 Chinese Mathematics Curriculum Reform in the 21 Century -- Chapter 4 Education Equity in China: An Analysis of Local and Migrant students’ Mathematics Learning in Shanghai -- Chapter 5 Shadow Education of Mathematics in China -- Section II Mathematical Curriculum and Textbook -- Chapter 6 Developments and Changes in the Primary School Mathematics Curriculum and Teaching Material in China -- Chapter 7 The development of mathematics curriculum and teaching materials in secondary schools in the second half of the 20th-century -- Chapter 8 The evolution of mathematics curriculum and teaching materials in secondary schools in the 21st century -- Chapter 9 Features and Characteristics of Chinese New Century Mathematics Textbooks -- Section III Mathematical Classroom Instruction -- Chapter 10 A study of Mathematics classroom teaching in China: Looking at lesson structure, teaching and learning behaviour -- Chapter 11 Task Design in Mathematics Classrooms -- Chapter 12 The Design and Implementation of the Mathematics Teaching Goal -- Chapter 13 Integration of Information Technology (IT) and the Mathematics Curriculum -- Chapter 14 Mathematics Teaching Reform Experiments in China in the 21st Century -- Section IV Mathematical Learning -- Chapter 15 A Case Study of Transformation of Students with Mathematics Learning Difficulties -- Section V The Professional Development of Mathematical Teachers -- Chapter 16 School-based professional development of Mathematics teachers in China -- Chapter 17 Pre-service Mathematics Teacher Education -- Chapter 18 Post-Service Education of Mathematical Teachers -- Chapter 19 A study of the status of teacher’s professional knowledge -- Chapter 20 Chinese Teachers' Beliefs about Mathematics Teaching -- Section VI The Evaluation of Mathematics Education -- Chapter 21 The assessment of mathematics classroom instruction in primary and secondary schools -- Chapter 22 Primary and Secondary Mathematics Selective Examinations -- Chapter 23 Practice and Theoretical Thinking in Constructing a Developmental Assessment System for Mathematics Ability. |
Record Nr. | UNINA-9910299519703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
21st Century Learning for 21st Century Skills [[electronic resource] ] : 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings / / edited by Andrew Ravenscroft, Stefanie Lindstaedt, Carlos Delgado Kloos, Davinia Hernández-Leo |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XVIII, 553 p. 130 illus.) |
Disciplina | 005.7 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Artificial intelligence Information storage and retrieval Computer communication systems User interfaces (Computer systems) Data mining Information Systems Applications (incl. Internet) Artificial Intelligence Information Storage and Retrieval Computer Communication Networks User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery |
ISBN | 3-642-33263-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 21st Century Learning for 21st Century Skills: What Does It Mean, and How Do We Do It -- Exploiting Semantic Information for Graph-Based Recommendations of Learning Resources -- An Initial Evaluation of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry -- The European TEL Projects Community from a Social Network Analysis Perspective -- TinkerLamp 2.0: Designing and Evaluating Orchestration Technologies for the Classroom -- Understanding Digital Competence in the 21st Century: An Analysis of Current Frameworks -- How CSCL Moderates the Influence of Self-efficacy on Students’ Transfer of Learning -- Notebook or Facebook? How Students Actually Use Mobile Devices in Large Lectures -- Enhancing Orchestration of Lab Sessions by Means of Awareness Mechanisms -- Discerning Actuality in Backstage: Comprehensible Contextual Aging -- Tweets Reveal More Than You Know: A Learning Style Analysis on Twitter -- Motivational Social Visualizations for Personalized E-Learning -- Generator of Adaptive Learning Scenarios: Design and Evaluation in the Project CLES -- Technological and Organizational Arrangements Sparking Effects on Individual, Community and Organizational Learning -- The Social Requirements Engineering (SRE) Approach to Developing a Large-Scale Personal Learning Environment Infrastructure -- The Six Facets of Serious Game Design: A Methodology Enhanced by Our Design Pattern Library -- To Err Is Human, to Explain and Correct Is Divine: A Study of Interactive Erroneous Examples with Middle School Math Students -- An Authoring Tool for Adaptive Digital Educational Games -- A Dashboard to Regulate Project-Based Learning -- Lost in Translation from Abstract Learning Design to ICT Implementation: A Study Using Moodle for CSCL -- The Push and Pull of Reflection in Workplace Learning: Designing to Support Transitions between Individual, Collaborative and Organisational Learning -- eAssessment for 21st Century Learning and Skills -- Supporting Educators to Discover and Select ICT Tools with SEEK-AT-WD.-Key Action Extraction for Learning Analytics -- Using Local and Global Self-evaluations to Predict Students’ Problem Solving Behaviour -- Taming Digital Traces for Informal Learning: A Semantic-Driven Approach -- Analysing the Relationship between ICT Experience and Attitude toward E-Learning: Comparing the Teacher and Student Perspectives in Turkey -- Integration of External Tools in VLEs with the GLUE! Architecture: A Case Study -- Mood Tracking in Virtual Meetings -- Teachers and Students in Charge: Using Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open Learner Modeling -- Technology-Embraced Informal-in-Formal-Learning -- Towards Automatic Competence Assignment of Learning Objects -- Slicepedia: Automating the Production of Educational Resources from Open Corpus Content -- Fostering Multidisciplinary Learning through Computer-Supported Collaboration Script: The Role of a Transactive Memory Script -- Mobile Gaming Patterns and Their Impact on Learning Outcomes: A Literature Review -- Adaptation “in the Wild”: Ontology-Based Personalization of Open-Corpus Learning Material -- Encouragement of Collaborative Learning Based on Dynamic Groups -- An Authoring Tool to Assist the Design of Mixed Reality Learning Games -- An Automatic Evaluation of Construction Geometry Assignments -- Ask-Elle: A Haskell Tutor: Demonstration -- Backstage – Designing a Backchannel for Large Lectures -- Demonstration of the Integration of External Tools in VLEs with the GLUE! Architecture -- Energy Awareness Displays: Prototype for Personalised Energy Consumption Feedback -- I-Collaboration 3.0: A Model to Support the Creation of Virtual Learning Spaces -- Learning to Learn Together through Planning, Discussion and Reflection on Microworld-Based Challenges -- Making Learning Designs Happen in Distributed Learning Environments with GLUE!-PS -- Math-Bridge: Adaptive Platform for Multilingual Mathematics Courses -- MEMO – Situated Learning Services for e-Mobility -- PINGO: Peer Instruction for Very Large Groups -- Proportion: Learning Proportional Reasoning Together -- Supporting Goal Formation, Sharing and Learning of Knowledge Workers -- U-Seek: Searching Educational Tools in the Web of Data -- XESOP: A Content-Adaptive M-Learning Environment -- A Collaboration Based Community to Track Idea Diffusion Amongst Novice Programmers -- Argument Diagrams in Facebook: Facilitating the Formation of Scientifically Sound Opinions -- Authoring of Adaptive Serious Games -- Collaborative Learning and Knowledge Maturing from Two Perspectives -- Computer Supported Intercultural Collaborative Learning: A Study on Challenges as Perceived by Students -- Just4me: Functional Requirements to Support Informal Self-directed Learning in a Personal Ubiquitous Environment -- Observations Models to Track Learners’ Activity during Training on a Nuclear Power Plant Full-Scope Simulator -- Practical Issues in e-Learning Multi-Agent Systems -- Students’ Usage and Access to Multimedia Learning Resources in an Online Course with Respect to Individual Learning Styles as Identified by the VARK Model -- Technology-Enhanced Replays of Expert Gaze Promote Students’ Visual Learning in Medical Training -- Towards Guidelines for Educational Adventure Games Creation (EAGC). |
Record Nr. | UNISA-996465610003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNISA-996465393403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNINA-9910767508103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
25 Years of Non-Equilibrium Statistical Mechanics [[electronic resource] ] : Proceedings of the XIII Sitges Conference, Held in Sitges, Barcelona, Spain, 13–17 June 1994 / / edited by J.J. Brey, J. Marro, J.M. Rubi, M. SanMiguel |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XVIII, 389 p.) |
Disciplina | 530.1/3 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Thermodynamics Statistical physics Dynamical systems Condensed matter Atoms Mathematical Methods in Physics Numerical and Computational Physics, Simulation Complex Systems Condensed Matter Physics Atomic, Molecular, Optical and Plasma Physics |
ISBN | 3-540-49203-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Microscopic reversibility and macroscopic behavior: Physical explanatoins and mathematical derivations -- Twenty-five years of non-equilibrium statistical mechanics: Towards a better understanding of dense fluids -- Models for dissipation in quantum mechanics -- Brownian motion theory: Properties of nonlinear Langevin equations -- Non-equilibrium, phase transition, and related problem -- Simulation of the consistent Boltzmann equation for hard spheres and its extension to higher densities -- Over two decades of pattern formation, a personal perspective -- Fluctuations in the steady state -- Slow non-equilibrium dynamics -- Theory of glass transition in spin glasses, orientational glasses and structural glasses -- Evolution of order parameters in disordered spin systems — a closure procedure -- Elastic instabilities in crystal growth -- Vapor phase nucleation: Molecular mechanisms for embryo development -- Chaos in Lorentz lattice gases -- Dynamics of reptation -- Non-equilibrium fluctuations in simple fluids -- Long time tails in stress correlation functions -- New advances in Laplacian growth models -- Slow dynamics and linear relaxation -- Driven tunneling: New possibilities for coherent and incoherent quantum transport -- From the Random Sequential Adsorption to the ballistic model -- High frequency viscosity of a dilute polydisperse emulsion -- Mesoscopic theory of liquid crystals -- On the microscopic theory of phase coexistence -- A nonequilibrium phase transition induced by multiplicative noise -- Electric field domains in superlattices: Dynamics -- Molecular dynamics simulation of phase separation and domain growth -- Finite-size effects in the Kardar-Parisi-Zhang equation -- Competing scaling behaviours in the late stage of growth kinetics -- Stretched-exponential relaxation of transient electric birefringence in polymer-like reverse micelles. |
Record Nr. | UNINA-9910257399503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|