Filter by
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between progra…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19759-8
- Collation
- xiii, 474p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Lev
The Authoring Problem: Challenges in Supporting Authoring for Interactive Dig…
Authoring, its tools, processes, and design challenges are key issues for the Interactive Digital Narrative (IDN) research community. The complexity of IDN authoring, often involving stories co-created by procedures and user interaction, creates confusion for tool developers and raises barriers for new authors. This book examines these issues from both the tool designer and the author’s pers…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05214-9
- Collation
- vi, 336p.: Ill.
- Series Title
- Human–Computer Interaction Series
- Call Number
- 005.437 The
Design, User Experience, and Usability: Design Thinking and Practice in Conte…
This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions. …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05906-3
- Collation
- xxii, 485p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Des
Advances in Information Retrieval: 44th European Conference on IR Research, E…
This two-volume set LNCS 13185 and 13186 constitutes the refereed proceedings of the 44th European Conference on IR Research, ECIR 2022, held in April 2022, due to the COVID-19 pandemic. The 35 full papers presented together with 11 reproducibility papers, 13 CLEF lab descriptions papers, 12 doctoral consortium papers, 5 workshop abstracts, and 4 tutorials abstracts were carefully reviewed and…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99739-7
- Collation
- xxx, 605p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Adv
Virtual, Augmented and Mixed Reality: Applications in Education, Aviation and…
This two-volume set LNCS 13317 and 13318 constitutes the thoroughly refereed proceedings of the 14th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2022, held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-06015-1
- Collation
- xxvi, 383p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Vir
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08679-3
- Collation
- xiv, 209p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
HCI International 2022 Late Breaking Papers: HCI for Health, Well-being, Univ…
This proceedings LNCS 13521 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th International Conference, HCII 2022, in June 26 to July 1, 2022. HCII 2022 received a total of 5583 submissions from academia, research institutes, industry, and governmental agencies from 88 countries submit…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17902-0
- Collation
- xxi, 618p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 HCI
HCI International 2022 Posters: 24th International Conference on Human-Comput…
The four-volume set CCIS 1580, CCIS 1581, CCIS 1582, and CCIS 1583 contains the extended abstracts of the posters presented during the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually in June - July 2022. The total of 1276 papers and 275 posters included in the 40 HCII 2021 proceedings volumes was carefully reviewed and selected from 5583 subm…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-06394-7
- Collation
- xxv, 525p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 HCI
Serious Games: Joint International Conference, JCSG 2022, Weimar, Germany, Se…
This book constitutes the refereed proceedings of the 8th Joint International Conference on Serious Games, JCSG 2022, held in Weimar, Germany, in September 2022. The 14 full papers presented together with 5 short papers were carefully reviewed and selected from 31 submissions. JSCG 2022 is dedicated to serious games and its interdisciplinary characteristics combining game concepts and techno…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-15325-9
- Collation
- xi, 268p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Ser
Adaptive Instructional Systems: 4th International Conference, AIS 2022, Held …
This book constitutes the refereed proceedings of the 4th International Conference on Adaptive Instructional Systems, AIS 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions. The AIS …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05887-5
- Collation
- xxi, 316p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Ada
Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August …
This book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy. The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-98388-8
- Collation
- xxxiii, 524p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Sen
Videogame Sciences and Arts: 12th International Conference, VJ 2020, Mirandel…
This book constitutes the refereed proceedings of the 12th International Conference on Videogame Sciences and Arts, VJ 2020, held in Mirandela, Portugal, in November 2020.* The 10 full papers presented were carefully reviewed and selected from 46 submissions. *The conference was held online due to the COVID-19 pandemic.
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95305-8
- Collation
- xii, 141p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 Vid
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Ris…
This two-volume set LNCS 1319 and 13320 constitutes the thoroughly refereed proceedings of the 13th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2022, which was held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022. The total of 1271 papers and 275 poster papers included in the…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05890-5
- Collation
- xxvi, 357p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Dig
Embedded Computer Systems Architectures, Modeling, and Simulation: 22nd Inter…
This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; pro…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-15074-6
- Collation
- xiv, 436p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.2 Emb
Human Perception of Visual Information: Psychological and Computational Persp…
Recent years have witnessed important advancements in our understanding of the psychological underpinnings of subjective properties of visual information, such as aesthetics, memorability, or induced emotions. Concurrently, computational models of objective visual properties such as semantic labelling and geometric relationships have made significant breakthroughs using the latest achievements …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81465-6
- Collation
- ix, 292p.: Ill.
- Series Title
- -
- Call Number
- 005.2 HUm
Haptics: Science, Technology, Applications: 13th International Conference on …
This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technol…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-06249-0
- Collation
- xviii, 514p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Hap
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-d…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-36071-9
- Collation
- xxiii, 187p.: Ill.
- Series Title
- -
- Call Number
- 006.22 Tah c
Building Better Interfaces for Remote Autonomous Systems: An Introduction for…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-47775-2
- Collation
- xii, 127p.: Ill.
- Series Title
- Human–Computer Interaction Series
- Call Number
- 005.437 Our b
Immersive Technology in Smart Cities : Augmented and Virtual Reality in IoT
This book presents recent trends and enhancements in the convergence of immersive technology and smart cities. The authors discuss various domains such as medical education, construction, brain interface, interactive storytelling, edification, and journalism in relation to combining smart cities, IoT and immersive technologies. The book sets up a medium to promulgate insights and in depth under…
- Edition
- 1st
- ISBN/ISSN
- 978-3-030-66607-1
- Collation
- xii, 266 p
- Series Title
- Central Library
- Call Number
- 621.382 Pai i
Information Technology and Systems
- Edition
- -
- ISBN/ISSN
- 978-3-030-68418-1
- Collation
- X, 332p.:Ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 004. Inf
- Edition
- -
- ISBN/ISSN
- 978-3-030-68418-1
- Collation
- X, 332p.:Ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 004. Inf
Machine Learning for Cyber Physical Systems
This open access proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains selected papers from the fifth international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Berlin, March 12-13, 2020. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze th…
- Edition
- -
- ISBN/ISSN
- 978-3-662-62746-4
- Collation
- VII, 130p.:Ill
- Series Title
- Technologien für die intelligente Automation
- Call Number
- 006.31 Mac
Information Technology and Systems
This book is composed by the papers written in English and accepted for presentation and discussion at The 2021 International Conference on Information Technology & Systems (ICITS 21), held at the Universidad Estatal Península de Santa Elena, in Libertad, Ecuador, between the 10th and the 12th of February 2021. ICITS is a global forum for researchers and practitioners to present and discuss…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-68285-9
- Collation
- xii, 617p.:Ill
- Series Title
- -
- Call Number
- 004. Inf
Innovations in Cyber Physical Systems
The book presents a collection of peer-reviewed articles from the International Conference on Innovations in Cyber Physical Systems (ICICPS 2020). The conference provided opportunities for the presentation of new research results and discussion about them. It was also an opportunity to generation of new ideas in all CPS aspects, including theory, tools, applications, systems, test-beds and fiel…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-4149-7
- Collation
- xvi, 807p.:Ill
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 006.22 Inn
Technical Foundations of Embedded Systems
This textbook offers a comprehensive introduction to the methodological and technical knowledge necessary for the development of embedded systems. At first, the foundations of embedded systems from the fields of electronics, systems theory and control theory are introduced for computer scientists and engineers without extensive knowledge of electrical engineering. Subsequently, system component…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-65157-2
- Collation
- XII, 377p.:Ill
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 006.22 Ber t
Embedded Microprocessor System Design using FPGAs
This textbook for courses in Embedded Systems introduces students to necessary concepts, through a hands-on approach. It gives a great introduction to FPGA-based microprocessor system design using state-of-the-art boards, tools, and microprocessors from Altera/Intel® and Xilinx®. HDL-based designs (soft-core), parameterized cores (Nios II and MicroBlaze), and ARM Cortex-A9 design are discusse…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-50533-2
- Collation
- xvi, 509p.:Ill
- Series Title
- -
- Call Number
- 621.381 5 Mey e
Cyber-Physical Systems: Design and Application for Industry 4.0
This book consists of chapters dedicated to the questions of cyber-physical system design and its usage for the chemical industry and new material design. Also, the contribution of the book covers scientific research and their results for cyber-physical systems design and application in the energy domain and solutions regarding engineering education for cyber-physical systems design. The book o…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-66081-9
- Collation
- x, 452p.:ill
- Series Title
- -
- Call Number
- 629.8 Cyb
A Journey of Embedded and Cyber-Physical Systems
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a compre…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-47487-4
- Collation
- xv, 176p.:Ill
- Series Title
- -
- Call Number
- 006.22 Ajo
Advances in Computing Systems and Applications
This proceedings book gathers selected papers presented at the 4th Conference on Computing Systems and Applications (CSA2020) held on December 14, 2020, at the Ecole Militaire Polytechnique, Algiers, Algeria. The proceedings provide a collection of new ideas, original research findings, and experimental results in the field of computer science covering: artificial intelligence, data science, co…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-69418-0
- Collation
- xiv, 364p.:Ill
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- 004. Adv
Quality of Experience and Learning in Information Systems
The book shows how researchers, practitioners, and designers can improve user experiences with technology by understanding various user learning styles and characteristics when they interact with new and challenging applications and interfaces. Quality of experience in this new technological environment is affected by the learning curve involved in being able to use the new interfaces in a sati…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-52559-0
- Collation
- xiii, 110 hlm.:ilus.
- Series Title
- EAI/Springer Innovations in Communication and Computing
- Call Number
- 004.019 Ant q
Smart Multicore Embedded Systems
This book provides a single-source reference to the state-of-the-art of high-level programming models and compilation tool-chains for embedded system platforms. The authors address challenges faced by programmers developing software to implement parallel applications in embedded systems, where very often they are forced to rewrite sequential programs into parallel software, taking into account …
- Edition
- 1
- ISBN/ISSN
- 978-1-4614-8800-2
- Collation
- xxvi, 175.: Ill.
- Series Title
- -
- Call Number
- 005.275 Sma
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography