wyszukanych pozycji: 13
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:
184,64 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:
576,96 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:
192,30 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:
494,87 zł |
Pseudomonas Aeruginosa: Comparision from Different Environments
ISBN: 9783659313301 / Angielski / Miękka / 2013 / 156 str. Termin realizacji zamówienia: ok. 13-18 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:
290,00 zł |
Photovoltaic Thermal Passive House System: Basic Principle, Modeling, Energy and Exergy Analysis
ISBN: 9781032047010 / Angielski / 04-10-2024 Książka dostępna od: 04-10-2024 |
|
Planowany termin premiery książki: 04-10-2024
Książkę można już zamówić z rabatem 5% |
|
293,90 zł |
Computational Intelligence for Information Retrieval
ISBN: 9780367680800 / Angielski / Twarda / 2021 / 278 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
|
cena:
567,28 zł |
Computational Intelligence for Information Retrieval
ISBN: 9780367680831 / Angielski / 07-10-2024 Książka dostępna od: 07-10-2024 |
|
Planowany termin premiery książki: 07-10-2024
Książkę można już zamówić z rabatem 5% |
|
225,32 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:
576,96 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:
696,20 zł |
Smart Healthcare Monitoring Using Iot with 5g: Challenges, Directions, and Future Predictions
ISBN: 9780367775308 / Angielski / 07-10-2024 Książka dostępna od: 07-10-2024 |
|
Planowany termin premiery książki: 07-10-2024
Książkę można już zamówić z rabatem 5% |
|
225,32 zł |
Advanced Engine Diagnostics
ISBN: 9789811332746 / Angielski / Twarda / 2018 / 253 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
538,49 zł |
Interactions of Metals with Clays in Aqueous Suspensions
ISBN: 9783659137792 / Angielski / Miękka / 2012 / 692 str. Termin realizacji zamówienia: ok. 13-18 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:
388,30 zł |