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
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…

Edition
1
ISBN/ISSN
978-3-031-19759-8
Collation
xiii, 474p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437 Lev
Availability1
Add to basket
View DetailCite
cover
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…

Edition
1
ISBN/ISSN
978-3-031-19759-8
Collation
xiii, 474p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.11 Lev
Availability1
Add to basket
View DetailCite
cover
Leveraging Applications of Formal Methods, Verification and Validation. Pract…
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…

Edition
1
ISBN/ISSN
-
Collation
xiii, 424p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437
Availability1
Add to basket
View DetailCite

Search Result

Found 3 from your keywords: Author : Margaria, Tiziana
Query took 0.0007 second(s) to complete
XML ResultJSON Result

Suggestion
image
PENGARUH PEMBERIAN MULSA ALANG-ALANG (Imperata cylindrica) TERHADAP PRODUKSI RUMPUT GAJAH (Pennisetum purpureum) SEBAGAI PAKAN TERNAK RUMINANSIA
Palinda, Evi
image
OPTIMISASI NILAI PEFORMA ANALISIS SENTIMEN MENGGUNAKAN HYPERPARAMATER TUNING DENGAN GRIDSEARCH PADA ULASAN APLIKASI SHOPEE
Al-Ghifari, Muhammad Luthfi
image
PENGARUH PENAMBAHAN NATA DE COCO TERHADAP KARAKTERISTIK FISIK, KIMIA DAN SENSORIS DODOL UBI JALAR PUTIH (Ipomoea batatas L.)
Butar Butar, Jimmi Harianto
image
RAPID MATH : TRICKS AND TIPS, 30 DAYS TO NUMBER POWER
Julius, Edward H.
image
BONDING AND STRUCTURE: structural principles in inorganic and organic chemistry
Alcock, Nathaniel Warren
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