Your search returned 188 results.

Sort
Results
81.
Complexity Classifications of Boolean Constraint Satisfaction Problems (e-book) by
  • Creignou, Nadia and Khanna, Sanjeev and Sudan, Madhu
Series: Discrete Mathematics and Applications
Material type: Text Book
Publication details: Siam 2001
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
  • Edelsbrunner, Herbert
  • Harer, Jhon L
Material type: Text Book
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
  • Manolache, Sorin
  • Eles, Petru
  • Peng, Zebo
Material type: Text Book
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
  • Conference on structure in complexity theory (6 Chicago 1991)
Material type: Text Book
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
  • Conf. on Structure in complexity Theory (10 Minnesota 1995)
Material type: Text Book
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
  • Conf. on Structure in Complexity Theory (8 San Diego 1993)
Material type: Text Book
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
  • Salomaa, Arto
Series: Encyclopedia of Mathematics and its Applications No.25
Material type: Text Book
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
  • Krajicek, Jan
Series: Encyclopedia of Mathematics and its Applications No.60
Material type: Text Book
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
  • Aigner, Martin
Material type: Text Book
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
  • Craig, Iain D
Material type: Text Book
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
  • Moore, Cristopher
  • Mertens, Stephan
Material type: Text Book
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
  • Akiyama, Jin
  • Chen, William Y C and
  • Kano, Mikio
Material type: Text Book
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
  • Kuznetsov, Sergei O
  • Schmidt, Stefan
Material type: Text Book
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
  • Kaufmann, Michael
  • Wagner, Dorothea
Material type: Text Book
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
  • Thomas, Wolfgang
  • Weil, Pascal
Material type: Text Book
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
  • Vadhan, Salil P
Material type: Text Book
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
  • Cotta, Carlos
  • Hemert, Jano
Material type: Text Book
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
  • Speed, Terry
  • Huang, Haiyan
Material type: Text Book
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
  • Giancarlo, Raffaele
  • Hannenhalli, Sridhar
Material type: Text Book
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
  • International IPCO Conference (12 NewYork 2007)
  • Fischetti, Matteo., ed
Material type: Text Book
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 © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha