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…

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…