Enterprise, Business-Process and Information Systems Modeling: 23rd Internati…

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: * the 23rd International Conference on Business Process Modeling, Development and Support, BPMDS 2022, and * the 27th International Conference on Exploring Modeling Methods for Systems Analysis and D…

Cryptology and Network Security: 21st International Conference, CANS 2022, Ab…

This book constitutes the refereed proceedings of the 21st International Conference on Cryptology and Network Security, CANS 2022, which was held during November 13-16, 2022. The conference was took place in Abu Dhabi, United Arab Emirates. The 18 full and 2 short papers presented in these proceedings were carefully reviewed and selected from 54 submissions. They were organized in topical sect…

Multimedia Forensics

This book is open access. Media forensics has never been more relevant to societal life. Not only media content represents an ever-increasing share of the data traveling on the net and the preferred communications means for most users, it has also become integral part of most innovative applications in the digital information ecosystem that serves various sectors of society, from the entertainm…

Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools

This open access book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current technological gap between software management paradigms and cybersecurity models, the latter still lacking orchestration and agility to effectively address the dynamicity of the former. This book provides a comprehensive review of the main concepts, architecture…

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:…