Theory and Engineering of Dependable Computer Systems and Networks
This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wrocła…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-76773-0
- Collation
- XVII, 512p.:Ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 004 The
Guided Self-Organization: Inception
Is it possible to guide the process of self-organisation towards specific patterns and outcomes? Wouldn’t this be self-contradictory? After all, a self-organising process assumes a transition int…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-53734-9
- Collation
- xxii, 475
- Series Title
- Emergence, Complexity and Computation
- Call Number
- 004.015 Gui
Recent Advances in the Theory and Application of Fitness Landscapes
This book is concerned with recent advances in fitness landscapes. The concept of fitness landscapes originates from theoretical biology and refers to a framework for analysing and visualizing the …
- Edition
- 1
- ISBN/ISSN
- 978-3-642-41888-4
- Collation
- xxxviii, 553
- Series Title
- Emergence, Complexity and Computation
- Call Number
- 006.31 Rec
QoS-Aware Virtual Network Embedding
As an important future network architecture, virtual network architecture has received extensive attention. Virtual network embedding (VNE) is one of the core services of network virtualization (NV…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-5221-9
- Collation
- x, 401p.:Ill
- Series Title
- -
- Call Number
- 004.6 Jia q
Semi-physical Verification Technology for Dynamic Performance of Internet of …
Computer systems--Verification
- Edition
- 1
- ISBN/ISSN
- 978-981-13-1759-0
- Collation
- xv, 246p.:Ill.
- Series Title
- -
- Call Number
- 004.678 Yux s
Bio-Imaging and Visualization for Patient-Customized Simulations
This book contains the full papers presented at the MICCAI 2013 workshop Bio-Imaging and Visualization for Patient-Customized Simulations (MWBIVPCS 2013). MWBIVPCS 2013 brought together researchers…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-03590-1
- Collation
- xiv, 137p.: Ill.
- Series Title
- Lecture Notes in Computational Vision and Biomechanics
- Call Number
- 610.28 Bio
Advanced Approaches to Intelligent Information and Database Systems
This book consists of 35 chapters presenting different theoretical and practical aspects of Intelligent Information and Database Systems. Nowadays both Intelligent and Database Systems are applied …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-05503-9
- Collation
- x, 366p.: Ill
- Series Title
- Studies in Computational Intelligence
- Call Number
- 005.740 Adv
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations
This volume presents recent research in cyber security and reports how organizations can gain competitive advantages by applying the different security techniques in real-world scenarios. The volum…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-43616-5
- Collation
- xxii, 585p.: Ill.
- Series Title
- Intelligent Systems Reference Library
- Call Number
- 005.8 Has b
Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis
The present book is devoted to problems of adaptation of artificial neural networks to robust fault diagnosis schemes. It presents neural networks-based modelling and estimation techniques used for…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-01547-7
- Collation
- xxi, 182p.: Ill.
- Series Title
- Studies in Computational Intelligence
- Call Number
- 006.32 Mru a
Parametric Packet-based Audiovisual Quality Model for IPTV services
This volume presents a parametric, packet-based, comprehensive model to measure and predict the audiovisual quality of Internet Protocol Television services as it is likely to be perceived by the u…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-04855-0
- Collation
- xiv, 241p.: Ill.
- Series Title
- T-Labs Series in Telecommunication Services
- Call Number
- 006.7876 Gar p
Towards an Intelligent Learning Management System Under Blended Learning: Tre…
What are the key channels to change in blended instructional practice as they relate to the use of a learning management system (LMS)? What role LMS users’ profiles play in facilitating change in…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-02078-5
- Collation
- xxiv, 235p.: Ill.
- Series Title
- Intelligent Systems Reference Library
- Call Number
- 371.3 Dia t
Computational Intelligence, Cyber Security and Computational Models: Proceedi…
This book contains cutting-edge research material presented by researchers, engineers, developers, and practitioners from academia and industry at the International Conference on Computational Inte…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-1680-3
- Collation
- xv, 416p.: Ill.
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 006.3 Com
Advanced SOA Tools and Applications
This book presents advanced software development tools for construction, deployment and governance of Service Oriented Architecture (SOA) applications. Novel technical concepts and paradigms, formu…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-38957-3
- Collation
- vii, 323p.: Ill.
- Series Title
- Studies in Computational Intelligence
- Call Number
- 004.654 Adv
Simulations, Serious Games and Their Applications
This book presents the state of the art technology in Serious Games which is driven extensive by applications and research in simulation. The topics in this book include: (1) Fashion simulation; (2…
- Edition
- 1
- ISBN/ISSN
- 978-981-4560-32-0
- Collation
- x, 258p.: Ill.
- Series Title
- Gaming Media and Social Effects
- Call Number
- 003.3 Sim
Architecting User-Centric Privacy-as-a-Set-of-Services: Digital Identity-Rela…
How could privacy play a key role in protecting digital identities? How could we merge privacy law, policies, regulations and technologies to protect our digital identities in the context of connec…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-08231-8
- Collation
- xix, 177p.: Ill.
- Series Title
- Springer Theses
- Call Number
- 005.8 Aye a
Fundamentals of Computer Architecture and Design
This textbook provides semester-length coverage of computer architecture and design, providing a strong foundation for students to understand modern computer system architecture and to apply these …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-00223-7
- Collation
- xiv, 592p.:Ill
- Series Title
- -
- Call Number
- 004.22 Bin f
Environmental Modeling Using Satellite Imaging and Dataset Re-processing
This book introduces methods of re-processing images to extract numerical information that can be used to quantify the observables in environmental modelling. Experiments or procedures that yield l…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-13405-1
- Collation
- X, 227p.:Ill
- Series Title
- -
- Call Number
- 363.700 285 Eme e
Modeling Communication Networks and Protocols
This book provides an introduction to the software system SMURPH, comprising a programming language, its compiler, and an execution environment, for specifying communication networks and protocols …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-15391-5
- Collation
- X, 497p.:Ill
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- 004.6 Gbu m
REKAYASA WEB: Analisis dan Desain Sistem, Rekayasa Informasi, Rekayasa Hyperm…
perkembangan pemrograman berbasis web kini semakin berkembang pesat dan banyak di gemari oleh para programmer dan para programmer komputer desktop kini telah banyak beralih ke pemrograman berbasis …
- Edition
- 1
- ISBN/ISSN
- 978-979-29-1310-1
- Collation
- xiv, 418 hlm.; ilus. 23 cm
- Series Title
- -
- Call Number
- 005.12 Sim r
Quick Start Guide to VHDL
This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introducti…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-04516-6
- Collation
- XII, 212p.:Ill
- Series Title
- -
- Call Number
- 621.392 Lam q
Recent Advances in Network Simulation
This book provides a comprehensive introduction to the OMNeT++ simulation environment and an overview of its ecosystem of ever-growing frameworks, which provide simulation models for diverse commun…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-12842-5
- Collation
- XXXIV, 472p.:Ill
- Series Title
- EAI/Springer Innovations in Communication and Computing
- Call Number
- 621.382 Rec
Advanced CAD Modeling
The book discusses the theoretical fundamentals of CAD graphics to enhance readers’ understanding of surface modeling and free-form design by demonstrating how to use mathematical equations to de…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-02399-7
- Collation
- XI, 253p.:Ill
- Series Title
- -
- Call Number
- 620.004 202 85 Vuk a
Scheduling Parallel Applications on Heterogeneous Distributed Systems
This book focuses on scheduling algorithms for parallel applications on heterogeneous distributed systems, and addresses key scheduling requirements – high performance, low energy consumption, re…
- Edition
- 1
- ISBN/ISSN
- 978-981-13-6557-7
- Collation
- xvi, 246p.:Ill
- Series Title
- -
- Call Number
- 004.35 Xie s
Multi-scale Simulation of Composite Materials
Due to their high stiffness and strength and their good processing properties short fibre reinforced thermoplastics are well-established construction materials. Up to now, simulation of engineer…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-57957-2
- Collation
- vii, 178p.:Ill
- Series Title
- -
- Call Number
- 620.118 Mul
Computational Intelligence in Digital Forensics: Forensic Investigation and A…
Computational Intelligence techniques have been widely explored in various domains including forensics. Analysis in forensic encompasses the study of pattern analysis that answer the question of in…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-05885-6
- Collation
- xii, 455p.: Ill.
- Series Title
- Studies in Computational Intelligence
- Call Number
- 006.3 Com
Global Satellite Meteorological Observation (GSMO) Applications
This book presents principal structures of space systems functionality of meteorological networks, media and applications for modern remote sensing, transmission systems, meteorological ground and …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-67047-8
- Collation
- XVIII, 566p.:Ill
- Series Title
- -
- Call Number
- 551.5 Iic g
Advances in Usability, User Experience and Assistive Technology
This book focuses on emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human inte…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-94947-5
- Collation
- xix, 1018p.:Ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 004.019 Adv
Big Data Privacy Preservation for Cyber-Physical Systems
This SpringerBrief mainly focuses on effective big data analytics for CPS, and addresses the privacy issues that arise on various CPS applications. The authors develop a series of privacy preservin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-13370-2
- Collation
- IX, 73p.:Ill
- Series Title
- SpringerBriefs in Electrical and Computer Engineering
- Call Number
- 005.7 Big
Brain-Machine Interfaces for Assistance and Rehabilitation of People with Red…
This book reports on the development of different control tools for Brain-machine interface-based assistance and rehabilitation. Brain activity is analyzed with the purpose of classify mental tasks…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-95705-0
- Collation
- XLI, 79p.:Ill
- Series Title
- Springer Theses
- Call Number
- 005.437 Hor b
Information Science and Applications 2018
This book contains selected papers from the 9th International Conference on Information Science and Applications (ICISA 2018) and provides a snapshot of the latest issues encountered in technical c…
- Edition
- 1
- ISBN/ISSN
- 978-981-13-1056-0
- Collation
- XVII, 691p.:ill
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 020. Inf
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography