wyszukanych pozycji: 7
![]() |
Formal Methods in Macro-Biology: First International Conference, Fmmb 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings
ISBN: 9783319103976 / Angielski / Miękka / 2014 / 183 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noumea, New Caledonia, in September 2014.
The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels. This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noumea, Ne...
|
cena:
180,36 zł |
![]() |
Recent Advances in Constraints: 12th Annual Ercim International Workshop on Constraint Solving and Contraint Logic Programming, Csclp 2007 Rocquencour
ISBN: 9783540898115 / Angielski / Miękka / 2008 / 159 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and...
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Sol...
|
cena:
187,83 zł |
![]() |
Principles and Practice of Semantic Web Reasoning: Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
ISBN: 9783540287933 / Angielski / Miękka / 2005 / 166 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - searchersfromdi?erent horizonswith the aims of de?ning newarchitecturesand languages necessary to make it possible, and of developing the ?rst applications of these concepts. This book contains the articles selected for publication and presentation at the workshop Principles and Practice of Semantic Web Reasoning PPSWR 2005, together with three invited talks. Three major aspects of Semantic Web research are represented in this selection:...
The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - sea...
|
cena:
187,83 zł |
![]() |
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and
ISBN: 9783540342151 / Angielski / Miękka / 2006 / 179 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling. This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solvin... |
cena:
187,83 zł |
![]() |
Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
ISBN: 9783642032509 / Angielski / Miękka / 2009 / 147 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and the e?ective solving of largecombinatorialproblems. Basedonastrongtheoreticalfoundation, itisincreasinglyattractingcommercial interest. Since the 1990s, CP has been deployed by many industry leaders, in particular to model heterogeneous optimization and satisfaction problems. - amples of application domains where such problems naturally arise, and where constraint programming has made a valuable contribution, are scheduling, p- duction planning, communication networks, routing, planning of...
Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and the e?ective solving of largecombinatorialproblems. ...
|
cena:
187,83 zł |
![]() |
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selecte
ISBN: 9783540251767 / Angielski / Miękka / 2005 / 217 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed and extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004. Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop. The 15 revised full papers were carefully reviewed and selected from 30submissions. The papers are organized in topical sections on constraint propagation, constraint search, and applications.
This book constitutes the thoroughly refereed and extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction an...
|
cena:
187,83 zł |
![]() |
Journal on Data Semantics VIII
ISBN: 9783540706632 / Angielski / Miękka / 2007 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Semantic caching Data warehousing and semantic data mining Spatial, temporal, multimedia and multimodal semantics Semantics in data visualization Semantic services for mobile users Supporting tools Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not from the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is...
Semantic caching Data warehousing and semantic data mining Spatial, temporal, multimedia and multimodal semantics Semantics in data visualization Sema...
|
cena:
187,83 zł |