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
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5…
Isac, OmriIvanov, RadoslavKatz, GuyNarodytska, NinaNenzi, Laura

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th Internation…

Edition
1
ISBN/ISSN
978-3-031-21222-2
Collation
x, 205p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
511.360 Sof
Availability1
Add to basket
View DetailCite

Search Result

Found 1 from your keywords: Author : Ivanov, Radoslav
Query took 0.00098 second(s) to complete
XML ResultJSON Result

Suggestion
image
Ekofisiologi kelapa sawit
Zainal Abidin Samboe
image
OPTIMAL CONTROL OF DISCRETE SYSTEMS
Boltyanskii, V. G.
image
LANDASAN DAN TEKNIK PERUNDANG UNDANGAN
Lubis, M. Solly
image
BASIC FINANCIAL MANAGEMENT FIFTH EDITION
Keown, Arthur J - Petty, J. William - Martin, John D. - Scott Jr, David F.
image
AKUNTANSI FORENSIK & AUDIT INVESTIGATIF
Tuanakotta, Theodorus M.
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