Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Computing Methodologies,Theo » Page 52 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Computing Methodologies,Theo » Page 52

book Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

pdf

Author: David Borgo (auth.) Kokichi Futatsugi Jean-Pierre Jouannaud José Meseguer (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0

book Algorithmic Adventures: From Knowledge to Magic

Algorithmic Adventures: From Knowledge to Magic

pdf

Author: Juraj Hromkovic (auth.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Kalman Filtering: with Real-Time Applications

Kalman Filtering: with Real-Time Applications

pdf

Author: Charles K. Chui Guanrong Chen (auth.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Kalman Filtering: with Real-Time Applications

Kalman Filtering: with Real-Time Applications

pdf

Author: Charles K. Chui Guanrong Chen (auth.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Kalman Filtering: with Real-Time Applications

Kalman Filtering: with Real-Time Applications

pdf

Author: Charles K. Chui Guanrong Chen (auth.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Kalman Filtering: with Real-Time Applications

Kalman Filtering: with Real-Time Applications

pdf

Author: Charles K. Chui Guanrong Chen (auth.)
Language: English
Year: 2009

00

27.01.2024

4

0

book Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

pdf

Author: Reid Andersen Fan Chung (auth.) Jin-Yi Cai S. Barry Cooper Hong Zhu (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Transactions on Computational Systems Biology IX

Transactions on Computational Systems Biology IX

pdf

Author: Paras Chopra Andreas Bender (auth.) Corrado Priami (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Spatial Representation and Motion Planning

Spatial Representation and Motion Planning

djvu

Author: Angel Pasqual del Pobil Miguel Angel Serna (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

pdf

Author: Boris A. Trakhtenbrot (auth.) Arnon Avron Nachum Dershowitz Alexander Rabinovich (eds.)
Language: English
Year: 2008

00

26.01.2024

3

0