Filter by
Automated Deduction – CADE 28; 28th International Conference on Automated D…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-28 tentang Deduksi Otomatis, (Conference on Automated Deduction) CADE 28, yang diselenggarakan secara virtual pada bulan Juli 2021. 29 makalah lengkap dan 7 deskripsi sistem yang disajikan bersama dengan 2 makalah undangan ditinjau dan dipilih secara saksama dari 76 kiriman. CADE adalah forum utama untuk penyajian penel…
- Edition
- -
- ISBN/ISSN
- 978-3-030-79876-5
- Collation
- 1 online resource (XIV, 650 Pages)
- Series Title
- -
- Call Number
- 006.3 PLA a
Graph Structures for Knowledge Representation and Reasoning; 6th Internationa…
Buku akses terbuka ini merupakan prosiding pascakonferensi yang telah melalui proses penelaahan menyeluruh dari Lokakarya Internasional ke-6 tentang Struktur Graf untuk Representasi dan Penalaran Pengetahuan, GKR 2020, yang diselenggarakan secara virtual pada bulan September 2020, yang terkait dengan ECAI 2020, Konferensi Eropa ke-24 tentang Kecerdasan Buatan. Tujuh makalah lengkap yang direvis…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72308-8
- Collation
- 1 online resource (XIII, 151 Pages)
- Series Title
- -
- Call Number
- 006.3 COC g
Fundamental Approaches to Software Engineering; 24th International Conference…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-24 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2021, yang berlangsung selama 27 Maret–1 April 2021, dan diadakan sebagai bagian dari Konferensi Gabungan tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg tetapi diubah menjadi for…
- Edition
- -
- ISBN/ISSN
- 978-3-030-71500-7
- Collation
- 1 online resource (XIV, 373 Pages)
- Series Title
- -
- Call Number
- 005.1 GUE f
Finite Difference Computing with PDEs: A Modern Software Approach
This book is open access under a CC BY 4.0 license. This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation…
- Edition
- -
- ISBN/ISSN
- 9783319554563
- Collation
- XXIII, 507
- Series Title
- -
- Call Number
- -
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…
- Edition
- -
- ISBN/ISSN
- 9783319324524
- Collation
- XVI, 216
- Series Title
- -
- Call Number
- -
Twisted Isospectrality, Homological Wideness, and Isometry : A Sample of Alge…
The question of reconstructing a geometric shape from spectra of operators (such as the Laplace operator) is decades old and an active area of research in mathematics and mathematical physics. This book focusses on the case of compact Riemannian manifolds, and, in particular, the question whether one can find finitely many natural operators that determine whether two such manifolds are isometri…
- Edition
- -
- ISBN/ISSN
- 978-3-031-27704-7
- Collation
- XVI, 111
- Series Title
- SpringerBriefs in Mathematics (BRIEFSMATH)
- Call Number
- 510 COR t
The Future of Transport Between Digitalization and Decarbonization : Trends, …
Energy systems are rapidly transitioning towards decarbonization, thanks in part to innovative digital technologies and changing mobility demands. This open access book examines the decarbonization and digitalization transformation in the transport sector, with a particular focus on energy consumption. By studying historical trends and outlining future scenarios, the authors illustrate the evol…
- Edition
- -
- ISBN/ISSN
- 978-3-030-37966-7
- Collation
- XV, 112
- Series Title
- SpringerBriefs in Energy (BRIEFSENERGY)
- Call Number
- 624 NOU f
Knowledge Graphs and Big Data Processing
Buku akses terbuka ini merupakan bagian dari Proyek LAMBDA (Learning, Applying, Multiplying Big Data Analytics), yang didanai oleh Uni Eropa, GA No. 809965. Analisis Data melibatkan penerapan proses algoritmik untuk memperoleh wawasan. Saat ini, analisis data digunakan di banyak industri untuk memungkinkan organisasi dan perusahaan membuat keputusan yang lebih baik serta untuk memverifikasi ata…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (X, 208 Pages)
- Series Title
- -
- Call Number
- 004. JAN k
Energy in Africa : Challenges and Opportunities
This open access book presents a picture of the current energy challenges on the African continent (and the Sub-Saharan region in particular) and proposes pathways to an accelerated energy transition. Starting with an analysis of the status quo and the outlook for Africa’s energy demand and energy access, it provides an account of the available resources, including hydrocarbons and renewable …
- Edition
- -
- ISBN/ISSN
- 978-3-319-92219-5
- Collation
- XX, 112
- Series Title
- SpringerBriefs in Energy (BRIEFSENERGY)
- Call Number
- 333 HAF e
Modern Industrial Services : A Cookbook for Design, Delivery, and Management
This open access book is an outcome of several years of research, practice, and teaching experience of the authors on the challenges that underpin the successful switch to services for manufacturing firms. Ideal for a student as well as a practitioner, the book describes the industrial services ecosystem, the barriers and challenges, and a roadmap for building service excellence. Curated cases …
- Edition
- -
- ISBN/ISSN
- 978-3-030-80511-1
- Collation
- XIX, 202
- Series Title
- Springer Texts in Business and Economics (STBE)
- Call Number
- 658 WES m
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography