Тема, жанр, tags: Models and Principles » Page 46 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Models and Principles » Page 46

book The Semantic Web: Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings

The Semantic Web: Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings

pdf

Author: Bo Fu Rob Brennan Declan O’Sullivan (auth.) Asunción Gómez-Pérez Yong Yu Ying Ding (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings

The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings

pdf

Author: Jun Fang Zhisheng Huang Frank van Harmelen (auth.) Jeff Z. Pan Huajun Chen Hong-Gee Kim Juanzi Li Zhe Wu Ian Horrocks Riichiro Mizoguchi Zhaohui Wu (eds.)
Language: English
Year: 2012

00

27.01.2024

3

0

book Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

pdf

Author: David Basin Srdjan Capkun Patrick Schaller Benedikt Schmidt (auth.) Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

pdf

Author: Ina Schieferdecker (auth.) Alexandre Petrenko Adenilso Simão José Carlos Maldonado (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

pdf

Author: Marie-Claude Gaudel (auth.) Burkhart Wolff Fatiha Zaïdi (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings

Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings

pdf

Author: Jan Wilkening Sara Irina Fabrikant (auth.) Max Egenhofer Nicholas Giudice Reinhard Moratz Michael Worboys (eds.)
Language: English
Year: 2011

00

27.01.2024

2

0

book Spatial Information Theory: 9th International Conference, COSIT 2009 Aber Wrac’h, France, September 21-25, 2009 Proceedings

Spatial Information Theory: 9th International Conference, COSIT 2009 Aber Wrac’h, France, September 21-25, 2009 Proceedings

pdf

Author: Daniel R. Montello (auth.) Kathleen Stewart Hornsby Christophe Claramunt Michel Denis Gérard Ligozat (eds.)
Language: English
Year: 2009

00

27.01.2024

3

0

book Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

pdf

Author: Nina D. Fogelström Sebastian Barney Aybüke Aurum Anders Hederstierna (auth.) Martin Glinz Patrick Heymans (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

pdf

Author: Natarajan Shankar (auth.) Peter Csaba Ölveczky (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

pdf

Author: Sandro Hawke (auth.) Guido Governatori John Hall Adrian Paschke (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0