Search | Chamo

571.

Foundations of Parallel Programming by David Skillicorn Skillicorn, David

Call Number	001.642 Sk33F
Author	Skillicorn, David
Title	Foundations of Parallel Programming by David Skillicorn
Publication	Cambridge: Cambridge University Press, 1994.
Physical Description	xii, 197 pages
Series	Cambridge international series on parallel computation, 6

1 copy is available at

IGM Library (1 available)

572.

Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules by Wim H. Hesselink Hesselink, Wim H.

Call Number	001.642 H46P
Author	Hesselink, Wim H.
Title	Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules by Wim H. Hesselink
Publication	New Delhi: Cambridge University Press, 1995 [2005].
Physical Description	xiii, 223 p.
Series	Cambridge tracts in theoretical computer science v. 27

1 copy is available at

IGM Library (1 available)

573.

Lectures in parallel computation edited by Alan Gibbons and Paul Spirakis Gibbons, Alan

Call Number	001.64 G35L
Author	Gibbons, Alan editor
Title	Lectures in parallel computation edited by Alan Gibbons and Paul Spirakis
Publication	New Delhi: Cambridge University Press, 2005 [1993].
Physical Description	437 p.
Series	Cambridge international series on parallel computation

1 copy is available at

IGM Library (1 available)

574.

Data structures and algorithms using C# by Michael McMillan McMillan, Michael

Call Number	001.6424 M22D
Author	McMillan, Michael
Title	Data structures and algorithms using C# by Michael McMillan
Publication	CUP 20.
Physical Description	355p.

1 copy is available at

IGM Library (1 available)

575.

A second course in formal languages and automata theory by Jeffrey Shallit Shallit, Jeffrey

Call Number	001.6424 Sh16S
Author	Shallit, Jeffrey
Title	A second course in formal languages and automata theory by Jeffrey Shallit
Publication	New York: Cambridge University Press, 2009.
Physical Description	xi, 240 p.

1 copy is available at

IGM Library (1 available)

576.

Geometric folding algorithms linkages, origami, polyhedra by Erik D. Demaine , Joseph O'Rourke Demaine, Erik D.

Call Number	516.15 D39G
Author	Demaine, Erik D.
Title	Geometric folding algorithms linkages, origami, polyhedra by Erik D. Demaine , Joseph O'Rourke
Publication	Cambridge: Cambridge University Press, 2007.
Physical Description	xiii, 472 pages

1 copy is available at

IGM Library (1 available)

577.

How to think about algorithms by Jeff Edmonds Edmonds, Jeff

Call Number	001.642 Ed57H
Author	Edmonds, Jeff
Title	How to think about algorithms by Jeff Edmonds
Publication	New Delhi: Cambridge University Press, 2008.
Physical Description	448p.

No available copies

578.

Computational introduction to number theory and algebra by Victor Shoup Shoup, Victor.

Call Number	512.7 Sh82C
Author	Shoup, Victor
Title	Computational introduction to number theory and algebra by Victor Shoup
Edition	2nd edition
Publication	Delhi: Cambridge University Press, 2009.
Physical Description	580p.

1 copy is available at

IGM Library (1 available)

579.

Proof theory a selection of papers from the leeds proof theory programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S. Wainer Aczel, Peter

Call Number	511.3 Ac99P
Author	Aczel, Peter editor
Title	Proof theory a selection of papers from the leeds proof theory programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S. Wainer
Publication	New Delhi: Cambridge University Press, 2008.
Physical Description	x, 306 p.

1 copy is available at

IGM Library (1 available)

580.

Concentration of masure for the analysis of randomized algorithms by Devdatt P. Dubhashi and Alessandro Panconesi Dubhashi, Devdatt P.

Call Number	511.8 D85C
Author	Dubhashi, Devdatt P.
Title	Concentration of masure for the analysis of randomized algorithms by Devdatt P. Dubhashi and Alessandro Panconesi
Publication	New York: Cambridge University Press, 2009.
Physical Description	xiv, 196 p.

1 copy is available at

IGM Library (1 available)