Functional Calculi

Existence Families, Functional Calculi and Evolution Equations  eBooks & eLearning

Posted by DZ123 at Aug. 29, 2015
Existence Families, Functional Calculi and Evolution Equations

Ralph DeLaubenfels, "Existence Families, Functional Calculi and Evolution Equations"
English | 1994 | ISBN: 3540577033 | PDF | pages: 272 | 9,2 mb

The Functional Calculus for Sectorial Operators  eBooks & eLearning

Posted by step778 at June 30, 2014
The Functional Calculus for Sectorial Operators

Markus Haase, "The Functional Calculus for Sectorial Operators"
2006 | pages: 396 | ISBN: 376437697X | PDF | 3,5 mb

Mobility in Process Calculi and Natural Computing [repost]  eBooks & eLearning

Posted by naag at March 20, 2017
Mobility in Process Calculi and Natural Computing [repost]

Bogdan Aman, "Mobility in Process Calculi and Natural Computing"
English | ISBN: 3642248667, 3642437117 | 2011 | 224 pages | PDF | 2 MB

Rewriting and Typed Lambda Calculi  eBooks & eLearning

Posted by DZ123 at Feb. 23, 2017
Rewriting and Typed Lambda Calculi

Gilles Dowek, "Rewriting and Typed Lambda Calculi"
English | 2014 | ISBN: 331908917X | PDF | pages: 506 | 9.2 mb
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson (Repost)

Christian W. Probst and Chris Hankin, "Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson"
English | ISBN: 3319278096 | 2016 | 356 pages | PDF | 10 MB
Automated Deduction - A Basis for Applications, Volume I: Foundations - Calculi and Methods

Wolfgang Bibel, P.H. Schmitt, "Automated Deduction - A Basis for Applications, Volume I: Foundations - Calculi and Methods"
1998 | pages: 501 | ISBN: 0792351290 | DJVU | 6 mb
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Repost)

Howard Bowman, Rodolfo Gomez, "Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems"
2005 | pages: 444 | ISBN: 1852338954 | PDF | 7,4 mb

Proof Theory: Sequent Calculi and Related Formalisms (Repost)  eBooks & eLearning

Posted by roxul at Feb. 12, 2016
Proof Theory: Sequent Calculi and Related Formalisms (Repost)

Katalin Bimbo, "Proof Theory: Sequent Calculi and Related Formalisms"
English | ISBN: 1466564660 | 2014 | 386 pages | PDF | 3 MB

Proof Theory: Sequent Calculi and Related Formalisms (repost)  eBooks & eLearning

Posted by arundhati at June 25, 2015
Proof Theory: Sequent Calculi and Related Formalisms (repost)

Katalin Bimbo, "Proof Theory: Sequent Calculi and Related Formalisms"
English | ISBN: 1466564660 | 2014 | 386 pages | PDF | 3 MB
Noncommutative Functional Calculus: Theory and Applications of Slice Hyperholomorphic Functions (repost)

Noncommutative Functional Calculus: Theory and Applications of Slice Hyperholomorphic Functions by Fabrizio Colombo, Irene Sabadini and Daniele C. Struppa
English | 2011 | ISBN: 3034801092 | 227 pages | PDF | 2,3 MB