The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Information Systems Applications (incl.Internet),Symbolic and Algebraic Manipulation,Mathematical Lo » Page 19
Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
pdf
Author:
Franz Baader (auth.) Sergio Tessaris Enrico Franconi Thomas Eiter Claudio Gutierrez Siegfried Handschuh Marie-Christine Rousset Renate A. Schmidt (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
1
0
Read online
Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks: Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings
pdf
Author:
Olivier Heen Gilles Guette Thomas Genet (auth.) Olivier Markowitch Angelos Bilas Jaap-Henk Hoepman Chris J. Mitchell Jean-Jacques Quisquater (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
pdf
Author:
Stefano Aguzzoli Simone Bova Vincenzo Marra (auth.) Sergei Artemov Anil Nerode (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
pdf
Author:
Mikołaj Bojańczyk (auth.) Carlos Martín-Vide Friedrich Otto Henning Fernau (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
pdf
Author:
Rei Yoshida Rie Shigetomi Kazuki Yoshizoe Akira Otsuka (auth.) Stefan Lucks Ahmad-Reza Sadeghi Christopher Wolf (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
1
0
Read online
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
pdf
Author:
J. -R. Abrial Thai Son Hoang (auth.) John S. Fitzgerald Anne E. Haxthausen Husnu Yenigun (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Sequences and Their Applications - SETA 2008: 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings
pdf
Author:
Pierre L’Ecuyer (auth.) Solomon W. Golomb Matthew G. Parker Alexander Pott Arne Winterhof (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Coding Theory and Applications: Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings
pdf
Author:
Rudolf Ahlswede Faina I. Solov’eva (auth.) Ángela Barbero (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee
pdf
Author:
Marc Pauly (auth.) Rudolf Berghammer Bernhard Möller Georg Struth (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
pdf
Author:
Lisa Allali (auth.) Marino Miculan Ivan Scagnetto Furio Honsell (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
1
0
Read online
1
...
15
16
17
18
19
20
21
22
23
...
75
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через