Difference between revisions of "Book chapters"
From LRDE
(Created page with "{{#ask: Category:Publications Publication type::incollection | ?Has author = Authors | ?Has title = Title | ?Published in | ?News date#MEDIAWIKI=Date | order = descend...") |
|||
Line 1: | Line 1: | ||
− | {{#ask: [[Category:Publications]] [[Publication type::incollection]] |
+ | {{#ask: [[Category:Publications]] [[Publication type::incollection]] [[Published has news::true]] |
| ?Has author = Authors |
| ?Has author = Authors |
||
| ?Has title = Title |
| ?Has title = Title |
Revision as of 12:08, 7 March 2014
Authors | Title | Published in | Date | |
---|---|---|---|---|
Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Jiri Barnat Vincent Bloemen Alexandre Duret-Lutz Alfons Laarman Laure Petrucci Jaco van de Pol Etienne Renault | Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis | Guillaume Tochon Mauro Dalla Mura Philippe Salembier Jocelyn Chanussot Miguel-Angel Veganzones Silvia Valero | Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis | Comprehensive Remote Sensing, 1st Edition | 8 November 2017 |
Extensible languages: blurring the distinction between DSLs and GPLs | Didier Verna | Extensible languages: blurring the distinction between DSLs and GPLs | Formal and Practical Aspects of Domain-Specific Languages: Recent Developments | 1 September 2012 |
Morphologie et algorithmes | Thierry Géraud Hugues Talbot Marc Van Droogenbroeck | Morphologie et algorithmes | Morphologie mathématique 2 : estimation, choix et mise en œuvre | 1 September 2010 |
Algorithms for Mathematical Morphology | Thierry Géraud Hugues Talbot Marc Van Droogenbroeck | Algorithms for Mathematical Morphology | Mathematical Morphology—From Theory to Applications | 1 July 2010 |
Practical Application of Probabilistic Model Checking to Communication Protocols | Marie Duflot Marta Kwiatkowska Gethin Norman Dave Parker Sylvain Peyronnet Claudine Picaronny Jeremy Sproston | Practical Application of Probabilistic Model Checking to Communication Protocols | FMICS Handbook on Industrial Critical Systems | 1 January 2006 |