UIN SULTANAH NAHRASIYAH LHOKSEUMAWE DIGITAL LIBRARY

Open Educational Resources (OER)

  • Home
  • What are OER
  • Help
  • News
  • 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}}

Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: subject="Software engineering"
# Debug Box
/home/adminoer/public_html/lib/SearchEngine/DefaultEngine.php:615 "Search Engine Debug 🔎 🪲"
Engine Type ⚙️: "SLiMS\SearchEngine\DefaultEngine"
SQL ⚙️: array:2 [
  "count" => "select count(distinct b.biblio_id) from biblio as b left join mst_publisher as mp on b.publisher_id=mp.publisher_id left join mst_place as mpl on b.publish_place_id=mpl.place_id where b.opac_hide=0 and (b.biblio_id in(select bt.biblio_id from biblio_topic as bt left join mst_topic as mt on bt.topic_id=mt.topic_id where mt.topic like ?))"
  "query" => "select b.biblio_id, b.title, b.image, b.isbn_issn, b.publish_year, mp.publisher_name as `publisher`, mpl.place_name as `publish_place`, b.labels, b.input_date, b.edition, b.collation, b.series_title, b.call_number from biblio as b left join mst_publisher as mp on b.publisher_id=mp.publisher_id left join mst_place as mpl on b.publish_place_id=mpl.place_id where b.opac_hide=0 and (b.biblio_id in(select bt.biblio_id from biblio_topic as bt left join mst_topic as mt on bt.topic_id=mt.topic_id where mt.topic like ?)) order by b.last_update desc limit 20 offset 0"
]
Bind Value ⚒️: array:1 [
  0 => "%Software engineering%"
]
cover
Autonomous control for a reliable internet of services :methods, models, appr…
Comment Share
Ganchev, Ivanvan den Berg, Hansvan der Mei, R. D.

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…

Edition
-
ISBN/ISSN
9783319904153
Collation
xvi, 400p. : ill.
Series Title
-
Call Number
004.678 AUT a
Availability0
Add to basket
MARC DownloadCite
cover
Automated reasoning
Comment Share
Pattinson, DirkKovács, LauraBlanchette, Jasmin

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…

Edition
-
ISBN/ISSN
9783031107696
Collation
xv; 756 PG; ill.
Series Title
-
Call Number
006.3 AUT a
Availability0
Add to basket
MARC DownloadCite
UIN SULTANAH NAHRASIYAH LHOKSEUMAWE DIGITAL LIBRARY
  • Information
  • Services
  • Librarian
  • Member Area

About Us

Pengelolaan Perpustakaan UIN Sultanah Nahrasiyah Lhokseumawe dilaksanakan sesuai dengan Standar Nasional Perpustakaan (SNP), dimana pada tahun 2024 Perpustakaan UIN Sultanah Nahrasiyah Lhokseumawe telah mendapatkan Akreditasi A oleh Perpustakaan Nasional RI. Portal Open Educational Resources (OER) Perpustakaan UIN Sultanah Nahrasiyah Lhokseumawe adalah untuk menyimpan bahan ajar seperti E-Book, Audio, Video dan Image yang berlesensi Creative Commons BY untuk menunjang pelayanan kapada pemustaka.

Search

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

Keep SLiMS Alive Want to Contribute?

© 2026 — Perpustakaan UIN Sultanah Nahrasiyah Lhokseumawe

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
Where do you want to share?