Latakia University Library

  • Home
  • Information
  • News
  • 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
    See More
  • Language
Found 1 from your keywords: author=Garavel, Hubert
# Debug Box
/var/www/web01/web01/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 ba.biblio_id from biblio_author as ba left join mst_author as ma on ba.author_id=ma.author_id where ma.author_name 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 ba.biblio_id from biblio_author as ba left join mst_author as ma on ba.author_id=ma.author_id where ma.author_name like ?)) order by b.last_update desc limit 10 offset 0"
]
Bind Value ⚒️: array:1 [
  0 => "%Garavel, Hubert%"
]
cover
Tools and Algorithms for the construction and Analysys of Systems
Comment Share
Garavel, HubertHatcliff, John

9th International Conference, TACAS 2003 Held as part of the joint European Conferences on Theory and practice of software ETAPS, 2003 Warsaw, Poland, April 2003, Proceeding

Edition
1th
ISBN/ISSN
3540008985
Collation
-
Series Title
Lecture Notes in Computer Science
Call Number
-
Availability1
Add to basket
MARC DownloadCite
Latakia University Library
  • Information
  • Services

About Us

Search

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


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?