Geometry.Net - the online learning center
Home  - Science - Graph Theory

e99.com Bookstore
  
Images 
Newsgroups
Page 9     161-166 of 166    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Graph Theory:     more books (100)
  1. Introductory Graph Theory by Gary Chartrand, 1984-12-01
  2. Discrete Mathematics with Graph Theory (3rd Edition) by Edgar G. Goodaire, Michael M. Parmenter, 2005-07-04
  3. Introduction to Graph Theory (Dover Books on Advanced Mathematics) by Richard J. Trudeau, 1994-02-09
  4. Algebraic Graph Theory by Chris Godsil, Gordon F. Royle, 2001-04-20
  5. An Introduction to the Theory of Graph Spectra (London Mathematical Society Student Texts) by Dragos Cvetkovic, Peter Rowlinson, et all 2009-11-16
  6. Pearls in Graph Theory: A Comprehensive Introduction (Dover Books on Mathematics) by Nora Hartsfield, Gerhard Ringel, 2003-12-29
  7. Combinatorics and Graph Theory (Undergraduate Texts in Mathematics) by John Harris, Jeffry L. Hirst, et all 2010-11-02
  8. Modern Graph Theory by Bela Bollobas, 1998-07-01
  9. Introduction to Graph Theory (reprint) (Walter Rudin Student Series in Advanced Mathematics) by Gary Chartrand, Ping Zhang, 2004-12-21
  10. Graph Theory (Graduate Texts in Mathematics) by Reinhard Diestel, 2006-02-10
  11. Graph Theory (Graduate Texts in Mathematics) by Adrian Bondy, U.S.R. Murty, 2007-12-11
  12. Graph Theory With Applications by John Adrian Bondy, 1976-06
  13. Graph Theory: Modeling, Applications, and Algorithms by Geir Agnarsson, Raymond Greenlaw, 2006-10-02
  14. Graph Theory (Mathematical Olympiad Series) by Xiong Bin, Zheng Zhongyi, 2010-03-17

161. Logic Of Programming
The Logic of Programming research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs nets (proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy). Two realisations of this working programm are Linear Logic and Ludics.
http://iml.univ-mrs.fr/ldp/welcome.html

162. Getgrats General Theory Of Graph Transformation Systems
A research network funded by the European Commission.
http://www.di.unipi.it/~andrea/GETGRATS/

163. Stewart, Charles
Boston University Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
http://www.linearity.org/cas/

164. 26th Workshop On Graph-Theoretic Concepts In Computer Science (WG 2000)
The workshop aims at uniting theory and practice by demonstrating how graphtheoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. June 15-17, 2000, in Konstanz, Germany.
http://www.informatik.uni-konstanz.de/wg2000/

165. David Eppstein - Publications
Ramsey theory; Finding multiple nearoptimal solutions; Miscellanous graphtheory. Publications David Eppstein theory Group Inf. Comp. Sci.
http://www.ics.uci.edu/~eppstein/pubs/graph.html

166. 27th International Workshop On Graph-Theoretic Concepts In Computer Science (WG
The workshop aims at uniting theory and practice by demonstrating how graphtheoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. Boltenhagen near Rostock, Germany ; 1416 June 2001.
http://wwwteo.informatik.uni-rostock.de/wg2001/

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

Page 9     161-166 of 166    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9 

free hit counter