Тема, жанр, tags: Logic Design » Page 1443 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logic Design » Page 1443

book Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

pdf

Author: Constance L. Heitmeyer (auth.) Klaus Schneider Jens Brandt (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques

Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques

djvu

Author: Afonso Ferreira Panos M. Pardalos (auth.) Afonso Ferreira Panos Pardalos (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

pdf

Author: Abdallah Bradji Raphaèle Herbin (auth.) Todor Boyanov Stefka Dimova Krassimir Georgiev Geno Nikolov (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

pdf

Author: Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

pdf

Author: David L. Dill (auth.) Nicolas Halbwachs Doron Peled (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Graph-Theoretic Concepts in Computer Science: 15th International Workshop WG '89 Castle Rolduc, The Netherlands, June 14–16, 1989 Proceedings

Graph-Theoretic Concepts in Computer Science: 15th International Workshop WG '89 Castle Rolduc, The Netherlands, June 14–16, 1989 Proceedings

djvu

Author: Seshu Madhavapeddy I. Hal Sudborough (auth.) Manfred Nagl (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0

book Towards Evolvable Hardware: The Evolutionary Engineering Approach

Towards Evolvable Hardware: The Evolutionary Engineering Approach

djvu

Author: Eduardo Sanchez (auth.) Eduardo Sanchez Marco Tomassini (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Graph-Theoretic Concepts in Computer Science: 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings

Graph-Theoretic Concepts in Computer Science: 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings

djvu

Author: Hans L. Bodlaender John R. Gilbert (auth.) Gunther Schmidt Rudolf Berghammer (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

pdf

Author: Byron Cook (auth.) Werner Damm Holger Hermanns (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book STACS 93: 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings

STACS 93: 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings

djvu

Author: Ilaria Castellani (auth.) P. Enjalbert A. Finkel K. W. Wagner (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0