AUTOMATED REASONING

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…

INTERNET OF THINGS. INFORMATION PROCESSING IN AN INCREASINGLY CONNECTED WORLD…

This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 pl…

GRAPH STRUCTURES FOR KNOWLEDGE REPRESENTATION AND REASONING :6TH INTERNATIONA…

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were revie…

PROGRAMMING FOR COMPUTATIONS - MATLAB/OCTAVE :A GENTLE INTRODUCTION TO NUMERI…

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the s…

MOBILE EDGE COMPUTING

It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Inter…

MODEL-BASED ENGINEERING OF COLLABORATIVE EMBEDDED SYSTEMS :EXTENSIONS OF THE …

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual system…

SOFTWARE ENGINEERING : REKAYASA PERANGKAT LUNAK JILID 1

Edisi

EDISI ENAM

ISBN/ISSN

979-688-946-3

Deskripsi Fisik

17X25 CM;341 HLM

Judul Seri

-

No. Panggil

537.5 SOM s

SOFTWARE ENGINEERING : REKAYASA PERANGKAT LUNAK JILID 2

Edisi

EDISI ENAM

ISBN/ISSN

979-688-947-1

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

537.5 SOM s