Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 345 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 345

book Issues in Agent Communication

Issues in Agent Communication

pdf

Author: Frank Dignum Mark Greaves (auth.) Frank Dignum Mark Greaves (eds.)
Language: English
Year: 2000

00

26.01.2024

1

0

book Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

pdf

Author: Alan J. Hu (auth.) Karen Yorav (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

pdf

Author: Mateo Valero Jesús Labarta (auth.) Per Stenström Michel Dubois Manolis Katevenis Rajiv Gupta Theo Ungerer (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

pdf

Author: Tilak Agerwala (auth.) André Seznec Joel Emer Michael O’Boyle Margaret Martonosi Theo Ungerer (eds.)
Language: English
Year: 2009

00

26.01.2024

1

0

book Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

pdf

Author: Bart Jacobs (auth.) Elie Najm Uwe Nestmann Perdita Stevens (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

pdf

Author: Mario Coppo Mariangiola Dezani-Ciancaglini Nobuko Yoshida (auth.) Marcello M. Bonsangue Einar Broch Johnsen (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

pdf

Author: William J. Stewart (auth.) Marco Bernardo Jane Hillston (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

pdf

Author: David Garlan (auth.) Marco Bernardo Paola Inverardi (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

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 Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

pdf

Author: Joost-Pieter Katoen (auth.) Jean-François Raskin P. S. Thiagarajan (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0