Тема, жанр, tags: Logics and Meanings of Programs » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs » Page 7

book Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Yehuda Naveh (auth.) Ofer Strichman Stefan Szeider (eds.)
Language: English
Year: 2010

00

06.02.2024

1

0

book Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

pdf

Author: Kamal Ali Kevin Leung Tolga Konik Dongkyu Choi (auth.) Luc De Raedt (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

pdf

Author: June Andronick (auth.) Bernhard Beckert Claude Marché (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

pdf

Author: Jie Ding Jane Hillston (auth.) Michael Johnson Dusko Pavlovic (eds.)
Language: English
Year: 2011

00

06.02.2024

1

0

book Architecting Dependable Systems VII

Architecting Dependable Systems VII

pdf

Author: Themistoklis Bourdenas Morris Sloman Emil C. Lupu (auth.) Antonio Casimiro Rogério de Lemos Cristina Gacek (eds.)
Language: English
Year: 2010

00

06.02.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

06.02.2024

1

0

book Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

pdf

Author: Bernhard Schätz Holger Giese (auth.) Holger Giese Gabor Karsai Edward Lee Bernhard Rumpe Bernhard Schätz (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

pdf

Author: Krishnendu Chatterjee Laurent Doyen (auth.) Christian G. Fermüller Andrei Voronkov (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

pdf

Author: Marcus Hutter Frank Stephan Vladimir Vovk Thomas Zeugmann (auth.) Marcus Hutter Frank Stephan Vladimir Vovk Thomas Zeugmann (eds.)
Language: English
Year: 2010

00

06.02.2024

2

0

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0