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
1214, 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
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 1520, 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 wideranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks
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 wideranging 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 1618,
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 2123, 1988. This internationally wellestablished 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
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 2123, 1988. This internationally wellestablished 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, spacebounded 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
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, spacebounded 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
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
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
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
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
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
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
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 1315, 1984,
proceedings by
M Joseph(
Book
)
in English and held by 0 WorldCat member libraries worldwide
in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Li, Angsheng Editor
 Cooper, S. B. (S. Barry) Editor
 Arvind, V. Contributor Editor
 Biswas, S. (Somenath) 1952 Honoree
 Seth, Anil 1965 Editor
 LINK (Online service)
 Thierauf, Thomas
 Buhrman, Harry
 Fortnow, Lance
 Allender, Eric
Useful Links
Associated Subjects
AlgebraData processing Algorithms Artificial intelligence Bioinformatics Combinatorial analysis Computable functions Computational complexity Computer algorithms Computer programming Computers Computer science Computer scienceMathematics Computer software Data structures (Computer science) Electronic data processing Formal languages Information theory Logic, Symbolic and mathematical Logic design Machine theory Mathematical linguistics Mathematics Optical pattern recognition Pattern perception Social sciencesData processing Software engineering Turing machines
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
Covers