Sadri s (11 Ergebnisse)

Zustand: New. pp. 200.

Zustand: New. pp. 590.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 191.

Zustand: Used. pp. 191.

Zustand: New. In.

Paperback. Zustand: Brand New. reprint edition. 200 pages. 9.25x6.10x0.46 inches. In Stock.

Zustand: New. Human Aspects in Ambient Intelligence Editor(s): Bosse, Tibor; Cook, Diane J.; Neerincx, Mark; Sadri, Fariba. Series: Atlantis Ambient and Pervasive Intelligence. Num Pages: 180 pages, 58 black & white illustrations, 20 black & white tables, 1 colour tables, biography. BIC Classification: UBH; UGK; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438. . 2013. Hardback. . . . . Books ship from the US and Ireland.…

paperback. Zustand: Gut. 204 Seiten; 9783540198123.3 Gewicht in Gramm: 500.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term 'information systems' is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is 'formal modeling'. An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from 'outside in'; that is, the aggregation of ideas is around real-life objects about which the system is to be designed. Formal methods yhen applied with this view in mind, especially during early stages of system development, can lead to a formal reasoning on the intended properties, thus revealing system flaws that might otherwise be discovered much later. Logic in different styles and semantics is being used to model databases and their transactions; it is also used to specify concurrent, distributed, real-time, and reactive systems. ,The notion of 'object' is central to the modeling of object oriented databases, as well as object-oriented design and programs in software engineering. Both database and software engineering communities have undoubtedly made important contributions to formalisms based on logic and objects. It is worthwhile bringing together the ideas developed by the two communities in isolation, and focusing on integrating their common strengths.…

Kein Einband. Zustand: Befriedigend. ad 1: Muhammad Imam Birgivi (27 March 1522 15 March 1573) was a Muslim scholar and moralist who lived during the height of the Ottoman Empire and whose texts are used to this day as manuals of spiritual practice throughout the Muslim world. His full name, in Arabic, is Taqi al-Din Muhammad Ibn Pir ʿAli al-Birkawi. Born Muhammad ibn Pir ʿAli, in Balikesir, Ottoman Empire, in 1522, Muhammad was sent to the capital Istanbul to study theology as a young man. He studied law under the chief military judge (kazasker) of the Ottoman Empire, became a dervish and attached himself to a Sufi master of the Bayramiyyah order. After working as a judge for a short period in Edirne, Birgivi became an ascetic, resigned from his government post and returned his salary. Imam Birgivi is known to be the author of some the twenty-seven works dealing with theology, the art of reciting the Qurʾan, dogmatics and various legal issues. He is most famous for his catechism in Turkish entitled Risale-i Birgivi, also known as the Vasiyetname, available in many printed editions, and translated into several European languages. ad 2: Şeyh 'Aliyyü's- Sadri el-Konevi was one of the most influential thinkers in Sufi philosophy. He wrote a commentary on Birgivi's Vasiyetname. Several other authors have also produced commentaries on this work. One of these works is that of Şeyh 'Aliyyü's- Sadri el-Konevi's, which is concerned primarily with issues of faith, worship, and ethics "Two Manuscripts in Ottoman Turkish (1) Copied by Sakir bin Mahmud, 1217 [1802] 156 leaves, 21 x 15 cm and (2) Copied by Ahmed es-Sehid Tahir Hac Mehmed Efendizade, 1133 [1720] 200 leaves, 20 x 13 cm.".…