Filter by
Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- 978-3-030-53288-8
- Collation
- 1 online resource (XVII, 669 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (XVIII, 683 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Reversible Computation: Extending Horizons of Computing, Selected Results of …
Survei Mutakhir akses terbuka ini menyajikan hasil ilmiah utama terkini di bidang komputasi reversibel, dengan fokus pada hasil yang muncul selama COST Action IC1405 "Komputasi Reversibel - Memperluas Cakrawala Komputasi", jaringan penelitian Eropa yang beroperasi dari Mei 2015 hingga April 2019. Komputasi reversibel adalah paradigma baru yang memperluas mode komputasi maju-saja tradisional den…
- Edition
- -
- ISBN/ISSN
- 978-3-030-47361-7
- Collation
- 1 online resource (XIV, 237 Pages)
- Series Title
- -
- Call Number
- 004.35 ULI r
Continuous Cover Forestry in Boreal Nordic Countries
This open access book compiles the latest research on continuous cover forestry in boreal forests, highlighting both the need for additional information and the exciting possibilities that this method presents. Experts in the field explore topics such as forest regeneration, genetic effects, wood production and yield, wood harvesting, forest damage agents, biodiversity, water effects, carbon cy…
- Edition
- -
- ISBN/ISSN
- 9783031704840
- Collation
- X, 292
- Series Title
- -
- Call Number
- -
Visualization of Time-Oriented Data
This is an open access book. Time is an exceptional dimension with high relevance in medicine, engineering, business, science, biography, history, planning, or project management. Understanding time-oriented data via visual representations enables us to learn from the past in order to predict, plan, and build the future. This second edition builds upon the great success of the first editi…
- Edition
- -
- ISBN/ISSN
- 9781447175278
- Collation
- XIX, 441
- Series Title
- -
- Call Number
- -
From Opinion Mining to Financial Argument Mining
Opinion mining is a prevalent research issue in many domains. In the financial domain, however, it is still in the early stages. Most of the researches on this topic only focus on the coarse-grained market sentiment analysis, i.e., 2-way classification for bullish/bearish. Thanks to the recent financial technology (FinTech) development, some interdisciplinary researchers start to involve in the…
- Edition
- -
- ISBN/ISSN
- 978-981-16-2881-8
- Collation
- X, 95
- Series Title
- SpringerBriefs in Computer Science (BRIEFSCOMPUTER)
- Call Number
- 001 CHE o
Strategic Opportunism: What Works in Africa : Twelve Fundamentals for Conserv…
This open access book. provides a synthesis of six projects, across ten countries, each of which have been sustained for two or more decades, and which illustrate how success can be achieved regardless of systems of governance, of a nation’s wealth, or of culture. Detailed narratives are presented on the key personalities that have conceived, conducted and concluded long-term projects: person…
- Edition
- -
- ISBN/ISSN
- 978-3-031-24880-1
- Collation
- XVI, 142
- Series Title
- SpringerBriefs in Environmental Science (BRIEFSENVIRONMENTAL)
- Call Number
- 362 HUN s
Healthcare and Disease Burden in Africa : The Impact of Socioeconomic Factors…
This open access book evaluates African healthcare systems from multiple perspectives. By examining empirical data from various African countries, it analyzes the effects of socioeconomic factors such as urbanization, population growth, and education on various health indicators, including the situation of health professionals, patients's decision making, health resource distribution, mortality…
- Edition
- -
- ISBN/ISSN
- 978-3-031-19719-2
- Collation
- VIII, 136
- Series Title
- SpringerBriefs in Economics (BRIEFSECONOMICS)
- Call Number
- 362 NIO h
Continental Philosophy of Technoscience
The key objective of this volume is to allow philosophy students and early-stage researchers to become practicing philosophers in technoscientific settings. Zwart focuses on the methodological issue of how to practice continental philosophy of technoscience today. This text draws upon continental authors such as Hegel, Engels, Heidegger, Bachelard and Lacan (and their fields of dialectics, p…
- Edition
- -
- ISBN/ISSN
- 978-3-030-84570-4
- Collation
- VII, 245
- Series Title
- Philosophy of Engineering and Technology (POET, volume 38)
- Call Number
- 500 ZWA c
The Prehistoric Maritime Frontier of Southeast China : Indigenous Bai Yue and…
This open access book presents multidisciplinary research on the cultural history, ethnic connectivity, and oceanic transportation of the ancient Indigenous Bai Yue (百越) in the prehistoric maritime region of southeast China and southeast Asia. In this maritime Frontier of China, historical documents demonstrate the development of the “barbarian” Bai Yue and Island Yi (岛夷) and their …
- Edition
- 1
- ISBN/ISSN
- 9789811640797
- Collation
- XXIII, 264 hlm,: ill, lamp;
- Series Title
- 4
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography