Formal Models

Representing Space in Cognition: Interrelations of behaviour, language, and formal models (repost)

Representing Space in Cognition: Interrelations of behaviour, language, and formal models (Explorations in Language and Space, Book 8) by Thora Tenbrink, Jan M. Wiener and Christophe Claramunt
English | 2013 | ISBN: 0199679916 | 352 pages | PDF | 5,2 MB

Formal Models and Techniques for Analyzing Security Protocols  eBooks & eLearning

Posted by roxul at Nov. 6, 2016
Formal Models and Techniques for Analyzing Security Protocols

V. Cortier, S. Kremer, "Formal Models and Techniques for Analyzing Security Protocols"
English | ISBN: 1607507137 | 2011 | 312 pages | PDF | 2 MB

Analogies and Theories: Formal Models of Reasoning  eBooks & eLearning

Posted by ksveta6 at Oct. 10, 2016
Analogies and Theories: Formal Models of Reasoning

Analogies and Theories: Formal Models of Reasoning (Lipsey Lectures) by Itzhak Gilboa, Larry Samuelson, David Schmeidler
2015 | ISBN: 0198738021 | English | 160 pages | PDF | 0.9 MB

Applying Fuzzy Mathematics to Formal Models in Comparative Politics  eBooks & eLearning

Posted by step778 at March 30, 2015
Applying Fuzzy Mathematics to Formal Models in Comparative Politics

Terry D. Clark, Jennifer M. Larson, John N. Mordeson, "Applying Fuzzy Mathematics to Formal Models in Comparative Politics"
2008 | pages: 223 | ISBN: 3540774602 | PDF | 7,1 mb

Formal Models of Operating System Kernels (Repost)  eBooks & eLearning

Posted by step778 at Feb. 27, 2015
Formal Models of Operating System Kernels (Repost)

Iain D. Craig, "Formal Models of Operating System Kernels"
2007 | pages: 341 | ISBN: 1846283752 | PDF | 1,8 mb

Embedded Systems Design Based on Formal Models of Computation (repost)  eBooks & eLearning

Posted by fdts at Sept. 23, 2014
Embedded Systems Design Based on Formal Models of Computation (repost)

Embedded Systems Design Based on Formal Models of Computation
by Ivan Radojevic, Zoran Salcic
English | 2011 | ISBN: 9400715935 | 198 pages | PDF | 1.67 MB
Representing Space in Cognition: Interrelations of behaviour, language, and formal models (repost)

Representing Space in Cognition: Interrelations of behaviour, language, and formal models (Explorations in Language and Space, Book 8) by Thora Tenbrink, Jan M. Wiener and Christophe Claramunt
English | 2013 | ISBN: 0199679916 | 352 pages | PDF | 5,2 MB

This book considers how people talk about their environment, find their way in new surroundings, and plan routes.

Embedded Systems Design Based on Formal Models of Computation (Repost)  eBooks & eLearning

Posted by enmoys at Feb. 10, 2013
Embedded Systems Design Based on Formal Models of Computation (Repost)

Embedded Systems Design Based on Formal Models of Computation By Ivan Radojevic, Zoran Salcic
2011 | 198 Pages | ISBN: 9400715935 | PDF | 2 MB

Embedded Systems Design Based on Formal Models of Computation  eBooks & eLearning

Posted by lout at June 25, 2011
Embedded Systems Design Based on Formal Models of Computation

Embedded Systems Design Based on Formal Models of Computation By Ivan Radojevic, Zoran Salcic
Publisher: Spr..ing..er 2011 | 198 Pages | ISBN: 9400715935 | PDF | 2 MB
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

Benedikt Bollig "Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic"
Springer | 2006-10-10 | ISBN: 3540329226 | 182 pages | PDF | 1,3 Mb