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
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
Johnsen, Einar BrochAhrendt, WolfgangBeckert, BernhardBubel, Richard

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technolo…

Edition
1
ISBN/ISSN
978-3-031-08166-8
Collation
xii, 521p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437 The
Availability1
Add to basket
View DetailCite

Search Result

Found 1 from your keywords: Author : Beckert, Bernhard
Query took 0.0006 second(s) to complete
XML ResultJSON Result

Suggestion
image
DAMPAK JAMUR ENDOFIT TERHADAP KELIMPAHAN DAN KEANEKARAGAMAN SPESIES SERANGGA PENYERBUK PADA TANAMAN JAGUNG
Prima, M. Windra
image
KERANGKA TEORI DAN ILMU ADMINISTRASI NEGARA
Makmur, Makmur - Thahier, Rohana
image
Prosiding Simposium V Tanaman Pangan : Inovasi Teknologi Tanaman Pangan, Buku 3 ; Penelitian dan Pengembangan Palawija
Hermanto, Hermanto - Zaini, Zulkifli - Kasim, Firdaus - Sunihardi, Sunihardi
image
PENGARUH KOMPOSISI MEDIA TANAM DAN WAKTU PINDAH TANAM TERHADAP PERTUMBUHAN DAN HASIL TANAMAN SAWI PAGODA
Nayatami, Kirana Luthfia
image
Kacang Hijau: BUDI DAYA DAN PASCAPANEN
Rukmana, Rahmat
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