Difference between revisions of "Book chapters"
From LRDE
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | {{#ask: [[Category:Publications]] [[Publication type::incollection |
+ | {{#ask: [[Category:Publications]] [[Publication type::incollection]] |
| − | | ?Has |
+ | | ?Has bibtex id |
| − | | ?Has |
+ | | ?Has author |
| + | | ?Has title |
||
| ?Published in |
| ?Published in |
||
| ?News date#MEDIAWIKI=Date |
| ?News date#MEDIAWIKI=Date |
||
| − | | |
+ | | format = template |
| + | | template = PublicationRow |
||
| + | | introtemplate = PublicationRowIntro |
||
| + | | outrotemplate = PublicationRowOutro |
||
| sort = News date |
| sort = News date |
||
| + | | order = descending |
||
| + | | sep = |
||
}} |
}} |
||
Latest revision as of 11:14, 26 July 2018
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| barnat.18.hpcr | 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 | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
| tochon.17.chapter | 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 | Comprehensive Remote Sensing, 1st Edition | 8 November 2017 |
| verna.12.dsl | Extensible languages: blurring the distinction between DSLs and GPLs | Didier Verna | Formal and Practical Aspects of Domain-Specific Languages: Recent Developments | 1 September 2012 |
| geraud.10.livre | Morphologie et algorithmes | Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck | Morphologie mathématique 2 : estimation, choix et mise en œuvre | 1 September 2010 |
| geraud.10.book | Algorithms for Mathematical Morphology | Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck | Mathematical Morphology—From Theory to Applications | 1 July 2010 |
| duflot.06.book | Practical Application of Probabilistic Model Checking to Communication Protocols | Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston | FMICS Handbook on Industrial Critical Systems | 1 January 2006 |