Book serie: / Книги серии: Lecture Notes in Computer Science 3393 : Programming and Software Engineering » Page 1920 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 3393 : Programming and Software Engineering » Page 1920

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

pdf

Author: Silvio Micali Chris Peikert Madhu Sudan David A. Wilson (auth.) Joe Kilian (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings

Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings

djvu

Author: Joel V. Earnest-DeYoung Emmanuelle Lerat Bernard M. E. Moret (auth.) Inge Jonassen Junhyong Kim (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings

Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings

pdf

Author: Kai Hwang (auth.) Hai Jin Guang R. Gao Zhiwei Xu Hao Chen (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Embodied Artificial Intelligence: International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003. Revised Papers

Embodied Artificial Intelligence: International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003. Revised Papers

pdf

Author: Rolf Pfeifer Fumiya Iida (auth.) Fumiya Iida Rolf Pfeifer Luc Steels Yasuo Kuniyoshi (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computational Discrete Mathematics: Advanced Lectures

Computational Discrete Mathematics: Advanced Lectures

pdf

Author: Martin Aigner (auth.) Helmut Alt (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

pdf

Author: Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog (auth.) Orna Grumberg Michael Kaminski Shmuel Katz Shuly Wintner (eds.)
Language: English
Year: 2009

00

26.01.2024

3

0

book Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

pdf

Author: Jie Wu (auth.) Minyi Guo Laurence Tianruo Yang (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation

Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation

pdf

Author: Yingxu Wang (auth.) Marina L. Gavrilova C. J. Kenneth Tan Yingxu Wang Keith C. C. Chan (eds.)
Language: English
Year: 2009

00

26.01.2024

1

0

book Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings

Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings

pdf

Author: Kenneth Church (auth.) Alexander Gelbukh (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0