Тема, жанр, tags: Logics and Meanings of Programs,Theory of Computation,Models and Principles,Symbolic and Algebraic M » Page 66 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Theory of Computation,Models and Principles,Symbolic and Algebraic M » Page 66

book Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

pdf

Author: Nikolaj Bjørner Leonardo de Moura (auth.) Joël Ouaknine Frits W. Vaandrager (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

2

0

book Agent-Based Service-Oriented Computing

Agent-Based Service-Oriented Computing

pdf

Author: Kuo-Ming Chao Nathan Griffiths (auth.) Nathan Griffiths Kuo-Ming Chao (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Algorithmic Game Theory: Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings

Algorithmic Game Theory: Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings

pdf

Author: Amos Fiat Christos Papadimitriou (auth.) Spyros Kontogiannis Elias Koutsoupias Paul G. Spirakis (eds.)
Language: English
Year: 2010

00

27.01.2024

6

0

book Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

pdf

Author: João Leite (auth.) Matteo Baldoni Jamal Bentahar M. Birna van Riemsdijk John Lloyd (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Journal on Data Semantics XIV

Journal on Data Semantics XIV

pdf

Author: Olga De Troyer Wesley Bille Frederic Kleinermann (auth.) Stefano Spaccapietra Lois Delcambre (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Industrial Applications of Semantic Web: Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25–27, 2005, Jyväskylä, Finland

Industrial Applications of Semantic Web: Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25–27, 2005, Jyväskylä, Finland

pdf

Author: Ora Lassila (auth.) Max Bramer Vagan Terziyan (eds.)
Language: English
Year: 2005

00

27.01.2024

1

0

book Knowledge Management and Organizational Learning

Knowledge Management and Organizational Learning

pdf

Author: William R. King (auth.) William R. King (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Canadian Semantic Web: Technologies and Applications

Canadian Semantic Web: Technologies and Applications

pdf

Author: Alexandre Riazanov Marcelo A. T. Aragão (auth.) Weichang Du Faezeh Ensan (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book The Integrated Architecture Framework Explained: Why, What, How

The Integrated Architecture Framework Explained: Why, What, How

pdf

Author: Jack van't Wout Maarten Waage Herman Hartman Max Stahlecker Aaldert Hofman (auth.)
Language: English
Year: 2010

00

27.01.2024

2

0