OPEN EDUCATIONAL RESOURCES

UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

  • Home
  • Admin
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1974 from your keywords: subject="PR"
First Page Previous 11 12 13 14 15 Next Last Page
cover
Programming Languages and Systems: 31st European Symposium on Programming, ES…
Comment Share
SERGEY, Ilya

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…

Edition
-
ISBN/ISSN
978-3-030-99336-8
Collation
XIV, 604
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
Comment Share
Shoham, SharonVizel, Yakir

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …

Edition
1
ISBN/ISSN
9783031131882
Collation
XIX, 549
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
Comment Share
CHOCKLER, HanaWEISSENBACHER, Georg

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
9783319961453
Collation
XIX, 703
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Evidence Based Global Health Manual for Preterm Birth Risk Assessment
Comment Share
Anumba,Dilly OCJayasooriya,Shamanthi M.

This is an open access book. In this open access book the NIHR Global Health research group on preterm birth, PRIME, prioritizes the development of prenatal risk assessment guidance for preterm birth. This book is based on global literature, published international, national and regional guidance and it is structured into six chapters providing: an overview of the domains for risk ass…

Edition
-
ISBN/ISSN
978-3-031-04462-5
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Obstructions in Security-Aware Business Processes
Comment Share
Holderer,Julius

This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of …

Edition
-
ISBN/ISSN
978-3-658-38154-7
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Sterile Insect Technique : Principles And Practice In Area-Wide Integrated Pe…
Comment Share
Dyck, Victor A.,Hendrichs, JorgeRobinson, A.S.,

The sterile insect technique (SIT) is an environment-friendly method of pest control that integrates well into area-wide integrated pest management (AW-IPM) programmes. This book takes a generic, thematic, comprehensive, and global approach in describing the principles and practice of the SIT. The strengths and weaknesses, and successes and failures, of the SIT are evaluated openly and fairly f…

Edition
-
ISBN/ISSN
9781003035572
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Women and Reproductive Technologies : The Socio-Economic Development of Techn…
Comment Share
Burfoot, AnnetteGüngör, Derya

A sociological and historical study of the development of reproductive technologies, this book focuses on key technological developments through a biomedicalization lens with special attention to gender. Using in vitro fertilization (IVF) as a hub, it critically examines the main areas of related socio-technical developments: reproductive science, birth control, animal husbandry, genetics and r…

Edition
-
ISBN/ISSN
9780429467646
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Area-wide Integrated Pest Management : Development and Field Application
Comment Share
HENDRICHS,JorgePEREIRA,RuiVREYSEN,Marc J.B

Over 98% of sprayed insecticides and 95% of herbicides reach a destination other than their target species, including non-target species, air, water and soil. The extensive reliance on insecticide use reduces biodiversity, contributes to pollinator decline, destroys habitat, and threatens endangered species. This book offers a more effective application of the Integrated Pest Management (IPM) a…

Edition
-
ISBN/ISSN
9781003169239
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Food system transformations : social movements, local economies, collaborativ…
Comment Share
Kropp, CordulaKomar, Irene AntoniSage, Colin

Buku ini mengkaji peran gerakan, perusahaan, dan jaringan pangan lokal dalam transformasi sistem pangan global yang saat ini tidak berkelanjutan. Buku ini mengeksplorasi serangkaian inovasi yang dirancang untuk mengintegrasikan kembali cara produksi pangan yang berkelanjutan dan mendorong kedaulatan pangan. Buku ini memberikan wawasan terperinci tentang jaringan khusus pelaku sosial yang berkol…

Edition
-
ISBN/ISSN
9781003131304
Collation
1 online resource (234 Pages)
Series Title
-
Call Number
338.1 KRO f
Availability0
Add to basket
MARC DownloadCite
cover
UN human rights institutions and the environment : synergies, challenges, tra…
Comment Share
Atapattu, Sumudu

Buku ini menyajikan analisis mendalam tentang bagaimana lembaga dan mekanisme hak asasi manusia PBB menangani perlindungan lingkungan, pembangunan berkelanjutan, dan perubahan iklim. Meskipun keterlibatan badan-badan hak asasi manusia PBB dalam menangani degradasi lingkungan dan perubahan iklim semakin meningkat, tinjauan sistematis tentang konvergensi antara hak asasi manusia dan lingkungan da…

Edition
-
ISBN/ISSN
9781003128847
Collation
1 online resource. (346 Pages)
Series Title
-
Call Number
341.2422 ATA u
Availability0
Add to basket
MARC DownloadCite
First Page Previous 11 12 13 14 15 Next Last Page
OPEN EDUCATIONAL RESOURCES

Search

start it by typing one or more keywords for title, author or subject


Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?