Mar 25

 

The College of Engineering Administrative Staff will have its Team Building / Planning Workshop Activity in Batangas tomorrow, March 26, Friday. The COE Library is closed for service but will resume operations on Saturday, March 27.

For your guidance.

The COE Library II

Mar 23

Civil Engineering Magazine

Author Anne Elizabeth Powell
Place of Publication s.l.
Date of Publication 2010
Publisher ASCE & American Society of Civil Engineers

civil-engineering.jpg

The official magazine of the American Society of Civil Engineers, Civil Engineering reports on a wide variety of pivotal civil engineering projects and structures that spotlight innovative and surprising solutions to difficult challenges. The magazine provides thought-provoking articles on contemporary issues, legal trends, new technology, and achievements in civil engineering.

ASCE News

Author Anne Elizabeth Powell
Place of Publication s.l.
Date of Publication 2010
Publisher ASCE & American Society of Civil Engineers

ASCE News

Reports on activities of the Society and news of the civil engineering profession in general. ASCE News provides extensive coverage of its Technical Divisions and Councils, as well as trends in employment, education, and engineering practice. The classified section provides up-to-the-minute job listings, new software products, short courses, and more.

Mar 22

 March 23 – April 6, 2010 — All books are for room-use only

April 1 – 3, 2010 — Library will be closed for the Holy Week

April 8 – 9, 2010 — Registration for Summer classes

April 13, 2010 — Library service resumes

* Starting March 29, 2010 — Library service will be from 8AM-5PM only.

Mar 16

                              Borrow Date                                 Due Date

March 10-22, 2010 (Regular Circulation Books)         March 23, 2010

March 17- 22, 2010 (One Week Book)                      March 23, 2010

March 22, 2010 (Three Day Book)                            March 23, 2010

March 23, 2010 (All Circulation Books)                     Room Use Only

Mar 15

NEW REFERENCE BOOK
Handbook of numerical heat transfer
Author W.J. Minkowycz, E.M. Sparrow, J.Y. Murthy
Place of Publication Hoboken, N.J.
Date of Publication c2006
Publisher J. Wiley

Handbook of numerical heat transfer

A completely updated edition of the acclaimed single volume reference for heat transfer and the thermal sciences, this Second Edition of “Handbook of Numerical Heat Transfer” covers the basic equations for numerical method calculations regarding heat transfer problems and applies these to problems encountered in aerospace, nuclear power, chemical processes, electronic packaging, and other related areas of mechanical engineering. As with the first edition, this complete revision presents comprehensive but accessible coverage of the necessary formulations, numerical schemes, and innovative solution techniques for solving problems of heat and mass transfer and related fluid flows. Featuring contributions from some of the most prominent authorities in the field, articles are grouped by major sets of methods and functions, with the text describing new and improved, as well as standard, procedures. “Handbook of Numerical Heat Transfer, Second Edition” includes: updated coverage of parabolic systems, hyperbolic systems, integral and integro differential systems, Monte Carlo and perturbation methods, and inverse problems; usable computer programs that allow quick applications to aerospace, chemical, nuclear, and electronic packaging industries; and, user friendly nomenclature listings which include all the symbols used in each chapter so that chapter specific symbols are readily available.

NEW RESERVE BOOKS
Challenges for game designers
Author Brenda Brathwaite and Ian Schreiber ; Charles River Media
Place of Publication Boston, MA
Date of Publication c2009
Publisher Course Technology/Cengage Learning

Challenges for game designers

Welcome to a book written to challenge you, improve your brainstorming abilities, and sharpen your game design skills! Challenges for Game Designers: Non-Digital Exercises for Video Game Designers is filled with enjoyable, interesting, and challenging exercises to help you become a better video game designer, whether you are a professional or aspire to be. Each chapter covers a different topic important to game designers, and was taken from actual industry experience. After a brief overview of the topic, there are five challenges that each take less than two hours and allow you to apply the material, explore the topic, and expand your knowledge in that area. Each chapter also includes 10 non-digital shorts to further hone your skills. None of the challenges in the book require any programming or a computer, but many of the topics feature challenges that can be made into fully functioning games. The book is useful for professional designers, aspiring designers, and instructors who teach game design courses, and the challenges are great for both practice and homework assignments. The book can be worked through chapter by chapter, or you can skip around and do only the challenges that interest you. As with anything else, making great games takes practice and Challenges for Game Designers provides you with a collection of fun, thoughtprovoking, and of course, challenging activities that will help you hone vital skills and become the best game designer you can be.

Microcontrollers : from assembly language to C using the PIC24 family, 2nd ed.

Author Robert Reese
Place of Publication Boston, MA
Date of Publication c2008
Publisher Cengage Learning

Microcontrollers : from assembly language to C using the PIC24 family

Microcontrollers: From Assembly Language to C Using the PIC24 Family” provides an introduction to microprocessors and microcontrollers for either the student or hobbyist.

Computational partial differential equations using MATLAB

Author Jichun Li, Yi-Tung Chen
Place of Publication Boca Raton
Date of Publication c2009
Publisher CRC Press

Computational partial differential equations using MATLAB

This is a concise yet solid introduction to advanced numerical methods. This textbook introduces several major numerical methods for solving various partial differential equations (PDEs) in science and engineering, including elliptic, parabolic, and hyperbolic equations. It covers traditional techniques that include the classic finite difference method and the finite element method as well as state-of-the-art numerical methods, such as the high-order compact difference method and the radial basis function meshless method.It helps students better understand the numerical methods through the use of MATLAB[registered]. The authors uniquely emphasize both theoretical numerical analysis and practical implementation of the algorithms in MATLAB, making the book useful for students in computational science and engineering. They provide students with simple, clear implementations instead of sophisticated usages of MATLAB functions. It includes all the material needed for a numerical analysis course. Based on the authors’ own courses, the text only requires some knowledge of computer programming, advanced calculus, and difference equations. It includes practical examples, exercises, references, and problems, along with a solutions manual for qualifying instructors. The accompanying CD-ROM contains MATLAB source code, enabling students to easily modify or improve the codes to solve their own problems.

Semantic web for the working ontologist : modeling in RDF, RDFS and OWL

Author Dean Allemang, James Hendler
Place of Publication Amsterdam ; Boston
Date of Publication c2008
Publisher Morgan Kaufmann Publishers/Elsevier

Semantic web for the working ontologist : modeling in RDF, RDFS and OWL

The promise of the Semantic Web to provide a universal medium to exchange data information and knowledge has been well publicized. There are many sources too for basic information on the extensions to the WWW that permit content to be expressed in natural language yet used by software agents to easily find, share and integrate information. Until now individuals engaged in creating ontologies – formal descriptions of the concepts, terms, and relationships within a given knowledge domain – have had no sources beyond the technical standards documents. “Semantic Web for the Working Ontologist” transforms this information into the practical knowledge that programmers and subject domain experts need. Authors Allemang and Hendler begin with solutions to the basic problems, but don’t stop there: they demonstrate how to develop your own solutions to problems of increasing complexity and ensure that your skills will keep pace with the continued evolution of the Semantic Web. This title provides practical information for all programmers and subject matter experts engaged in modeling data to fit the requirements of the Semantic Web. It de-emphasizes algorithms and proofs, focusing instead on real-world problems, creative solutions, and highly illustrative examples. It presents detailed, ready-to-apply ‘recipes’ for use in many specific situations. It shows how to create new recipes from RDF, RDFS, and OWL constructs

Systems engineering with SysML/UML : modeling, analysis, design

Author Tim Weilkiens
Place of Publication Amsterdam ; Boston
Date of Publication c2007
Publisher Morgan Kaufmann OMG Press/Elsevier

Systems engineering with SysML/UML : modeling, analysis, design

UML, the Universal Modeling Language, was the first language designed to fulfill the requirement for “universality.” However, it is a software-specific language, and does not support the needs of engineers designing from the broader systems-based perspective. Therefore, SysML was created. It has been steadily gaining popularity, and many companies, especially in the heavily-regulated Defense, Automotive, Aerospace, Medical Device and Telecomms industries, are already using SysML, or are plannning to switch over to it in the near future. However, little information is currently available on the market regarding SysML. Its use is just on the crest of becoming a widespread phenomenon, and so thousands of software engineers are now beginning to look for training and resources.The proposed book will provide an introduction to SysML, and instruction on how to implement it, for all these new users. It is the first available book on SysML in English. It contains insider information! The author is a member of the SysML working group and has written sections of the specification. It features a special focus comparing SysML and UML, and explaining how both can work together.

NEW CIRCULATION BOOKS
Real-time Java programming with Java RTS
Author Eric J. Bruno, Greg Bollella
Place of Publication Upper Saddle River, NJ
Date of Publication c2009
Publisher Prentice Hall

Real-time Java programming with Java RTS

The Definitive Guide to Java RTS for Developers and Architects *For Java developers and architects moving to real-time, and real-time developers moving to Java*Walks through start-to-finish case study applications, identifying their constraints and discussing the APIs and design patterns used to address them*By the former leader of the real-time Java standards process and one of Wall Street’s top real-time developers Sun Microsystems’ Java Real-Time System (Java RTS) is proving itself in numerous, wide-ranging environments, including finance, control systems, manufacturing, and defense. Java RTS and the RTSJ standard (JSR-001) eliminate the need for complicated, specialized, real-time languages and operating environments, saving money by leveraging Java’s exceptional productivity and familiarity. In Real-Time Java Programming, two of Sun’s top real-time programming experts present the deep knowledge and realistic code examples that developers need to succeed with Java RTS and its APIs. As they do so, the authors also illuminate the foundations of real-time programming in any RTSJ-compatible environment. Key topics include *Real-time principles and concepts, and the unique requirements of real-time application design and development*How Java has been adapted to real-time environments *A complete chapter on garbage collection concepts and Java SE collectors*Using the Java RTS APIs to solve actual real-time system problems as efficiently as possible*Utilizing today’s leading Java RTS development and debugging tools*Understanding real-time garbage collection, threads, scheduling, and dispatching*Programming new RTSJ memory models*Dealing with asynchronous event handling and asynchronous transfer of control

Solving polynomial systems using continuation for engineering and scientific problems, SIAM ed.

Author Alexander Morgan
Place of Publication Philadelphia
Date of Publication c2009
Publisher Society for Industrial and Applied Mathematics

Solving polynomial systems using continuation for engineering and scientific problems

Polynomial continuation is a numerical technique used to compute solutions to systems of polynomial equations. Originally published in 1987, this introduction to polynomial continuation remains a useful starting point for the reader interested in learning how to solve practical problems without advanced mathematics. Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems is easy to understand, requiring only a knowledge of undergraduate-level calculus and simple computer programming. The book is also practical; it includes descriptions of various industrial-strength engineering applications and offers Fortran code for polynomial solvers on an associated Web page. It provides a resource for undergraduate mathematics projects

Linear algebra : challenging problems for students, 2nd ed.

Author Fuzhen Zhang
Place of Publication Baltimore, Md.
Date of Publication c2009
Publisher Johns Hopkins University Press

linear-algebra.gif

“Linear algebra is a prerequisite for students majoring in mathematics and is required of many undergraduate and first-year graduate students in statistics, engineering, and related areas. This fully updated and revised text defines the discipline’s main terms, explains its key theorems, and provides over 425 example problems ranging from the elementary to some that may baffle even the most seasoned mathematicians. Vital concepts are highlighted at the beginning of each chapter and a final section contains hints for solving the problems as well as solutions to each example. Based on Fuzhen Zhang’s experience teaching and researching algebra over the past two decades, “Linear Algebra” is the perfect examination study tool. Students in beginning and seminar-type advanced linear algebra classes and those seeking to brush up on the topic will find Zhang’s plain discussions of the subject’s theories refreshing and the problems diverse, interesting, and challenging.

Managing and mining uncertain data

Author edited by Charu C. Aggarwal
Place of Publication New York
Date of Publication c2009
Publisher Springer

Managing and mining uncertain data

Managing and Mining Uncertain Data” is a survey with chapters by a variety of well known researchers in the data mining field, presents the most recent models, algorithms, and applications in the uncertain data mining field in a structured and concise way. This book is organized to make it more accessible to applications-driven practitioners for solving real problems. Also, given the lack of structurally organized information on this topic, “Managing and Mining Uncertain Data” provides insights which are not easily accessible elsewhere. “Managing and Mining Uncertain Data” is designed for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a reference book for advanced-level students in computer science and engineering, as well as the ACM, IEEE, SIAM, INFORMS and AAAI Society groups

Building parallel programs : SMPs, clusters, and Java

Author Alan Kaminsky
Place of Publication Boston, Mass.
Date of Publication c2010
Publisher Course Technology

Building parallel programs : SMPs, clusters, and Java

Readers learn the craft of designing and building parallel programsuspecifically programs that employ multiple processors operating at once to solve a large computational problemuwith the clear presentation and fresh, contemporary approach found in Kaminsky’s BUILDING PARALLEL PROGRAMS. Written by experienced instructor and industry developer Alan Kaminsky, this book addresses techniques for parallel programming on both major categories of parallel computersuSMPs and clusters. Readers gain first-hand experience working with the increasingly popular programming language, Java, as they complete programs from the text written in Java and work with a unique, author-developed Java class library. The book even emphasizes how to use performance metrics in the design of parallel programs, a topic not even addressed in most other texts.

The linear complementarity problem

Author Richard W. Cottle, Jong-Shi Pang, Richard E. Stone
Place of Publication Philadelphia
Date of Publication c2009
Publisher Society for Industrial and Applied Mathematics

The linear complementarity problem

During the past twenty years, the linear complementarity problem has emerged as an important development in mathematical programming and numerical linear algebra. The Linear Complementarity Problem is a text designed to be suitable for both classroom use and as a references for researchers. The book is ideal for graduate students pursuing an advanced degree in operations research, but it is also of importance for many related fields of study, such as: computer science, applied mathematics, engineering, business studies, etc.

Matrix polynomials

Author I. Gohberg, P. Lancaster, L. Rodman
Place of Publication Philadelphia
Date of Publication c2009
Publisher Society for Industrial and Applied Mathematics

Matrix polynomials

This book is the definitive treatment of the theory of polynomials in a complex variable with matrix coefficients. Basic matrix theory can be viewed as the study of the special case of polynomials of first degree; the theory developed in Matrix Polynomials is a natural extension of this case to polynomials of higher degree. It has applications in many areas, such as differential equations, systems theory, the Wiener-Hopf technique, mechanics and vibrations, and numerical analysis. Although there have been significant advances in some quarters, this work remains the only systematic development of the theory of matrix polynomials. The book is appropriate for students, instructors, and researchers in linear algebra, operator theory, differential equations, systems theory, and numerical analysis. Its contents are accessible to readers who have had undergraduate-level courses in linear algebra and complex analysis.

Building interactive systems : principles for human-computer interaction

Author Dan R. Olsen Jr
Place of Publication Boston, MA
Date of Publication c2010
Publisher Course Technology

Building interactive systems : principles for human-computer interaction

This innovative text focuses on the architectures, mathematics, and algorithms that are integral to creating reliable user interfaces. The first sixteen chapters cover the concepts required for current graphical user interfaces, including specific emphasis on the Model-View-Controller architecture. The second part of the book provides an overview of key research areas in interactive systems, with a focus on the algorithms required to implement these systems. Using clear descriptions, equations,and pseudocode, this text simplifies and demystifies the development and application of a variety of user interfaces.

Power distribution system reliability: practical methods and applications

Author Ali A. Chowdhury, Don O. Koval
Place of Publication Hoboken
Date of Publication c2009
Publisher John Wiley & Sons

Power distribution system reliability: practical methods and applications

Reliable power distribution systems are essential to maintain a functioning society. This book covers the fundamentals of reliability analysis as they apply to the planning and design of utility, industrial, and commercial electric power distribution systems. The book covers concepts of reliability analysis by probability methods, fundamentals of power system reliability evaluation, economic evaluation, and equipment. The presentation is self-contained and actual utility and industrial power system design problems are presented and fully worked out. This is a practical, hands-on book for engineers, professionals, and students.

Intelligent and evolutionary systems

Author
Place of Publication Berlin
Date of Publication c2009
Publisher Springer

Intelligent and evolutionary systems

Artificial evolutionary systems are computer systems, inspired by ideas from natural evolution and related phenomena. The field has a long history, dating back to the earliest days of computer science, but it has only become an established scientific and engineering discipline since the 1990s, with packages for the commonest form, genetic algorithms, now widely available. Researchers in the Asia-Pacific region have participated strongly in the development of evolutionary systems, with a particular emphasis on the evolution of intelligent solutions to highly complex problems. The Asia-Pacific Symposia on Intelligent and Evolutionary Systems have been an important contributor to this growth in impact, since 1997 providing an annual forum for exchange and dissemination of ideas. Participants come primarily from East Asia and the Western Pacific, but contributions are welcomed from around the World. This volume features a selection of fourteen of the best papers from recent APSIES. They illustrate the breadth of research in the region, with applications ranging from business to medicine, from network optimization to the promotion of innovation.

Design and control of intelligent robotic systems

Author Dikai Liu, Lingfeng Wang, Kay Chen Tan (eds.)
Place of Publication Berlin
Date of Publication c2009
Publisher Springer

Design and control of intelligent robotic systems

“With the increasing applications of intelligent robotic systems in various fields, the design and control of these systems have increasingly attracted interest from researchers. This edited book entitled “Design and Control of Intelligent Robotic Systems” in the book series of “Studies in Computational Intelligence” is a collection of some advanced research on design and control of intelligent robots. The works presented range in scope from design methodologies to robot development. Various design approaches and algorithms, such as evolutionary computation, neural networks, fuzzy logic, learning, etc. are included and most studies reported in this book have been implemented in physical systems. The intended readers of this edited book are engineers, researchers, senior undergraduates, and graduate students who are interested in the field of design and control of intelligent robotic systems.

Numerical matrix analysis : linear systems and least squares

Author Ilse C.F. Ipsen
Place of Publication Philadelphia
Date of Publication c2009
Publisher Society for Industrial and Applied Mathematics

Numerical matrix analysis : linear systems and least squares

The purpose of this book is to promote understanding of two phenomena: sensitivity of linear systems and least squares problems, and numerical stability of algorithms. Sensitivity and stability are analyzed as mathematical properties, without reference to finite precision arithmetic. The material is presented at a basic level, emphasizing ideas and intuition, but in a mathematically rigorous fashion. The derivations are simple and elegant, and the results are easy to understand and interpret. The book is self-contained. It was written for students in all areas of mathematics, engineering, and the computational sciences, but can easily be used for self-study. This text differs from other numerical linear algebra texts by offering the following: a systematic development of numerical conditioning; a simplified concept of numerical stability in exact arithmetic; simple derivations; a high-level view of algorithms; and results for complex matrices.

Organic electronics in sensors and biotechnology

Author Ruth Shinar, Joseph Shinar
Place of Publication New York
Date of Publication 2009
Publisher McGraw-Hill

Organic electronics in sensors and biotechnology

This is a detailed guide to the use of organic electronics in sensing applications. Recent progress in the field of organic electronics (OE), combined with the need for versatile, compact, inexpensive, high-throughput, and field-deployable chemical and biological sensors, has led to the development of OE-based sensors. This multi-disciplinary book provides comprehensive information about the growing field of organic electronics and is the first to detail their use in sensing applications. “Organic Electronics in Sensors and Biotechnology” features contributors from leading U.S. and international researchers and academics in the OE field. The book will promote innovations in this field at the interface between electrical and computer engineering, physics, material science, chemistry, and biology, contributing to the field’s development.

Electrical safety of low-voltage systems

Author Massimo A.G. Mitolo
Place of Publication New York
Date of Publication c2009
Publisher McGraw Hill

Electrical safety of low-voltage systems

Find all the information you need to minimize accident rates and ensure low-voltage system safety. “Electrical Safety of Low-Voltage Systems” offers you a comprehensive safety regimen, based on the fundamental characteristics of low-voltage electrical systems. Fully explaining the grounding and bonding of low-voltage systems as they relate to article 250 of the National Electrical Code[registered], this essential safety tool provides an analytical approach to accident control to replace the haphazard rules of thumb currently in use.

Modern image quality assessment

Author Zhou Wang, Alan C. Bovik
Place of Publication [San Rafael, Calif.]
Date of Publication c2006
Publisher Morgan & Claypool Publishers

Modern image quality assessment

This Lecture book is about objective image quality assessmentwhere the aim is to provide computational models that can automatically predict perceptual image quality. The early years of the 21st century have witnessed a tremendous growth in the use of digital images as a means for representing and communicating information. A considerable percentage of this literature is devoted to methods for improving the appearance of images, or for maintaining the appearance of images that are processed. Nevertheless, the quality of digital images, processed or otherwise, is rarely perfect. Images are subject to distortions during acquisition, compression, transmission, processing, and reproduction. To maintain, control, and enhance the quality of images, it is important for image acquisition, management, communication, and processing systems to be able to identify and quantify image quality degradations. The goals of this book are as follows; a) to introduce the fundamentals of image quality assessment, and to explain the relevant engineering problems, b) to give a broad treatment of the current state-of-the-art in image quality assessment, by describing leading algorithms that address these engineering problems, and c) to provide new directions for future research, by introducing recent models and paradigms that significantly differ from those used in the past. The book is written to be accessible to university students curious about the state-of-the-art of image quality assessment, expert industrial R&D engineers seeking to implement image/video quality assessment systems for specific applications, and academic theorists interested in developing new algorithms for image quality assessment orusing existing algorithms to design or optimize other image processing applications.

Super resolution of images and video

Author Aggelos K. Katsaggelos, Rafael Molina, Javier Mateos
Place of Publication [San Rafael, Calif.]
Date of Publication c2007
Publisher Morgan & Claypool Publishers

Super resolution of images and video

This book focuses on the super resolution of images and video. The authors use of the term super resolution (SR) is used to describe the process of obtaining a high resolution (HR) image, or a sequence of HR images, from a set of low resolution (LR) observations. This process has also been referred to in the literature as resolution enhancement (RE). SR has been applied primarily to spatial and temporal RE, but also to hyperspectral image enhancement. This book concentrates on motion based spatial RE, although the authors also describe motion free and hyperspectral image SR problems. Also examined is the very recent research area of SR for compression, which consists of the intentional downsampling, during pre-processing, of a video sequence to be compressed and the application of SR techniques, during post-processing, on the compressed sequence. It is clear that there is a strong interplay between the tools and techniques developed for SR and a number of other inverse problems encountered in signal processing (e.g., image restoration, motion estimation). SR techniques are being applied to a variety of fields, such as obtaining improved still images from video sequences (video printing), high definition television, high performance color Liquid Crystal Display (LCD) screens, improvement of the quality of color images taken by one CCD, video surveillance, remote sensing, and medical imaging. The authors believe that the SR/RE area has matured enough to develop a body of knowledge that can now start to provide useful and practical solutions to challenging real problems and that SR techniques can be an integral part of an image and video codec and can drive the development of newcoder-decoders (codecs) and standards.

Design engineering : a manual for enhanced creativity

Author W. Ernst Eder, Stanislav Hosnedl
Place of Publication Boca Raton
Date of Publication c2008
Publisher CRC Press

Design engineering : a manual for enhanced creativity

As with any art, science, or discipline, natural talent is only part of the equation. Consistent success stems from honing your skills, cultivating good techniques, and hard work. Design engineering, a field often considered an intuitive process not amenable to scientific investigation, is no exception. Providing descriptive theory, broad context, and practical examples, “Design Engineering: A Manual for Enhanced Creativity” explores how to quantify creativity, codify inspiration, and document a process seemingly based solely on intuition.The authors discuss how to clarify the design task, conceptualize candidate solutions, and search for alternatives. They delineate how these phases fit into an industrial context, including engineering product development, and what to consider during design engineering to satisfy all customers. The book discusses activities and methods for performing engineering design work in a rational, review able, and documented way, increasing the likelihood of finding an optimal solution. The presentation covers substantiated use of intuition and opportunism as an integral part of rational, systematic, and methodical designing.It examines the influence of other topics on the work, such as psychology, computers, teamwork, application of methods, and education. The authors recommend that results from these less systematic activities be brought into the rational and systematic framework to document the results. Based on the authors’ extensive industrial experience, the book elucidates a coherent body of knowledge of design engineering. The book clearly details an easily applicable theory that not only gives you solid design tools, but can also be adapted to any existing design situation.

Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures

Author Egon Börger, Antonio Cisternino (eds.).
Place of Publication Berlin ; New York
Date of Publication c2008
Publisher Springer

Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product line techniques, evolvable software, the evolution of service-oriented software architectures, Web services, and security in such evolving distributed systems. The nine revised full papers presented were carefully reviewed and selected by 21 reviewers. The papers are organized in topical sections on foundations and methodology, service oriented architecture and web services, software technology, and security. This book is written with the intent to produce a state-of-the-art compendium of recent advances in software engineering.

The essential guide to image processing

Author editor, Al Bovik
Place of Publication London ; Boston
Date of Publication c2009
Publisher Academic Press

The essential guide to image processing

This is a complete introduction to the basic and intermediate concepts of image processing from the leading people in the field. There is a CD-ROM that contains 70 highly interactive demonstration programs with user friendly interfaces to provide a visual presentation of the concepts. This title features up-to-date content, including statistical modeling of natural, anistropic diffusion, image quality and the latest developments in JPEG 2000. This comprehensive and state-of-the art approach to image processing gives engineers and students a thorough introduction, and includes full coverage of key applications: image watermarking, fingerprint recognition, face recognition and iris recognition and medical imaging. To help learn the concepts and techniques, the book contains a CD-ROM of 70 highly interactive visual demonstrations. Key algorithms and their implementation details are included, along with the latest developments in the standards. ‘This book combines basic image processing techniques with some of the most advanced procedures. Introductory chapters dedicated to general principles are presented alongside detailed application-orientated ones. As a result it is suitably adapted for different classes of readers, ranging from Master to PhD students and beyond’ – Prof. Jean-Philippe Thiran, EPFL, Lausanne, Switzerland. ‘Al Bovik’s compendium proceeds systematically from fundamentals to today’s research frontiers. Professor Bovik, himself a highly respected leader in the field, has invited an all-star team of contributors. Students, researchers, and practitioners of image processing alike should benefit from the Essential Guide’ – Prof. Bernd Girod, Stanford University, USA. ‘This book is informative, easy to read with plenty of examples, and allows great flexibility in tailoring a course on image processing or analysis’ – Prof. Pamela Cosman, University of California, San Diego, USA. This is a complete and modern introduction to the basic and intermediate concepts of image processing – edited and written by the leading people in the field. This is an essential reference for all types of engineers working on image processing applications.

Practical Guide to Inspection, Testing and Certification of Electrical Installations Conforms to IEE Wiring Regulations / BS 7671 / Part P of Building Regulations

Author Christopher Kitcher
Place of Publication Amsterdam ; Boston
Date of Publication c2008
Publisher Elsevier ; Newnes

Practical Guide to Inspection, Testing and Certification of Electrical Installations Conforms to IEE Wiring Regulations / BS 7671 / Part P of Building Regulations

This book covers all the basics of inspection and testing and clearly explains all the legal requirements. It not only tells you what tests are needed but also describes all of them step-by-step with the help of colour photos. Sample forms show how to verify recorded test results and how to certify and fill in the required documentation. The book is also packed with handy advice on how to avoid and solve common problems encountered on the job.With its focus on the practical side of the actual inspection and testing rather than just the requirements of the regulations, this book is ideal for students, experienced electricians and those working in allied industries, such as plumbers and heating specialists, kitchen and bathroom fitters, alarm installers and others, whether they are working on domestic or industrial installations. All the theory required for passing the City and Guilds Level 3 Certificate in Inspection, Testing and Certification of Electrical Installations (2391-01) is covered. The book also includes sample questions and scenarios as encountered in the exams.Questions encourage readers to research answers in the On-Site Guide, as required in the exams for Part P Competent Person courses from EAL, NICEIC, NAPIT, BPEC and others.Model answers are provided for all questions.The book will also help prepare students on City and Guilds 2330 Level 3 courses, NVQs and apprenticeship programmes for their practical inspection and testing exams. Chris Kitcher is an Electrical Installation lecturer at Central Sussex College and has 45 years of experience in the electrical industry. This book covers all you need to know to comply with Part P of the Building Regs. Step-by-step descriptions and photos of the tests show exactly how to carry them out. It fully covers the syllabus of C&G 2391-01.

Scientific data mining : a practical perspective

Author Chandrika Kamath
Place of Publication Philadelphia
Date of Publication c2009
Publisher Society for Industrial and Applied Mathematics

Scientific data mining : a practical perspective

Technological advances are enabling scientists to collect vast amounts of data in fields such as medicine, remote sensing, astronomy, and high-energy physics. These data arise not only from experiments and observations, but also from computer simulations of complex phenomena. As a result, it has become impractical to manually analyze and understand the data. This book describes how techniques from the multi-disciplinary field of data mining can be used to address the modern problem of data overload in science and engineering domains. Starting with a survey of analysis problems in different applications, it identifies the common themes across these domains and uses them to define an end-to-end process of scientific data mining. This multi-step process includes tasks such as processing the raw image or mesh data to identify objects of interest; extracting relevant features describing the objects; detecting patterns among the objects; and displaying the patterns for validation by the scientists.

Requirements engineering for software and systems

Author Phillip A. Laplante
Place of Publication Boca Raton
Date of Publication c2009
Publisher CRC Press

Requirements engineering for software and systems

A review of the state of the technology, this book explores developments of intelligent systems and soft computing techniques and their application in diverse areas within manufacturing. It covers topics including advanced production machines and systems, collaborative and responsive manufacturing systems, digital manufacturing, e-manufacturing, e-business and virtual enterprises, fit manufacturing, human machine interfaces, innovative design technologies, intelligent and competitive manufacturing, intelligent planning and scheduling systems, mechatronics and MEMS, micro and nano Manufacturing, production automation and control, reconfigurable manufacturing systems, robotics, and sustainable manufacturing systems.

Advanced materials and design for electromagnetic interference shielding

Author Xingcun Colin Tong
Place of Publication Boca Raton
Date of Publication c2009
Publisher CRC Press

Advanced materials and design for electromagnetic interference shielding

Exploring the role of EMI shielding in EMC design, this book introduces the design guidelines, materials selection, characterization methodology, manufacturing technology, and future potential of EMI shielding. It covers a wide array of issues in advanced shielding materials and design solutions, including enclosures, conductive elastomer and flexible graphite components, and composites.

Learning MATLAB

Author Tobin A. Driscoll
Place of Publication Philadelphia, PA
Date of Publication c2009
Publisher Society for Industrial and Applied Mathematics

Learning MATLAB

This engaging book is a concise introduction to the MATLAB programming language for students and professionals in mathematics, science, and engineering. It can be used as the primary text for a short course, as a companion textbook for a numerical computing course, or for self-study. The presentation is designed to guide a new MATLAB user through the basics of interacting with and programming in the MATLAB software, and into some of the more important advanced techniques, including the solution of common problem types in scientific computing. Rather than including exhaustive technical syntax material, this book aims to teach through readily understood examples and numerous exercises that range from straightforward to very challenging. Learning MATLAB is ideal for readers seeking a focused and brief approach to the software, rather than an encyclopedic one.

Software verification and analysis : an integrated, hands-on approach

Author Janusz Laski, William Stanley
Place of Publication London, UK
Date of Publication c2009
Publisher Springer

software-verification-and-analysis.gif

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox.The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification. Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD’s handling of the concepts is illustrated. Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.

Fundamental concepts in computer science

Author editors, Erol Gelenbe, Jean-Pierre Kahane
Place of Publication London
Date of Publication c2009
Publisher Imperial College Press

Fundamental concepts in computer science

This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a living history of the field of computer science. The scope of the book is broad in that it covers all aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.

Introduction to statistics for biomedical engineers

Author Kristina M. Ropella
Place of Publication [San Rafael, Calif.]
Date of Publication c2007
Publisher Morgan & Claypool Publishers

Introduction to statistics for biomedical engineers

There are many books written about statistics, some brief, some detailed, some humorous, some colorful, and some quite dry. Each of these texts is designed for a specific audience. Too often, texts about statistics have been rather theoretical and intimidating for those not practicing statistical analysis on a routine basis. Thus, many engineers and scientists, who need to use statistics much more frequently than calculus or differential equations, lack sufficient knowledge of the use of statistics. The audience that is addressed in this text is the university-level biomedical engineering student who needs a bare-bones coverage of the most basic statistical analysis frequently used in biomedical engineering practice. The text introduces students to the essential vocabulary and basic concepts of probability and statistics that are required to perform the numerical summary and statistical analysis used in the biomedical field. This text is considered a starting point for important issues to consider when designing experiments, summarizing data, assuming a probability model for the data, testing hypotheses, and drawing conclusions from sampled data. A student who has completed this text should have sufficient vocabulary to read more advanced texts on statistics and further their knowledge about additional numerical analyses that are used in the biomedical engineering field but are beyond the scope of this text. This book is designed to supplement an undergraduate-level course in applied statistics, specifically in biomedical engineering. Practicing engineers who have not had formal instruction in statistics may also use this text as a simple, brief introduction to statistics used inbiomedical engineering. The emphasis is on the application of statistics, the assumptions made in applying the statistical tests, the limitations of these elementary statistical methods, and the errors often committed in using statistical analysis.

Mellin-transform method for integral evaluation

Author George Fikioris
Place of Publication [San Rafael, Calif.]
Date of Publication c2006
Publisher Morgan & Claypool Publishers

Mellin-transform method for integral evaluation

This book introduces the Mellin-transform method for the exact calculation of one-dimensional definite integrals, and illustrates the application if this method to electromagnetics problems. Once the basics have been mastered, one quickly realizes that the method is extremely powerful, often yielding closed-form expressions very difficult to come up with other methods or to deduce from the usual tables of integrals. Yet, as opposed to other methods, the present method is very straightforward to apply; it usually requires laborious calculations, but little ingenuity. Two functions, the generalized hypergeometric function and the Meijer G-function, are very much related to the Mellin-transform method and arise frequently when the method is applied. Because these functions can be automatically handled by modern numerical routines, they are now much more useful than they were in the past. The Mellin-transform method and the two aforementioned functions are discussed first. Then the method is applied in three examples to obtain results, which, at least in the antenna/electromagnetics literature, are believed to be new. In the first example, a closed-form expression, as a generalized hypergeometric function, is obtained for the power radiated by a constant-current circular-loop antenna. The second example concerns the admittance of a 2-D slot antenna. In both these examples, the exact closed-form expressions are applied to improve upon existing formulas in standard antenna textbooks. In the third example, a very simple expression for an integral arising in recent, unpublished studies of unbounded, biaxially anisotropic media is derived. Additional examples are also briefly discussed.

Latent semantic mapping: principles & applications

Author Jerome R. Bellegarda
Place of Publication [San Rafael, Calif.]
Date of Publication c2007
Publisher Morgan & Claypool Publishers

Latent semantic mapping: principles & applications

Latent semantic mapping (LSM) is a generalization of latent semantic analysis (LSA), a paradigm originally developed to capture hidden word patterns in a text document corpus. In information retrieval, LSA enables retrieval on the basis of conceptual content, instead of merely matching words between queries and documents. It operates under the assumption that there is some latent semantic structure in the data, which is partially obscured by the randomness of word choice with respect to retrieval. Algebraic and/or statistical techniques are brought to bear to estimate this structure and get rid of the obscuring noise. This results in a parsimonious continuous parameter description of words and documents, which then replaces the original parameterization in indexing and retrieval. This approach exhibits three main characteristics: Discrete entities (words and documents) are mapped onto a continuous vector space; this mapping is determined by global correlation patterns; and dimensionality reduction is an integral part of the process. Such fairly generic properties are advantageous in a variety of different contexts, which motivates a broader interpretation of the underlying paradigm. The outcome (LSM) is a data-driven framework for modeling meaningful global relationships implicit in large volumes of (not necessarily textual) data. This monograph gives a general overview of the framework, and underscores the multifaceted benefits it can bring to a number of problems in natural language understanding and spoken language processing. It concludes with a discussion of the inherent tradeoffs associated with the approach, and some perspectives on its general applicability to data-driveninformation extraction.

Impossible? : surprising solutions to counterintuitive conundrums

Author Julian Havil
Place of Publication Princeton, N.J.
Date of Publication c2008
Publisher Princeton University Press

Impossible? : surprising solutions to counterintuitive conundrums

Impossible?: Surprising Solutions to Counterintuitive Conundrums 3.500 out of 5 based on 2 user reviews
In “Nonplussed!”, popular-math writer Julian Havil delighted readers with a mind-boggling array of implausible yet true mathematical paradoxes. Now Havil is back with “Impossible?”, another marvelous medley of the utterly confusing, profound, and unbelievable – and all of it mathematically irrefutable. Whenever Forty-second Street in New York is temporarily closed, traffic doesn’t gridlock but flows more smoothly – why is that? Or consider that cities that build new roads can experience dramatic increases in traffic congestion – how is this possible? What does the game show, “Let’s Make A Deal” reveal about the unexpected hazards of decision-making?What can the game of cricket teach us about the surprising behavior of the law of averages? These are some of the counterintuitive mathematical occurrences that readers encounter in “Impossible?” Havil ventures further than ever into territory where intuition can lead one astray. He gathers entertaining problems from probability and statistics along with an eclectic variety of conundrums and puzzlers from other areas of mathematics, including classics of abstract math like the Banach-Tarski paradox. These problems range in difficulty from easy to highly challenging, yet they can be tackled by anyone with a background in calculus. And the fascinating history and personalities associated with many of the problems are included with their mathematical proofs. “Impossible?” will delight anyone who wants to have their reason thoroughly confounded in the most astonishing and unpredictable ways.

Real-time stability assessment in modern power system control centers

Author edited by Savu C. Savulescu
Place of Publication Hoboken, N.J.
Date of Publication c2009
Publisher John Wiley & Sons

Real-time stability assessment in modern power system control centers

This book answers the need for a practical, hands-on guide for assessing power stability in real time, rather than in offline simulations. Since the book is primarily geared toward the practical aspects of the subject, theoretical background is reduced to the strictest minimum. For the benefit of readers who may not be quite familiar with the underlying theoretical techniques, appendices describing key algorithms and theoretical issues are included at the end of the book. It is an excellent source for researchers, professionals, and advanced undergraduate and graduate students.

Mar 9

Acta Informatica

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Acta Informatica

 

Advances in Computational Mathematics

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer U.S.

Advances in Computational Mathematics

 

AI & Society

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

AI & Society

 

Algorithmica

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer New York

Algorithmica

 

Annals of Mathematics and Artificial Intelligence

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Annals of Mathematics and Artificial Intelligence

Annals of Software Engineering

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Annals of Software Engineering

 

Applicable Algebra in Engineering, Communication and Computing

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Applicable Algebra in Engineering, Communication and Computing

Applied Intelligence

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Applied Intelligence and Law

 

Archives and Museum Informatics

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Archives and Museum Informatics

 

Artificial Intelligence and Law

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

 

Artificial Intelligence Review

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Artificial Intelligence Review

Artificial Life and Robotics

Author
Place of Publication s.l.
Date of Publication c2004
Publisher Springer Japan

Artificial Life and Robotics

 

Automated Software Engineering

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Automated Software Engineering

 

Automatic Control and Computer Sciences

Author
Place of Publication s.l.
Date of Publication c2007
Publisher Allerton Press, Inc. distributed exclusively by Springer Science+Business Media LLC

Automatic Control and Computer Sciences

 

Automatic Documentation and Mathematical Linguistics

Author
Place of Publication s.l.
Date of Publication c2007
Publisher Allerton Press, Inc. distributed exclusively by Springer Science+Business Media LLC

Automatic Documentation and Mathematical Linguistics

 

Autonomous Agents and Multi-Agent Systems

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Autonomous Agents and Multi-Agent Systems

 

Autonomous Robots

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Autonomous Robots

BT Technology Journal

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

BT Technology Journal

 

Cluster Computing

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Cluster Computing

 

Cognition, Technology & Work

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Cognition, Technology & Work

 

Computational Complexity

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Birkhäuser Basel

Computational Complexity

 

Computer Science – Research and Development

Author
Place of Publication s.l.
Date of Publication c2008
Publisher Springer Berlin / Heidelberg

Computer Science - Research and Developmentf

 

Constraints

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Constraints

 

Cryptography and Communications

Author
Place of Publication s.l.
Date of Publication c2008
Publisher Springer New York

Cryptography and Communications

 

Data Mining and Knowledge Discovery

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Data Mining and Knowledge Discovery

 

Distributed and Parallel Databases

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Distributed and Parallel Databases

 

Distributed Computing

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Distributed Computing

 

Education and Information Technologies

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Education and Information Technologies

 

Empirical Software Engineering

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Empirical Software Engineering

 

Engineering with Computers

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Engineering with Computers

 

Ethics and Information Technology

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Ethics and Information Technology

 

Formal Aspects of Computing

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Formal Aspects of Computing

 

Frontiers of Computer Science in China

Author
Place of Publication s.l.
Date of Publication c2007
Publisher Higher Education Press, co-published with Springer-Verlag GmbH

Frontiers of Computer Science in China

 

Genetic Programming and Evolvable Machines

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Genetic Programming and Evolvable Machines

 

Higher-Order and Symbolic Computation

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Higher-Order and Symbolic Computation

 

Identity in the Information Society

Author
Place of Publication s.l.
Date of Publication c2008
Publisher Springer Netherlands

Identity in the Information Society

 

Information Retrieval

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Information Retrieval

 

Innovations in Systems and Software Engineering

Author
Place of Publication s.l.
Date of Publication c2005
Publisher Springer London

Innovations in Systems and Software Engineering

 

International Journal of Computer Vision

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

International Journal of Computer Vision

 

International Journal of Information Security

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

International Journal of Information Security

 

International Journal of Parallel Programming

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

International Journal of Parallel Programming

 

International Journal on Digital Libraries

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

International Journal on Digital Libraries

 

International Journal on Document Analysis and Recognition

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

International Journal on Document Analysis and Recognition

 

International Journal on Software Tools for Technology Transfer (STTT)

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

international-journal-on-software-tools-for-technology-transfer.jpg

 

 

Journal in Computer Virology

Author
Place of Publication s.l.
Date of Publication c2005
Publisher Springer Paris

Journal in Computer Virology

 

Journal of Automated Reasoning

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Journal of Automated Reasoning

 

Journal of Computer Science and Technology

Author
Place of Publication s.l.
Date of Publication c2005
Publisher Springer Boston

Journal of Computer Science and Technology

 

Journal of Control Theory and Applications

Author
Place of Publication s.l.
Date of Publication c2006
Publisher South China University of Technology and Academy of Mathematics and Systems Science, CAS

Journal of Control Theory and Applications

 

Journal of Cryptology

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer New York

Journal of Cryptology

 

Journal of Grid Computing

Author
Place of Publication s.l.
Date of Publication c2004
Publisher Springer Netherlands

Journal of Grid Computing

 

Journal of Intelligent Information Systems

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Journal of Intelligent Information Systems

 

Journal of Internet Services and Applications

Author
Place of Publication s.l.
Date of Publication c2009
Publisher Springer London

Journal of Internet Services and Applications

 

Journal of Mathematical Imaging and Vision

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Journal of Mathematical Imaging and Vision

 

Journal of Network and Systems Management

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer New York

Journal of Network and Systems Management

 

Journal of Real-Time Image Processing

Author
Place of Publication s.l.
Date of Publication c2006
Publisher Springer Berlin / Heidelberg

Journal of Real-Time Image Processing

 

The Journal of Supercomputing

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

The Journal of Supercomputing

 

Journal of Systems Integration

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Journal of Systems Integration

 

Journal of the Brazilian Computer Society

Author
Place of Publication s.l.
Date of Publication c2009
Publisher Springer London

Journal of the Brazilian Computer Society

 

Journal of Zhejiang University – Science C

Author
Place of Publication s.l.
Date of Publication c2009
Publisher Zhejiang University Press, co-published with Springer

Journal of Zhejiang University - Science C

 

Journal on Multimodal User Interfaces

Author
Place of Publication s.l.
Date of Publication c2008
Publisher Springer Berlin / Heidelberg

Journal on Multimodal User Interfaces

 

Knowledge and Information Systems

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

knowledge-and-information-systems.jpg

 

LISP and Symbolic Computation

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

LISP and Symbolic Computation

 

Machine Learning

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Machine Learning

 

Machine Vision and Applications

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Machine Vision and Applications

 

Minds and Machines

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Minds and Machines

 

Mobile Networks and Applications

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Mobile Networks and Applications

 

Multimedia Systems

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Multimedia Systems

 

Multimedia Tools and Applications

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Multimedia Tools and Applications

 

Natural Computing

Author C. Wohlin
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Natural Computing

 

Neural Computing & Applications

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Neural Computing & Applications

 

New Generation Computing

Author
Place of Publication s.l.
Date of Publication c2008
Publisher Ohmsha, Ltd.

New Generation Computing

 

Numerical Algorithms

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer U.S.

Numerical Algorithms

 

Optical Memory & Neural Networks

Author
Place of Publication s.l.
Date of Publication c2007
Publisher Allerton Press, Inc. distributed exclusively by Springer Science+Business Media LLC

Optical Memory & Neural Networks

 

Optical Networks Magazine

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Optical Networks Magazine

 

Pattern Analysis & Applications

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Pattern Analysis & Applications

 

Pattern Recognition and Image Analysis

Author
Place of Publication s.l.
Date of Publication c2005
Publisher MAIK Nauka/Interperiodica distributed exclusively by Springer Science+Business Media LLC.

Pattern Recognition and Image Analysis

 

Personal and Ubiquitous Computing

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Personal and Ubiquitous Computing

 

Photonic Network Communications

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Photonic Network Communications

 

Programming and Computer Software

Author
Place of Publication s.l.
Date of Publication c2004
Publisher MAIK Nauka/Interperiodica distributed exclusively by Springer Science+Business Media LLC.

Programming and Computer Software

 

Real-Time Systems

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Real-Time Systems

 

Requirements Engineering

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Requirements Engineering

 

SCIENCE CHINA Information Sciences

Author
Place of Publication s.l.
Date of Publication c2009
Publisher Science in China Press, co-published with Springer

SCIENCE CHINA Information Sciences

 

Science in China Series F: Information Sciences

Author
Place of Publication s.l.
Date of Publication c2005
Publisher Science in China Press, co-published with Springer

Science in China Series F: Information Sciences

 

Scientific and Technical Information Processing

Author
Place of Publication s.l.
Date of Publication c2007
Publisher Allerton Press, Inc. distributed exclusively by Springer Science+Business Media LLC

Scientific and Technical Information Processing

 

Scientometrics

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Akadémiai Kiadó, co-published with Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.

Scientometrics

 

Service Oriented Computing and Applications

Author
Place of Publication s.l.
Date of Publication c2007
Publisher Springer London

Service Oriented Computing and Applications

 

Software – Concepts & Tools

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Software - Concepts & Tools

 

Software and Systems Modeling

Author
Place of Publication s.l.
Date of Publication c2003
Publisher Springer Berlin / Heidelberg

Software and Systems Modeling

 

Software Quality Journal

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Software Quality Journal

 

The VLDB Journal

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

The VLDB Journal

 

Theory of Computing Systems

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer New York

Theory of Computing Systems

 

Universal Access in the Information Society

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

Universal Access in the Information Society

 

User Modeling and User-Adapted Interaction

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

User Modeling and User-Adapted Interaction

 

Virtual Reality

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer London

Virtual Reality

 

The Visual Computer

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Berlin / Heidelberg

The Visual Computer

 

Wireless Networks

Author
Place of Publication s.l.
Date of Publication c2002
Publisher Springer Netherlands

Wireless Networks

 

World Wide Web

Author
Place of Publication s.l.
Date of Publication c2005
Publisher Springer Netherlands

World Wide Web

 

Mar 4

The Library will be closed on March 18 (Thursday), from 8 am to 11 am to give way for the Opening and Inauguration of The Learning Commons Facility.

Reserve books that will be borrowed on March 17 may be returned from 11 to 12 noon on March 18 without fines. You may also return them through the drop box.

« Previous Entries