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...")
 
 
(3 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 author = Authors
+
| ?Has bibtex id
| ?Has title = Title
+
| ?Has author
  +
| ?Has title
 
| ?Published in
 
| ?Published in
 
| ?News date#MEDIAWIKI=Date
 
| ?News date#MEDIAWIKI=Date
| order = descending
+
| format = template
  +
| template = PublicationRow
  +
| introtemplate = PublicationRowIntro
  +
| outrotemplate = PublicationRowOutro
 
| sort = News date
 
| sort = News date
  +
| order = descending
  +
| sep =
 
}}
 
}}

Latest revision as of 10: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