Filter by
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XIX, 703
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and …
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XX, 545
- Series Title
- -
- Call Number
- -
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Som…
Sistem-Sistem Teknis (Systems-of-Systems, SoS) – dalam bentuk sistem komputasi konstituen independen yang terhubung dan bekerja sama untuk sementara waktu guna mencapai tujuan yang ditetapkan dengan baik – membentuk tulang punggung sebagian besar infrastruktur saat ini. Jaringan energi, sebagian besar sistem transportasi, industri perbankan global, sistem pasokan air, peralatan militer, ban…
- Edition
- -
- ISBN/ISSN
- 9783319475905
- Collation
- 1 online resource (270 Pages)
- Series Title
- -
- Call Number
- 004,678 BON c
Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems
This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate IC…
- Edition
- 1
- ISBN/ISSN
- 9783030107529
- Collation
- -
- Series Title
- -
- Call Number
- -
History and Cultural Memory in Neo-Victorian Fiction
A PDF version of this book is available for free in open access via the OAPEN Library platform, www.oapen.org. Arguing that neo-Victorian fiction enacts and celebrates cultural memory, this book uses memory discourse to position these novels as dynamic participants in the contemporary historical imaginary.
- Edition
- 1
- ISBN/ISSN
- IX, 222
- Collation
- -
- Series Title
- -
- Call Number
- IX, 222
Roadblocks to the Socialist Modernization Path and Transition
This open access book examines how different economic systems impacted the development of East Germany and Poland. Through comparing these countries while they were centrally planned socialist economies with the periods when they transitioned to capitalism, the inability of socialist economies to modernize effectively and produce sustained economic growth is highlighted. Particular attention is…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-37050-2
- Collation
- -
- Series Title
- Studies in Economic Transition
- Call Number
- XVI, 331
The Ndebele, Frank Oates, and Knowledge Production in the 1870s
This open access book addresses a question fundamental to the histories of empire and Africa: at the point of the colonial encounter, how was knowledge made? How did different communities, with little or no prior contact, construct meaning about one another? Amidst huge changes in the politics and economics of a continent, on the cusp of almost complete colonization at the hands of European pow…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-75964-2
- Collation
- -
- Series Title
- Cambridge Imperial and Post-Colonial Studies
- Call Number
- IX, 125
Percolation Theory Using Python
Buku teks akses terbuka berbasis kursus ini menyelidiki teori perkolasi, meneliti sifat fisik media acak—material yang dicirikan oleh berbagai ukuran lubang dan pori. Fokusnya adalah pada fondasi matematika dan metode komputasi dan statistik yang digunakan dalam bidang ini. Dirancang sebagai pengantar praktis, buku ini memberi penekanan khusus pada penyediaan seperangkat alat komputasi yang k…
- Edition
- -
- ISBN/ISSN
- 978-3-031-59900-2
- Collation
- 1 online resource (221 Pages)
- Series Title
- -
- Call Number
- 530.4 SOR p
Colloids and the Depletion Interaction
Buku akses terbuka ini memberikan eksplorasi mendalam tentang perilaku fase dan sifat antarmuka dalam campuran koloid kompleks (misalnya, tanah liat, susu, darah). Wawasan tentang koloid telah menjadi inti dari banyak inovasi di berbagai industri. Pertanyaan besar yang mendasari inovasi ini adalah bagaimana sistem koloid dapat dirumuskan dan dirancang menuju sifat yang diinginkan? Untuk melakuk…
- Edition
- -
- ISBN/ISSN
- 978-3-031-52131-7
- Collation
- 1 online resource (400 Pages)
- Series Title
- -
- Call Number
- 547.923 LEK c
Scattering Amplitudes in Quantum Field Theory
Buku akses terbuka ini menjembatani kesenjangan antara kursus pengantar Teori Medan Kuantum (QFT) dan penelitian mutakhir dalam amplitudo hamburan. Buku ini mencakup jalan dari definisi dasar QFT hingga amplitudo, yang relevan untuk proses dalam Model Standar fisika partikel. Buku ini dimulai dengan pengantar singkat namun menyeluruh tentang QFT, termasuk gravitasi kuantum perturbatif. Kemudian…
- Edition
- -
- ISBN/ISSN
- 978-3-031-46987-9
- Collation
- 1 online resource (312 Pages)
- Series Title
- -
- Call Number
- 530.14 BAD s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography