Тема, жанр, tags: Special Purpose and Application-Based Systems,Processor Architectures,Logics and Meanings of Program » Page 273 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Special Purpose and Application-Based Systems,Processor Architectures,Logics and Meanings of Program » Page 273

book Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

pdf

Author: Shankar Sastry (auth.) Alberto Bemporad Antonio Bicchi Giorgio Buttazzo (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

pdf

Author: Alessandro Abate Alessandro D’Innocenzo Maria D. Di Benedetto Shankar S. Sastry (auth.) Magnus Egerstedt Bud Mishra (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

pdf

Author: Francesco Bullo (auth.) João P. Hespanha Ashish Tiwari (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

pdf

Author: Ralph-Johan Back (auth.) Michael Johnson Varmo Vene (eds.)
Language: English
Year: 2006

00

27.01.2024

4

0

book Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings

Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings

pdf

Author: David L. Parnas P. Eng (auth.) Teodor Rus (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

pdf

Author: Roland Backhouse (auth.) Charles Rattray Savitri Maharaj Carron Shankland (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

pdf

Author: David Aspinall Donald Sannella (auth.) Hélène Kirchner Christophe Ringeissen (eds.)
Language: English
Year: 2002

00

27.01.2024

2

0

book Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

djvu

Author: Yu. L. Ershov (auth.) Dines Bjørner Manfred Broy Igor V. Pottosin (eds.)
Language: English
Year: 1993

00

27.01.2024

1

0

book Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

pdf

Author: Roland Backhouse Wei Chen João F. Ferreira (auth.) Claude Bolduc Jules Desharnais Béchir Ktari (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

pdf

Author: Jens Palsberg (auth.) Jens Palsberg (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0