topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 16
 |
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa
ISBN: 9783319141244 / Angielski / Miękka / 2014 / 237 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based...
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Tra...
|
cena:
187,64 zł |
 |
Māyā In the Bhāgavata Purāṇa: Human Suffering and Divine Play
ISBN: 9780198856993 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
503,37 zł |
 |
Multiprocessor Execution of Logic Programs
ISBN: 9781461362005 / Angielski / Miękka / 2012 / 243 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independent and-parallelism and dependent...
Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Pro...
|
cena:
586,33 zł |
 |
Practical Aspects of Declarative Languages: First International Workshop, Padl'99, San Antonio, Texas, Usa, January 18-19, 1999, Proceedings
ISBN: 9783540655275 / Angielski / Miękka / 1999 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers, practitioners and implementors...
Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the sam...
|
cena:
195,42 zł |
 |
Pseudomonas Aeruginosa: Comparision from Different Environments
ISBN: 9783659313301 / Angielski / Miękka / 2013 / 156 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Pseudomonas aeruginosa is a ubiquitous highly versatile and the second most important opportunistic pathogen which causes variety of infections in humans as well as in animals. Out of 296 samples processed in the present investigation, 64 P. aeruginosa isolates were obtained from clinical, non-clinical and environmental sources. Upon phenotypic analysis, Most of the isolates gave comparable results except for aesculin hydrolysis (positive for 50% of the environmental that too soil isolates) and for rhamnolipid production (negative for 50% of clinical isolates). Upon resistotyping, Polymyxin...
Pseudomonas aeruginosa is a ubiquitous highly versatile and the second most important opportunistic pathogen which causes variety of infections in hum...
|
cena:
271,34 zł |
 |
Photovoltaic Thermal Passive House System: Basic Principle, Modeling, Energy and Exergy Analysis
ISBN: 9781032047010 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
314,76 zł |
 |
Computational Intelligence for Information Retrieval
ISBN: 9780367680831 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
241,30 zł |
 |
Computational Intelligence for Information Retrieval
ISBN: 9780367680800 / Angielski / Twarda / 2021 / 278 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
577,15 zł |
 |
VLSI for Embedded Intelligence: Proceedings of the 27th International Symposium, Vdat 2023
ISBN: 9789819737550 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
781,79 zł |
 |
Logic Programming and Nonmonotonic Reasoning: 17th International Conference, Lpnmr 2024, Dallas, Tx, Usa, October 11-14, 2024, Proceedings
ISBN: 9783031742088 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
508,15 zł |
 |
Numerical Simulation of Buoyancy Induced Flame Through a Combustor
ISBN: 9786204210445 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. As we know that, the combustion phenomenon is complicated to understand. The present research is aimed to conduct a comprehensive scientific study of wood-volatile combustion phenomena for a specific vertical combustor design and analyze various findings to improve the vertical combustor performance. The present report is an effort in continuation to have insights on CFD of combustion Phenomena. The CFD simulation can predict the behaviour of the combustion, which is the air-fuel mixture properties and how the burnt air leaves the combustion. Thus, it can provide a clear view of the...
As we know that, the combustion phenomenon is complicated to understand. The present research is aimed to conduct a comprehensive scientific study of ...
|
cena:
252,48 zł |
 |
Smart Healthcare Monitoring Using Iot with 5g: Challenges, Directions, and Future Predictions
ISBN: 9780367775292 / Angielski / Twarda / 2021 / 262 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
708,33 zł |
 |
Smart Healthcare Monitoring Using Iot with 5g: Challenges, Directions, and Future Predictions
ISBN: 9780367775308 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
241,30 zł |
 |
Multiprocessor Execution of Logic Programs
ISBN: 9780792394891 / Angielski / Twarda / 1994 / 243 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independent and-parallelism and dependent...
Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Pro...
|
cena:
586,33 zł |
 |
Advanced Engine Diagnostics
ISBN: 9789811332746 / Angielski / Twarda / 2018 / 253 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
547,24 zł |
 |
Interactions of Metals with Clays in Aqueous Suspensions
ISBN: 9783659137792 / Angielski / Miękka / 2012 / 692 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. The tremendous increase in the use of heavy metals over the past few decades has inevitably resulted in an increased flux of metallic substances in aquatic environment. The elimination of heavy metals from wastewater is of utmost importance to protect public health. Adsorption process is promising in this regard as it achieves higher level of removal over a wider range of solution concentrations and generally reduce the quantity of solid residual that need to be disposed of. The present work has been designed for using natural and modified clays as adsorbents with the objectives, namely (i)...
The tremendous increase in the use of heavy metals over the past few decades has inevitably resulted in an increased flux of metallic substances in aq...
|
cena:
363,32 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
