Your search returned 186 results.

Sort
Results
81.
Complexity Classifications of Boolean Constraint Satisfaction Problems (e-book) by Series: Discrete Mathematics and Applications
Material type: Text Text
Publication details: Siam 2001
Online resources:
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: .

82.
Computational topology An introduction by Herbert Edelsbrunner and Jhon L Harer by
Material type: Text Text
Publication details: US AMS 2010
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 514 P10.

83.
Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation [electronic resource] by Sorin Manolache, Petru Eles and Zebo Peng by
Material type: Text Text
Publication details: Dordrecht Springer 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.33 (e-book).

84.
Structure in complexity theory Proceedings by
Material type: Text Text
Publication details: Califonia IEEE Computer society press 1991
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N916.

85.
Structure in complexity Theory Proceedings by
Material type: Text Text
Publication details: California IEEE Computer Society press 1995
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N95.

86.
Structure in Complexity Theory Proceedings by
Material type: Text Text
Publication details: California IEEE Computer Society press 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N935.

87.
Computation and Automata by Arto Salomaa by Series: Encyclopedia of Mathematics and its Applications No.25
Material type: Text Text
Publication details: Cambridge Cambridge University Press 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N85.

88.
Bounded Arithmetic, Propositional Logic, and Complexity Theory by Jan Krajicek by Series: Encyclopedia of Mathematics and its Applications No.60
Material type: Text Text
Publication details: Cambridge Cambridge University Press 1995
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N953.

89.
Course in Enumeration [electronic resource] by Martin Aigner by
Material type: Text Text
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.62 (e-book).

90.
Formal Models of Operating System Kernels [electronic resource] by Iain D Craig by
Material type: Text Text
Publication details: London Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.43 (e-book).

91.
Nature of computation by Cristopher Moore and Stephan Mertens by
Material type: Text Text
Publication details: Oxford Oxford University Press 2011
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.352 P11.

92.
Discrete geometry, Combinatorics and graph theory [electronic resource] by Jin Akiyama William Y C Chen and Mikio Kano by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.13 (e-book).

93.
Formal concept analysis [electronic resource] by Sergei O Kuznetsov and Stefan Schmidt by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.30151133 (e-book).

94.
Graph drawing [electronic resource] by Michael Kaufmann and Dorothea Wagner by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.6015115 (e-book).

95.
STACS 2007 [electronic resource] by Wolfgang Thomas and Pascal Weil by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 (e-book).

96.
Theory of cryptography [electronic resource] by Salil P Vadhan by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 (e-book).

97.
Evolutionary computation in combinatorial optimization [electronic resource] by Carlos Cotta and Jano Hemert by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.432 (e-book).

98.
Research in computational molecular biology [electronic resource] by Terry Speed and Haiyan Huang by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 572.80285 (e-book).

99.
Algorithms in bioinformatics [electronic resource] by Raffaele Giancarlo and Sridhar Hannenhalli by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 572.80285 (e-book).

100.
Integer Programming and Combinatorial Optimization [electronic resource] Proceeings ed by Matteo Fischetti by
Material type: Text Text
Publication details: Berlin Springer 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.64 (e-book).

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832