Filter by
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; mode…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17404-4
- Collation
- VIII, 189
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Internet of Vehicles - Safe and Intelligent Mobility: Second International Co…
This book constitutes the refereed proceedings of the Second International Conference on Internet of Vehicles, IOV 2015, held in Chengdu, China, in December 2015. The 40 full papers presented were carefully reviewed and selected from 128 submissions. They focus on the following topics: IOV architectures and applications; intelligent mobility; V2V and M2M communications; and modeling and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-27293-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Structure-Preserving Algorithms for Oscillatory Differential Equations II
This book describes a variety of highly effective and efficient structure-preserving algorithms for second-order oscillatory differential equations. Such systems arise in many branches of science and engineering, and the examples in the book include systems from quantum physics, celestial mechanics and electronics. To accurately simulate the true behavior of such systems, a numerical algorithm …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48156-1
- Collation
- XV, 298
- Series Title
- -
- Call Number
- -
International Conference on Oriental Thinking and Fuzzy Logic: Celebration of…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30874-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Packaging of High Power Semiconductor Lasers
This book introduces high power semiconductor laser packaging design. The challenges of the design and various packaging and testing techniques are detailed by the authors. New technologies and current applications are described in detail.
- Edition
- -
- ISBN/ISSN
- 978-1-4614-9263-4
- Collation
- xv, 402 halaman
- Series Title
- Micro- and Opto-Electronic Materials, Structures, and Systems
- Call Number
- 621.366 LIU p
Engineering and Enterprise Inspiring Innovation
This book presents contributions from researchers, practitioners and professional institutions that published papers in the Proceedings of the Educating Enterprising Engineers and Scientists conference, held in London, UK on 17th June 2015. The topics considered range from educating engineers to giving a business edge and embedding entrepreneurship to achieve integrated education and curriculum…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27825-4
- Collation
- 3 b/w illustrations, 24 illustrations in colour
- Series Title
- -
- Call Number
- -
Stochastic Partial Differential Equations: An Introduction
This book provides an introduction to the theory of stochastic partial differential equations (SPDEs) of evolutionary type. SPDEs are one of the main research directions in probability theory with several wide ranging applications. Many types of dynamics with stochastic influence in nature or man-made complex systems can be modelled by such equations. The theory of SPDEs is based both on the th…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22354-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Stochastic Parameterizing Manifolds and Non-Markovian Reduced Equations
In this second volume, a general approach is developed to provide approximate parameterizations of the "small" scales by the "large" ones for a broad class of stochastic partial differential equations (SPDEs). This is accomplished via the concept of parameterizing manifolds (PMs), which are stochastic manifolds that improve, for a given realization of the noise, in mean square error the partial…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12520-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Intelligent Robotics and Applications: 8th International Conference, ICIRA 20…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22879-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Intelligent Robotics and Applications: 8th International Conference, ICIRA 20…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22876-1
- 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