Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=Blanchette, Jasmin
# 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" => "'+Blanchette, Jasmin'"
]
cover
Automated reasoning
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
1
ISBN/ISSN
9783031107696
Collation
xv; 756 PG; ill.
Series Title
Lecture Notes in Computer Science
Call Number
006.3 AUT a
cover
The World We Want to Live in : Compendium of Digitalisation, Digital Networks…
Schmiedchen, FrankKratzer, Klaus PeterLink, Jasmin S. A.StapfFiné, Heinz

Digitalisation, digital networks, and artificial intelligence are fundamentally changing our lives! We must understand the various developments and assess how they interact and how they affect our regular, analogue lives. What are the consequences of such changes for me personally and for our society? Digital networks and artificial intelligence are seminal innovations that are going to permeat…

Edition
-
ISBN/ISSN
9783832553654
Collation
295p.
Series Title
-
Call Number
004 WOR s