The Sriwijaya University Library

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Login
  • Member Area
  • 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}}
cover
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
Silva, AlexandraLeino, K. Rustan M.

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.…

Edition
1
ISBN/ISSN
978-3-030-81685-8
Collation
xxiv, 922p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.14 Com
Availability1
Add to basket
View DetailCite
cover
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
Silva, AlexandraLeino, K. Rustan M.

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.…

Edition
1
ISBN/ISSN
978-3-030-81688-9
Collation
xxiii, 940p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.14 Com
Availability1
Add to basket
View DetailCite

Search Result

Found 2 from your keywords: Author : Silva, Alexandra
Query took 0.00162 second(s) to complete
XML ResultJSON Result

Suggestion
image
PENGARUH PENGGUNAAN PELARUT POLAR TERHADAP KANDUNGAN LOVASTATIN DAN AKTIVITAS ANTIOKSIDAN EKSTRAK BEKASAM IKAN SELUANG DENGAN PENAMBAHAN STARTER Lactobacillus acidophilus
Liastri, Yona
image
NILAI KREATIF SISWA PADA MODEL PROBLEM BASED LEARNING MENGGUNAKAN SOAL AKM NUMERASI MATERI ARITMETIKA SOSIAL DI SMP
Safei, Safei
image
DAMPAK PANDEMI COVID-19: Presfektif Adaptasi dan Resiliensi Sosial Ekonomi Pertanian
Sudaryanto, Tahlim - Suryana, Ahmad - Rusastra, I Wayan - Pasaribu, Sahat
image
ANALISIS FAKTOR-FAKTOR YANG MEMPENGARUHI BELANJA PEMERINTAH DI KOTA PRABUMULIH
Fatimah, Nova
image
KARAKTERISTIK MASYARAKAT YANG MENGALAMI KEJADIAN NYERI MUSKULOSKELETAL DI RT 26 RW 08 KELURAHAN SEKIP JAYA PALEMBANG
Trisanti, Al Qarana
The Sriwijaya University Library
  • Information
  • Services
  • Librarian
  • Member Area

About Us

As a complete Library Management System, SLiMS (Senayan Library Management System) has many features that will help libraries and librarians to do their job easily and quickly. Follow this link to show some features provided by SLiMS.

Search

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

Keep SLiMS Alive Want to Contribute?

© 2025 — Senayan Developer Community

Powered by SLiMS
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