Concrete Semantics
Concrete Semantics: With Isabelle/HOL eBooks & eLearning
Posted by nebulae at Jan. 20, 2015
Tobias Nipkow and Gerwin Klein, "Concrete Semantics: With Isabelle/HOL"
English | ISBN: 3319105418 | 2015 | 314 pages | PDF | 4 MB
English | ISBN: 3319105418 | 2015 | 314 pages | PDF | 4 MB
Concrete Semantics: With Isabelle/HOL eBooks & eLearning
Posted by insetes at Feb. 23, 2022
Concrete Semantics: With Isabelle/HOL By Tobias Nipkow, Gerwin Klein (auth.)
2014 | 298 Pages | ISBN: 3319105418 | PDF | 4 MB
2014 | 298 Pages | ISBN: 3319105418 | PDF | 4 MB
The Austin Protocol Compiler eBooks & eLearning
Posted by insetes at Feb. 9, 2019
The Austin Protocol Compiler By Tommy M. McGuire, Mohamed G. Gouda (auth.)
2005 | 141 Pages | ISBN: 0387232273 | PDF | 3 MB
2005 | 141 Pages | ISBN: 0387232273 | PDF | 3 MB
A Rigorous Semantics for BPMN 2.0 Process Diagrams eBooks & eLearning
Posted by roxul at March 1, 2015
Felix Kossak and Christa Illibauer, "A Rigorous Semantics for BPMN 2.0 Process Diagrams"
English | ISBN: 3319099302 | 2015 | 248 pages | PDF | 5 MB
English | ISBN: 3319099302 | 2015 | 248 pages | PDF | 5 MB
A Rigorous Semantics for BPMN 2.0 Process Diagrams eBooks & eLearning
Posted by step778 at Feb. 21, 2020
Felix Kossak, Christa Illibauer, Verena Geist, "A Rigorous Semantics for BPMN 2.0 Process Diagrams"
English | 2014 | pages: 240 | ISBN: 3319099302 | PDF | 5,2 mb
English | 2014 | pages: 240 | ISBN: 3319099302 | PDF | 5,2 mb
Handbook of Metadata, Semantics and Ontologies eBooks & eLearning
Posted by nebulae at July 30, 2015
Miguel-Angel Sicilia, Miguel-Angel Sicilia, "Handbook of Metadata, Semantics and Ontologies"
English | ISBN: 9812836292 | 2014 | 580 pages | PDF | 13 MB
English | ISBN: 9812836292 | 2014 | 580 pages | PDF | 13 MB
Words and Meanings: Lexical Semantics Across Domains, Languages, and Cultures eBooks & eLearning
Posted by interes at Sept. 20, 2014
Words and Meanings: Lexical Semantics Across Domains, Languages, and Cultures by Cliff C. Goddard and Anna A. Wierzbicka
English | 2014 | ISBN: 0199668434 | 352 pages | PDF | 1,7 MB
English | 2014 | ISBN: 0199668434 | 352 pages | PDF | 1,7 MB
In a series of cross-cultural investigations of word meaning, Cliff Goddard and Anna Wierzbicka examine key expressions from different domains of the lexicon - concrete, abstract, physical, sensory, emotional, and social.
Words and Meanings: Lexical Semantics Across Domains, Languages, and Cultures (repost) eBooks & eLearning
Posted by interes at Dec. 12, 2018
Words and Meanings: Lexical Semantics Across Domains, Languages, and Cultures by Cliff C. Goddard and Anna A. Wierzbicka
English | 2014 | ISBN: 0199668434 | 352 pages | PDF | 1,7 MB
English | 2014 | ISBN: 0199668434 | 352 pages | PDF | 1,7 MB
The Austin Protocol Compiler (Advances in Information Security) eBooks & eLearning
Posted by johinson at Feb. 27, 2010
Mohamed G. Gouda, «The Austin Protocol Compiler»
Springer | ISBN: 0387232273 | 2004 | PDF | 142 pages | 2.95 MB
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent.
The Semantics of Chinese Classifiers and Linguistic Relativity eBooks & eLearning
Posted by interes at June 16, 2017
The Semantics of Chinese Classifiers and Linguistic Relativity by Song Jiang
English, Chinese | 2017 | ISBN: 1138291331 | 230 pages | PDF | 1,7 MB
English, Chinese | 2017 | ISBN: 1138291331 | 230 pages | PDF | 1,7 MB