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…

Psychology, Learning, Technology: First International Conference, PLT 2022, F…

This open access book constitutes the refereed proceedings of 1st International Workshop on Psychology, Learning, Technology, PLT 2022, Foggia, Italy, during January 2022. The 8 full papers presented here were carefully reviewed and selected from 23 submissions. In addition, one invited paper is also included. Psychology, Learning, ad Technology Conference (PLT2022) aims to explore learning…

How to: Coloring MANGA BELAJAR DIGITAL COLORING MENGGUNAKAN ADOBE PHOTOSHOP CS4

Edition

1

ISBN/ISSN

978-979-29-0736-0

Collation

vi + 106 hlm.; 14x21 cm

Series Title

-

Call Number

006.69 Kim h

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

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…

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

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…

HARVARD GRAPHICS FOR WINDOWS Made Easy

Edition

-

ISBN/ISSN

0-07-881790-0

Collation

xxi, 410 p. ; 23 cm

Series Title

-

Call Number

006.62 Cam h

HARVARD GRAPHICS 3.0; Made Easy

Edition

-

ISBN/ISSN

0-07-881746-3

Collation

xxi, 358 p. : ill. ; 27 cm

Series Title

-

Call Number

006.62 Cam h 1991

Designing Data Spaces: The Ecosystem Approach to Competitive Advantage

This open access book provides a comprehensive view on data ecosystems and platform economics from methodical and technological foundations up to reports from practical implementations and applications in various industries. To this end, the book is structured in four parts: Part I “Foundations and Contexts” provides a general overview about building, running, and governing data spaces a…

Digital Transformation in Norwegian Enterprises

This open access book presents a number of case studies on digital transformation in Norway, one of the fore-runners in the digital progress index established by the European Commission in 2020. They explore the process of adoption, diffusion and value generation from digital technologies, and how the use of different digital solutions has enabled Norwegian enterprises to digitally transform th…

Land Use Cover Datasets and Validation Tools: Validation Practices with QGIS

This open access book represents a comprehensive review of available land-use cover data and techniques to validate and analyze this type of spatial information. The book provides the basic theory needed to understand the progress of LUCC mapping/modeling validation practice. It makes accessible to any interested user most of the research community's methods and techniques to validate LUC maps …

Panduan Praktis Pemodelan 3Dimensi dengan Autodesk VIZ

Edition

1

ISBN/ISSN

978-979-29-0121-4

Collation

xii, 420 hlm.; 16 x 23 cm

Series Title

-

Call Number

006.696 Pan p

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …

Sublinear Computation Paradigm: Algorithmic Revolution in the Big Data Era

This open access book gives an overview of cutting-edge work on a new paradigm called the “sublinear computation paradigm,” which was proposed in the large multiyear academic research project “Foundations of Innovative Algorithms for Big Data.” That project ran from October 2014 to March 2020, in Japan. To handle the unprecedented explosion of big data sets in research, industry, and ot…

Innopolis University - From Zero to Hero: Ten Years of Challenges and Victories

This open access book describes the development of Innopolis, a young Russian university established in 2012 to focus on teaching excellence in computer science, engineering, and robotics. It reports on the problems that were faced in the first decade of its development, and the adopted solutions. It shows how the key aspects for the development of the faculty, the curricula, the university str…

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

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and sele…

Algorithms for Big Data: DFG Priority Program 1736

This open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application …

MAHIR DALAM 7 HARI: CorelDraw X5

Edition

1

ISBN/ISSN

978-979-29-1671-3

Collation

x + 246 hlm; 16 x 23 cm

Series Title

-

Call Number

006.68 Mad m

20 Teknik Flash Master untuk Mcromedia Flash MX 2004 dan Flash Professional 8

Edition

1

ISBN/ISSN

979-763-640-2

Collation

viii + 152 hlm.; 16 x 23 cm

Series Title

-

Call Number

006.68 Phi t

DESAIN GRAFIS KOMPUTER (Teori Grafis Komputer)

Edition

1

ISBN/ISSN

979-731-846-X

Collation

vi, 218 hlm. ; 16 x 23 cm

Series Title

-

Call Number

006.68 Puj d

Business Modeling and Software Design: 11th International Symposium, BMSD 202…

This book constitutes the refereed proceedings of the 11th International Symposium on Business Modeling and Software Design, BMSD 2021, which took place in Sofia, Bulgaria, in July 2021. The 14 full and 13 short papers included in this book were carefully reviewed and selected from a total of 61 submissions. BMSD is a leading international forum that brings together researchers and pract…

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…