Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Chockler, Hana
# Debug Box 
/var/www/htdocs/pustaka-digital/lib/SearchEngine/SearchBiblioEngine.php:688 "Search Engine Debug 🔎 🪲"

Engine Type ⚙️: "SLiMS\SearchEngine\SearchBiblioEngine"

SQL ⚙️: array:2 [
  "count" => "select count(sb.biblio_id) from search_biblio as sb where sb.opac_hide=0 and ((match (sb.author) against (:author in boolean mode)))"
  "query" => "select sb.biblio_id, sb.title, sb.author, sb.topic, sb.image, sb.isbn_issn, sb.publisher, sb.publish_place, sb.publish_year, sb.labels, sb.input_date, sb.edition, sb.collation, sb.series_title, sb.call_number from search_biblio as sb where sb.opac_hide=0 and ((match (sb.author) against (:author in boolean mode))) order by sb.last_update desc limit 10 offset 0"
]

Bind Value ⚒️: array:1 [
  ":author" => "'+Chockler, Hana'"
]
cover
Computer aided verification
Chockler, Hana

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and tec…

Edition
-
ISBN/ISSN
9783319961453
Collation
pages cm
Series Title
-
Call Number
004 CHO c