Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Wei Li

Filter
Filter
Ordnen nachSortieren Beliebt
  • von Wei Li
    36,00 €

    "Chi¿ska Kuchnia: Smaki Wielowiekowej Tradycji" to kulinarne arcydzie¿o stworzone przez autora o pseudonimie Wei Li, który przeniesie Ci¿ w fascynuj¿c¿ podró¿ przez smaki i tajemnice kuchni Chin.Ta inspiruj¿ca ksi¿¿ka kulinarna jest nie tylko zbiorem przepisów, ale równie¿ wspaniä¿ opowie¿ci¿ o bogatej tradycji kulinarnej Chin. Wei Li, znawca chi¿skiej kuchni, podzieli si¿ swoj¿ wiedz¿ i pasj¿ do autentycznych chi¿skich dä, które zachwyc¿ Twoje podniebienie."Chi¿ska Kuchnia" to przewodnik po ró¿norodnöci smaków, technik gotowania i regionalnych kulinarnych tradycjach Chin. Autor nie tylko prezentuje przepisy, ale tak¿e wprowadza czytelnika w fascynuj¿cy ¿wiat chi¿skiej kultury kulinarnej.Wei Li opowiada o znaczeniu symboli kulinarnych, zwyczajach spöywania posi¿ków oraz tajnikach przygotowywania wyj¿tkowych potraw. Ksi¿¿ka ta pomöe Ci zrozumie¿, dlaczego chi¿ska kuchnia jest tak niezwyk¿a i ró¿norodna.To niezast¿piony przewodnik dla mi¿öników kuchni chi¿skiej, którzy chc¿ odkrywä smaki staröytnej tradycji kulinarnej. "Chi¿ska Kuchnia: Smaki Wielowiekowej Tradycji" to nie tylko zbiór przepisów, ale tak¿e podró¿ ku kulinarnym korzeniom Chin, która zainspiruje Ci¿ do tworzenia autentycznych i smakowitych dä chi¿skich w swojej w¿asnej kuchni.

  • von Wei Li & Yuefei Sui
    170,00 €

    This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

  • von Wei Li
    147,00 - 148,00 €

    This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given.  This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 

  • von Wei Li
    88,00 €

    This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given which uses finite injury priority method in recursion theory. Moreover, two applications of R-calculus are given to default theory and semantic inheritance networks.This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.  

  • - First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings
    von Xiuzhen Cheng
    94,00 €

    This book constitutes the refereed proceedings of the First Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2006, held in Xi'an, China in August 2006. The book presents 63 revised full papers together with 2 invited keynote speech abstracts, organized in topical sections on wireless PAN and wireless LAN, wireless MAN and pervasive computing, data management, mobility, localization and topology control, performance modeling and analysis, security and more.

  • von Wei Li
    131,00 €

    This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

  • von Wei Li & Yuefei Sui
    122,00 €

    It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).

  • von Wei Li, Zhenghao Gan, Cher Ming Tan & usw.
    88,00 - 93,00 €

    This book offers a thorough understanding of the applications of finite element method (FEM) to reliability modeling and an appreciation of the strengths and weaknesses of various numerical models for interconnect reliability.

  • von Wei Li & David H. Kaplan
    68,00 - 167,00 €

    Exploring the worldwide boom in immigration, this book traces the profound changes in urban areas as various arrivals have transformed inner cities and suburbs alike into bastions of ethnic economic activity. It is useful for scholars and students in the fields of ethnic studies, urban studies, economic development, geography, and sociology.

  • - Foundations for Information Science
    von Wei Li
    46,00 €

    Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.

  • von Li Wei, Michael Henein & Michael Gatzoulis
    115,00 €

    This book provides cardiologists with access to the wealth of imaging from the Royal Brompton Hospital and National Heart and Lung Institute in London. It will enable them to improve on their own skills and refine their imaging technique.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.