WorldCat Identities

Agrawal, Manindra 1966-

Overview
Works: 13 works in 85 publications in 1 language and 1,628 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Creator
Classifications: QA267.7, 005
Publication Timeline
.
Most widely held works by Manindra Agrawal
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings by Manindra Agrawal( Book )

22 editions published in 2002 in English and held by 202 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002. The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings by Adrian Horia Dediu( Book )

31 editions published between 2008 and 2014 in English and held by 158 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's challenges of complexity, scalability, and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks
Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings by Kesav V Nori( Book )

5 editions published in 2002 in English and held by 24 WorldCat member libraries worldwide

Annotation This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity
Perspectives in computational complexity : the Somenath Biswas anniversary volume by Manindra Agrawal( Book )

13 editions published in 2014 in English and held by 20 WorldCat member libraries worldwide

This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity
Satisfiability problems by Manindra Agrawal( )

1 edition published in 2010 in English and held by 16 WorldCat member libraries worldwide

Executive summary of Dagstuhl seminar 07411 on algebraic methods in computational complexity( )

1 edition published in 2008 in English and held by 15 WorldCat member libraries worldwide

Algebraic methods in computational complexity 07411 abstracts collection ; Dagstuhl seminar( )

1 edition published in 2008 in English and held by 15 WorldCat member libraries worldwide

Perspectives in computational complexity the Somenath Biswas anniversary volume( )

1 edition published in 2014 in English and held by 10 WorldCat member libraries worldwide

Foundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedings by FST and TCS( )

1 edition published in 2002 in English and held by 8 WorldCat member libraries worldwide

Satisfiability problems by Manindra Agrawal( Book )

2 editions published in 1996 in English and held by 7 WorldCat member libraries worldwide

Determinant versus permanent by Manindra Agrawal( )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.49 for Perspectiv ... to 0.98 for Determinan ...)

FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedingsFoundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedingsFoundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedings
Alternative Names
Agrawal, M.

Agrawal, M. 1966-

Agrawal, Manindra

Maníndra Agravál

Manindra Agrawal computer scientist

Manindra Agrawal Indiaas wiskundige

Manindra Agrawal indischer Informatiker und Mathematiker

مانيندرا أغراوال

മനീന്ദ്ര അഗർവാൾ

マニンドラ・アグラワル

Languages
English (80)

Covers
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedingsFoundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedingsFoundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedings