Document Analysis and Recognition – ICDAR 2021: 16th International Conferen…

This four-volume set of LNCS 12821, LNCS 12822, LNCS 12823 and LNCS 12824, constitutes the refereed proceedings of the 16th International Conference on Document Analysis and Recognition, ICDAR 2021, held in Lausanne, Switzerland in September 2021. The 182 full papers were carefully reviewed and selected from 340 submissions, and are presented with 13 competition reports. The papers are organ…

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical section…

Preparing for Digital Disruption

This open access book offers an analysis of why preparations for digital disruption should become a stated goal of security policy and policies that aim to safeguard the continuity of critical infrastructure. The increasing use of digital technology implies new and significant vulnerabilities for our society. However, it is striking that almost all cyber-security measures taken by governments, …

Probability in Electrical Engineering and Computer Science: An Application-Dr…

This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processing and communication systems that use algorithms based on probabilistic models and techniques, including web searches, digital links, speech recognition, GPS, route planning, recommendation systems, c…

LISP, SECOND EDITION

Edition

2

ISBN/ISSN

0-201-08372-8

Collation

xxi, 611 p. : 23 cm

Series Title

-

Call Number

001.6424 Win l

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:…

Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro…

This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for n…

Programming Languages and Systems: 30th European Symposium on Programming, ES…

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this…

Co-governed Sovereignty Network: Legal Basis and Its Prototype & Applications…

This open access book introduces MIN, a novel networking architecture to implement the sovereign equality of all countries in the cyberspace. Combining legal theory and network technology, it first discusses the historical development of sovereignty and expounds the legal basis of cyberspace sovereignty. Then, based on the high-performance blockchain, it describes a new network architecture des…

Foundations of Software Science and Computation Structures: 24th Internationa…

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…

Microsoft Windows Vista untuk pemula

Edition

1

ISBN/ISSN

978-979-29-0579-3

Collation

xiv, 226 hlm. ; 16 x 23 cm

Series Title

-

Call Number

005.432 Mic m

Augmented Humanity

This open access book will examine the implications of digitalization for the understanding of humanity, conceived as a community of intelligent agency. It addresses important topics across a range of social and behavioral theories and identifies a range of novel mechanisms and their social behavioral effects. Across the book, the author highlights the expansion of intelligent processing capabi…

PANDUAN BELAJAR DESAIN GRAFIS: CorelDRAW X4

Edition

1

ISBN/ISSN

978-979-29-0479-6

Collation

xiv + 242 hlm.; 16 x 23 cm

Series Title

-

Call Number

006.68 Pad p

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…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

100++ CorelDRAW X4 Exercises: praktek langsung berbagai kreasi gratis populer

Edition

1

ISBN/ISSN

978-979-291-226-5

Collation

xii + 260 hlm.; 14 x 21 cm

Series Title

-

Call Number

006.68 Mul S

Data Parallel C++: Mastering DPC++ for Programming of Heterogeneous Systems u…

Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics. Data parallelism in C++ enables access to parallel resources in a mo…

Evaluating Information Retrieval and Access Tasks: NTCIR's Legacy of Research…

This open access book summarizes the first two decades of the NII Testbeds and Community for Information access Research (NTCIR). NTCIR is a series of evaluation forums run by a global team of researchers and hosted by the National Institute of Informatics (NII), Japan. The book is unique in that it discusses not just what was done at NTCIR, but also how it was done and the impact it has achiev…

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…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

Security of Ubiquitous Computing Systems: Selected Topics

The chapters in this open access book arise out of the EU Cost Action project Cryptacus, the objective of which was to improve and adapt existent cryptanalysis methodologies and tools to the ubiquitous computing framework. The cryptanalysis implemented lies along four axes: cryptographic models, cryptanalysis of building blocks, hardware and software security engineering, and security assessmen…

Intelligent Computing, Networking, and Informatics: Proceedings of the Intern…

This book is composed of the Proceedings of the International Conference on Advanced Computing, Networking, and Informatics (ICACNI 2013), held at Central Institute of Technology, Raipur, Chhattisgarh, India during June 14–16, 2013. The book records current research articles in the domain of computing, networking, and informatics. The book presents original research articles, case-studies, as…

Man-Machine Interactions 3

Man-Machine Interaction is an interdisciplinary field of research that covers many aspects of science focused on a human and machine in conjunction. Basic goal of the study is to improve and invent new ways of communication between users and computers, and many different subjects are involved to reach the long-term research objective of an intuitive, natural and multimodal way of interaction wi…

Teaching and Learning the Arts in Higher Education with Technology

This book is an inquiry about the possibilities of using technology to support the education of artists within higher education contexts. Even though technology-enhanced learning and teaching may seem incongruent with the long-established studio-based cultures of making and performing, it is increasingly becoming a pivotal point to connect artistes to potential audience and markets. Amidst the …

Integration of Reusable Systems

Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from scratch. Whereas reuse solely deals with the artifacts creation, integration focuses on how reusable artifacts interact with the already existing parts of the specified transformation. Currently, most reuse research focuses on creating a…

Non-Linear Feedback Neural Networks: VLSI Implementations and Applications

This book aims to present a viable alternative to the Hopfield Neural Network (HNN) model for analog computation. It is well known the standard HNN suffers from problems of convergence to local minima, and requirement of a large number of neurons and synaptic weights. Therefore, improved solutions are needed. The non-linear synapse neural network (NoSyNN) is one such possibility and is discusse…

Innovations in Bio-inspired Computing and Applications: Proceedings of the 4t…

This volume of Advances in Intelligent Systems and Computing contains accepted papers presented at IBICA2013, the 4th International Conference on Innovations in Bio-inspired Computing and Applications. The aim of IBICA 2013 was to provide a platform for world research leaders and practitioners, to discuss the full spectrum of current theoretical developments, emerging technologies, and innovati…

Conceptualizing and Innovating Education and Work with Networked Learning

The chapters in this book build upon selected research papers from the 12th International Networked Learning Conference 2020, hosted by University of Southern Denmark, Kolding. The selected chapters were chosen as cutting-edge research on networked learning which reflected focal discussion points during the conference such as: new demands on teachers in online and hybrid learning environments; …

Analyzing Discourse and Text Complexity for Learning and Collaborating: A Cog…

With the advent and increasing popularity of Computer Supported Collaborative Learning (CSCL) and e-learning technologies, the need of automatic assessment and of teacher/tutor support for the two tightly intertwined activities of comprehension of reading materials and of collaboration among peers has grown significantly. In this context, a polyphonic model of discourse derived from Bakhtin’s…

Recent Advances of Neural Network Models and Applications: Proceedings of the…

This volume collects a selection of contributions which has been presented at the 23rd Italian Workshop on Neural Networks, the yearly meeting of the Italian Society for Neural Networks (SIREN). The conference was held in Vietri sul Mare, Salerno, Italy during May 23-24, 2013. The annual meeting of SIREN is sponsored by International Neural Network Society (INNS), European Neural Network Societ…