wyszukanych pozycji: 16
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
ISBN: 9781402018329 / Angielski / Twarda / 2004 / 197 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and... Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natu...
|
|
cena:
582,32 zł |
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
ISBN: 9789048165230 / Angielski / Miękka / 2010 / 197 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and... Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natu...
|
|
cena:
582,32 zł |
Dictionary Learning in Visual Computing
ISBN: 9783031011252 / Angielski / Miękka / 2015 / 133 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The last few years have witnessed fast development on dictionary learning approaches for a set of visual computing tasks, largely due to their utilization in developing new techniques based on sparse representation. Compared with conventional techniques employing manually defined dictionaries, such as Fourier Transform and Wavelet Transform, dictionary learning aims at obtaining a dictionary adaptively from the data so as to support optimal sparse representation of the data. In contrast to conventional clustering algorithms like K-means, where a data point is associated with only one cluster...
The last few years have witnessed fast development on dictionary learning approaches for a set of visual computing tasks, largely due to their utiliza...
|
|
cena:
194,08 zł |
Machinery, Materials Science and Engineering Applications: Proceedings of the 6th International Conference on Machinery, Materials Science and Enginee
ISBN: 9781138029576 / Angielski / Twarda / 2017 / 608 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Nowadays, more and more experts and scholars are paying attention to the topics of Advanced Engineering Materials, Advanced Manufacturing and Automation Technology, Applied Mechanics and Electrical Engineering. It is very important to combine these topics together from the angle of theory and practice in the field of industrial engineering. The 2016 6th International Conference on Machinery, Materials Science and Engineering Applications (MMSE 2016) will provide a good platform once again for scientists and engineering managers to exchange their thoughts and co-operation. The newest important...
Nowadays, more and more experts and scholars are paying attention to the topics of Advanced Engineering Materials, Advanced Manufacturing and Automati...
|
|
cena:
1145,53 zł |
Advances in Engineering Materials and Applied Mechanics: Proceedings of the International Conference on Machinery, Materials Science and Engineering A
ISBN: 9780367737726 / Angielski / Miękka / 2020 / 742 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
|
cena:
239,46 zł |
Transfer Learning
ISBN: 9781107016903 / Angielski / Twarda / 2020 / 390 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
|
cena:
292,36 zł |
New Horizons in Web Search, Web Data Mining, and Web-Based Applications
ISBN: 9783725800711 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
331,16 zł |
Generalized Plasticity
ISBN: 9783642064203 / Angielski / Miękka / 2010 / 448 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Generalized Plasticity deals with the plasticity of materials and structures. It is an expansion of the "Unified Strength Theory to Plasticity Theory," leading to a unified treatment of metal plasticity and plasticity of geomaterials, generally. It includes the metal plasticity for Tresca materials, Huber-von-Mises materials and twin-shear materials and the geomaterial plasticity for Mohr-Coulomb materials, generalized twin-shear materials and the Unified Strength Theory. Generalized Plasticity deals with the plasticity of materials and structures. It is an expansion of the "Unified Strength Theory to Plasticity Theo... |
|
cena:
582,32 zł |
Logic of Domains
ISBN: 9780817635701 / Angielski / Twarda / 1991 / 260 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se mantics in the sense that the denotation of any program coincides with the set of assertions true of it. The study focuses on two categories for dena tational semantics: SFP domains, and the less standard, but important, category of stable...
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are int...
|
|
cena:
388,20 zł |
Poincaré and the Philosophy of Mathematics
ISBN: 9781349221219 / Angielski / Miękka / 1992 / 202 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is a sympathetic reconstruction of Henri Poincar's anti-realist philosophy of mathematics. Although Poincar is recognized as the greatest mathematician of the late 19th century, his contribution to the philosophy of mathematics is not highly regarded. Many regard his remarks as idiosyncratic, and based upon a misunderstanding of logic and logicism. This book argues that Poincar's critiques are not based on misunderstanding; rather, they are grounded in a coherent and attractive foundation of neo-Kantian constructivism.
This book is a sympathetic reconstruction of Henri Poincar's anti-realist philosophy of mathematics. Although Poincar is recognized as the greatest ma...
|
|
cena:
388,20 zł |
Carbon Catalysis: Preparation, Characterization and Application
ISBN: 9781032898681 / Angielski / 11-12-2024 Książka dostępna od: 11-12-2024 |
|
Planowany termin premiery książki: 11-12-2024
Książkę można już zamówić z rabatem 5% |
|
865,66 zł |
Photonic Materials for Sensing, Biosensing and Display Devices
ISBN: 9783319249889 / Angielski / Twarda / 2016 / 364 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the basics and applications of photonic materials. It focuses on the utility of these devices for sensing, biosensing, and displays. This book presents the basics and applications of photonic materials. It focuses on the utility of these devices for sensing, biosensing, and displ... |
|
cena:
388,20 zł |
Climate Finance: Supporting a Sustainable Energy Transition
ISBN: 9789819733071 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
659,97 zł |
Crisis Management in China
ISBN: 9789811687082 / Angielski / Miękka / 2023 Termin realizacji zamówienia: ok. 20 dni roboczych. This book describes various crisis situations in transitional China, and by analyzing the unique characteristics and backgrounds of emergencies and crisis, it argues that crisis management has become a major challenge for the Chinese governments. It then discusses the chronology of crisis, organizational behaviors and the decision-making processes to construct a modern crisis management system in detail, to shed light on the creation of a strategic design and institutional framework of crisis management in China. In so doing, it provides not only insights into the dynamics of crisis...
This book describes various crisis situations in transitional China, and by analyzing the unique characteristics and backgrounds of emergencies and cr...
|
|
cena:
427,02 zł |
Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 9783031121302 / Angielski / Twarda / 2022 / 245 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for ontological engineering and practice, particularly in uncovering unexpected "bugs" and content materials.The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic...
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhanc...
|
|
cena:
252,32 zł |
Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 9783031121333 / Angielski / Miękka / 2023 Termin realizacji zamówienia: ok. 20 dni roboczych. The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for ontological engineering and practice, particularly in uncovering unexpected "bugs" and content materials. The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept...The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enh... |
|
cena:
232,90 zł |