Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Combinatorics,Symbolic and Algebraic Manipulati » Page 104 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Combinatorics,Symbolic and Algebraic Manipulati » Page 104

book Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

djvu

Author: Bernhard Möller Helmut A. Partsch Stephen A. Schuman (auth.) Bernhard Möller Helmut Partsch Steve Schuman (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Global Optimization and Constraint Satisfaction: First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers

Global Optimization and Constraint Satisfaction: First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers

pdf

Author: Nikolaos V. Sahinidis (auth.) Christian Bliek Christophe Jermann Arnold Neumaier (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Graph Drawing: 5th International Symposium, GD '97 Rome, Italy, September 18–20, 1997 Proceedings

Graph Drawing: 5th International Symposium, GD '97 Rome, Italy, September 18–20, 1997 Proceedings

pdf

Author: William Lenhart Giuseppe Liotta (auth.) Giuseppe DiBattista (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Graph Drawing: 6th International Symposium, GD’ 98 Montréal, Canada, August 13–15, 1998 Proceedings

Graph Drawing: 6th International Symposium, GD’ 98 Montréal, Canada, August 13–15, 1998 Proceedings

pdf

Author: Alok Aggarwal S. Rao Kosaraju Mihai Pop (auth.) Sue H. Whitesides (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Graph Drawing: 8th International Symposium, GD 2000 Colonial Williamsburg, VA, USA, September 20–23, 2000 Proceedings

Graph Drawing: 8th International Symposium, GD 2000 Colonial Williamsburg, VA, USA, September 20–23, 2000 Proceedings

pdf

Author: Colin Ware (auth.) Joe Marks (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Evolutionary Computation in Combinatorial Optimization: 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings

Evolutionary Computation in Combinatorial Optimization: 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings

pdf

Author: Adnan Acan (auth.) Jens Gottlieb Günther R. Raidl (eds.)
Language: English
Year: 2004

00

26.01.2024

1

0

book Drawing Graphs: Methods and Models

Drawing Graphs: Methods and Models

pdf

Author: Rudolf Fleischer Colin Hirsch (auth.) Michael Kaufmann Dorothea Wagner (eds.)
Language: English
Year: 2001

00

26.01.2024

4

0

book Evolution and Biocomputation: Computational Models of Evolution

Evolution and Biocomputation: Computational Models of Evolution

djvu

Author: Wolfgang Banzhaf Frank Eeckman (auth.) Wolfgang Banzhaf Frank H. Eeckman (eds.)
Language: English
Year: 1995

00

26.01.2024

1

0

book Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions

Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions

pdf

Author: Alexander Martin (auth.) Michael Jünger Denis Naddef (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Combinatorial Optimization — Eureka, You Shrink!: Papers Dedicated to Jack Edmonds 5th International Workshop Aussois, France, March 5–9, 2001 Revised Papers

Combinatorial Optimization — Eureka, You Shrink!: Papers Dedicated to Jack Edmonds 5th International Workshop Aussois, France, March 5–9, 2001 Revised Papers

pdf

Author: Michael Jünger Gerhard Reinelt Giovanni Rinaldi (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0