Filter by
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
Programming Languages and Systems; 30th European Symposium on Programming, ES…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-30 tentang Pemrograman, ESOP 2021, yang diadakan selama 27 Maret hingga 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan diadakan di Luksemburg dan diubah menjadi format daring karena pandemi COVID-19. 24 makalah yang disertakan d…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72019-3
- Collation
- 1 online resource (XXI, 693 Pages)
- Series Title
- -
- Call Number
- 005.13 YOS p
Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…
Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- 1 online resource (XXI, 465 Pages)
- Series Title
- -
- Call Number
- 005.1 GRO t
Foundations of Software Science and Computation Structures; 24th Internationa…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-24 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2021, yang diselenggarakan selama 27 Maret hingga 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan diselenggarakan di Luksemburg dan diubah menjadi fo…
- Edition
- -
- ISBN/ISSN
- 978-3-030-71995-1
- Collation
- 1 online resource (XV, 574 Pages)
- Series Title
- -
- Call Number
- 005.1 KIE f
Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…
Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- 1 online resource (XXI, 471 Pages)
- Series Title
- -
- Call Number
- 005.1 GRO t
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
- -
Perspectives on European Earthquake Engineering and Seismology: Volume 2
This book collects 4 keynote and 15 theme lectures presented at the 2nd European Conference on Earthquake Engineering and Seismology (2ECEES), held in Istanbul, Turkey, from August 24 to 29, 2014. The conference was organized by the Turkish Earthquake Foundation - Earthquake Engineering Committee and Prime Ministry, Disaster and Emergency Management Presidency under the auspices of the European…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16964-4
- Collation
- VIII, 455
- Series Title
- -
- Call Number
- 624
Perspectives on European Earthquake Engineering and Seismology : Volume 1
This book collects 5 keynote and 15 topic lectures presented at the 2nd European Conference on Earthquake Engineering and Seismology (2ECEES), held in Istanbul, Turkey, from August 24 to 29, 2014. The conference was organized by the Turkish Earthquake Foundation - Earthquake Engineering Committee and Prime Ministry, Disaster and Emergency Management Presidency under the auspices of the European…
- Edition
- -
- ISBN/ISSN
- 978-3-319-07118-3
- Collation
- VIII, 650 halaman
- Series Title
- Geotechnical, Geological and Earthquake Engineering
- Call Number
- 624 PER
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography