Тема, жанр, tags: Logics and Meanings of Programs,Models and Principles,Computation by Abstract Devices,Mathematics of » Page 5 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Models and Principles,Computation by Abstract Devices,Mathematics of » Page 5

book CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

pdf

Author: Martín Abadi Tim Harris (auth.) Mario Bravetti Gianluigi Zavattaro (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Agents and Data Mining Interaction: 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

Agents and Data Mining Interaction: 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

pdf

Author: Ana L. C. Bazzan (auth.) Longbing Cao Vladimir Gorodetsky Jiming Liu Gerhard Weiss Philip S. Yu (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

pdf

Author: Robert L. Constable (auth.) Susanne Albers Helmut Alt Stefan Näher (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

pdf

Author: Rastislav Bodik (auth.) Jens Palsberg Zhendong Su (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

pdf

Author: Gonzalo Navarro (auth.) Sebastian Maneth (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Human Machine Interaction: Research Results of the MMI Program

Human Machine Interaction: Research Results of the MMI Program

pdf

Author: Bruno Dumas Denis Lalanne Sharon Oviatt (auth.) Denis Lalanne Jürg Kohlas (eds.)
Language: English
Year: 2009

00

06.02.2024

0

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

06.02.2024

0

0

book Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

pdf

Author: Frank Tip (auth.) Hanne Riis Nielson Gilberto Filé (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

pdf

Author: Kung-Kiu Lau Faris M. Taweel (auth.) Heinz W. Schmidt Ivica Crnkovic George T. Heineman Judith A. Stafford (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

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

06.02.2024

0

0