This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
EACM is a comprehensive reference work covering the vast field of applied and computational mathematics. Applied mathematics itself accounts for at least 60 per cent of mathematics, and the emphasis o
This volume contains thirty-nine revised and extended research articles, written by prominent researchers participating in theWorld Congress on Engineering and Computer Science 2014, held in San Franc
This monograph presents the challenges, vision and context to design smart learning objects (SLOs) through Computer Science (CS) education modelling and feature model transformations. It presents the
This book first introduces classic as well as recent computational models for just-noticeable-difference (JND) applications. Since the discrete cosine transform (DCT) is applied in many image and vide
This volume goes beyond presently available phenomenological analyses based on the structures and constitution of the lifeworld. It shows how the science of history is the mediator between the human a
Intelligent information and database systems are two closely related subfields of modern computer science which have been known for over thirty years. They focus on the integration of artificial intel
This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014.The 13 th
The 6th FTRA International Conference on Computer Science and its Applications (CSA-14) will be held in Guam, USA, Dec. 17 - 19, 2014. CSA-14 presents a comprehensive conference focused on the various
This is a textbook for graduate and final-year-undergraduate computer-science and electrical-engineering students interested in the hardware and software aspects of embedded and cyberphysical systems
Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development including engineering, computer science and management acti
Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design met
Bionics means learning from the nature for the development of technology. The science of "bionics" itself is classified into several sections, from materials and structures over procedures and process
This highly multidisciplinary volume contains contributions from leading researchers in STEAM-H disciplines (Science, Technology, Engineering, Agriculture, Mathematics and Health). The volume explores
The structure of approximate solutions of autonomous discrete-time optimal control problems and individual turnpike results for optimal control problems without convexity (concavity) assumptions are e
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Buda
The theme of HumanCom and EMC is focused on the various aspects of human-centric computing for advances in computer science and its applications, embedded and multimedia computing and provides an oppo
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences o
This book analyzes the most important achievements in science and engineering practice concerning operational factors that cause damage to concrete and reinforced concrete structures. It includes meth
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis o
Written in response to growing concern for the improvement of quality education, this book proposes ways to improve the quality of mathematics and science teaching and learning and offers ways to incr
This handbook contains up-to-date existing structures, computer applications, and infonnation on planning, analysis, and design seismic design of wood structures. A new and very useful feature of this
In keeping with the style of the Handbook of Modern Biophysics, this fourth volume, Application of Near-Infrared Spectroscopy in Biomedicine, balances the need for physical science/mathematics formali
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences
Steels and computer-based modelling are fast growing fields in materials science as well as structural engineering, demonstrated by the large amount of recent literature.Steels: from materials science
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29
Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. C
The Indispensable Source of Information for all those who use Mathematics in Their Work... This is undoubtedly the most comprehensive, up-to-date and authoritative mathematics encyclopaedia avail
The theme of HumanCom is focused on the various aspects of human-centric computing for advances in computer science and its applications and provides an opportunity for academic and industry professio
Unique work on structure-based drug design, covering multiple aspects of drug discovery and development. Fully colored, many images, computer animations of 3D structures (these only in electronic form
This book deals with several topics in algebra useful for computer science applications and the symbolic treatment of algebraic problems, pointing out and discussing their algorithmic nature. The topi
This book concentrates on the mathematics of photonic crystals, which form an important class of physical structures investigated in nanotechnology. Photonic crystals are materials which are composed
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in
A systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Con
Theory of Arched Structures: Strength, Stability, Vibration presents detailed procedures for analytical analysis of the strength, stability, and vibration of arched structures of different types, usin
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis o
The book deals with perovskite-type ferroelectric solid solutions for modern materials science and applications, solving problems of complicated heterophase/domain structures near the morphotropic pha
This volume contains the proceedings of the Workshop on In- stability, Transition and Turbulence, sponsored by the Institute for Computer Applications in Science and Engineering (ICASE) and the NASA L
Microelectronic Test Structures for CMOS Technology and Products addresses the basic concepts of the design of test structures for incorporation within test-vehicles, scribe-lines, and CMOS products.
