Sebanyak 78 item atau buku ditemukan

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,
2002, Revised Selected Papers M. Leuschel, LOPSTR (Symposium), Spain)
Lopstr 200 (2002 Madrid. Two Variables per Linear Inequality as an Abstract
Domain ...

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

In this paper we present a procedure for representing the semantics of linear
hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate
analysis and verification of LHAs can then be performed using generic CLP ...

Reize in en door het kanaal

in de jaren 1785 en 1786 : Met platen

... geweld aan te doen en dit had welhaast ten gevolge , dat wij op nieuw zoo Jek
werden, dat er twee en driemaal in de wacht moest lens gepompt worden en ik
met overleg van den Commandant , befloot , om in Engeland binnen te loopen.

The Malay Hikayat Miʿrāj Nabi Muḥammad

The Prophet Muḥammad’s Nocturnal Journey to Heaven and Hell. Text and Translation of Cod. Or. 1713 in the Library of Leiden University

The Malay version of The Prophet Muḥammad’s Nocturnal Journey to Heaven and Hell has never been published in Malay or in English Translation. The book wants to enhance interest in this important text in the global Islamic literary tradition.

Muhammad. Transcription of Manuscript Cod. Or. 1713 in the Library of Leiden
University Th. C. van der Meij and N. Lambooij Alamat inilah hikayat yang
empunya bapa Busu(a)k di Tinggi1 orang Bali tulen. Bismillah all-rahman all-
rahim ...

Isu-isu semasa dalam perbankan Islam

prosiding Dialog Cendekiawan Syariah Antarabangsa 2006, 16-17 Syawal 1427

The Trading World of Asia and the English East India Company

1660-1760

This book offers a comprehensive history of the English East India Company during the century 1660-1760.

Amanat P.J.M. Ir. Soekarno setelah dinobatkan sebagai Presiden Pertama Republik Indonesia serikat

pada tanggai 17 Desember 1949, djam 10,45 di Jogjakarta

Kembali ke jatidiri bangsa

Sumpah Pemuda Indonesia, Proklamasi 17 Agustus 1945, Pancasila, dan Undang-Undang Dasar 1945 : sejarah, filsafat, dan refleksi pemikiran kebangsaan

Historical analysis of national and political development of Indonesia.

... buah prinsip itu oleh Bung Karno diusulkan namanya ialah: Pancasila.
Pancasila berasal dari dua kata bahasa Sanskrit, yang artinya masing-masing:
Panca artinya lima, dan sila artinya asas atau dasar. "Jadi di atas Philosofische
GrondslagPancasila, di atas kelima dasar itulah, kita mendirikan dan
membangun Negara Indonesia Merdeka! Insya Allah, kekal dan abadi !"
Demikian Bung Karno." Tepuk tangan riuh membahana dalam gedung
persidangan menyambut usul Bung |I39 ...

Symbolic and Quantitative Approaches to Uncertainty

European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings

This collection of papers reflects the state of the art of Uncertainty Management Systems in Europe. The papers address such topics as nonmonotonic logics, modal logics, probability theory, belief function theory, and fuzzy sets and possibility theory.

Following the method presented in Adlassnig annd Kolarz (1982), the computed
numerical values are: very low = 0.1 low = 0.25 , medium = 0.5 , high = 0.75 , high
= 0.75 , very high = 0.9 . The examples considered were clinical cases of female
subjects diagnosed as postmenopausal and senile osteoporosis. Background
knowledge, in the form of rules, has been used to prune the antecedent
explosion for each diagnostic subclass considered. Results obtained for each
diagnostic ...