Channels - Category Theory and Computer Science : :: Biblioteca ITESO

Những quyển sách tương tự: Category Theory and Computer Science :

Quick Look
Axiomatic Method and Category Theory /
Quick Look
The Categories : On Interpretation : Prior Analytics /
Quick Look
Analysis of Rare Categories /
Quick Look
Categories for Software Engineering /
Quick Look
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Quick Look
Some of Kierkegaard's Main Categories /
Quick Look
The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics /
Quick Look
Prosodic Categories: Production, Perception and Comprehension /
Quick Look
Toward Category-Level Object Recognition /
Quick Look
Retail Category Management : Decision Support Systems for Assortment, Shelf Space, Inventory and Price Planning /
Quick Look
Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /
Quick Look
Computer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /
Quick Look
Computer Science -- Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /
Quick Look
Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
Quick Look
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Quick Look
Fundamentals of Computation Theory : 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings /
Quick Look
Computer Science, Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : Proceedings /
Quick Look
Theoretical Computer Science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
Quick Look
Computer Science . Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /
Quick Look
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /
Quick Look
Randomization and Approximation Techniques in Computer Science : International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings /
Quick Look
SOFSEM 2013: Theory and Practice of Computer Science : 39th International Conference on Current Trends in Theory and Practice of Computer Science, .pindler.v Mlýn, Czech Republic, January 26-31, 2013, Proceedings /
Quick Look
Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings /
Quick Look
Computer Science -- Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /

Tác giả: Eugenio Moggi, Giuseppe Rosolini

Quick Look
Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0