WorldCat Identities

Agrawal, Manindra 1966-

Overview
Works: 19 works in 92 publications in 1 language and 1,814 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Creator
Classifications: QA267.7, 005.3
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 )

14 editions published in 2002 in English and held by 160 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 Jin-yi Cai( Book )

11 editions published in 2008 in English and Undetermined and held by 88 WorldCat member libraries worldwide

Annotation
Theory and applications of models of computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7 - 11, 2010; proceedings by Manindra Agrawal( Book )

22 editions published between 2008 and 2014 in English and held by 67 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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002 Proceedings by Manindra Agrawal( )

2 editions published in 2002 in English and held by 32 WorldCat member libraries worldwide

Perspectives in computational complexity : the Somenath Biswas anniversary volume by Manindra Agrawal( Book )

15 editions published between 2014 and 2016 in English and held by 23 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
Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings by Kesav V Nori( Book )

5 editions published in 2002 in English and held by 23 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
Satisfiability problems by Manindra Agrawal( )

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

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

1 edition published in 2008 in English and held by 15 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

Perspectives in computational complexity the Somenath Biswas anniversary volume( )

2 editions published in 2014 in English and held by 12 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

Theory and applications of models of computation (TAMC 2008) : [... was the 5th conference in the series held during April 25 - 29, 2008 in Xi'an, China] by 2008, Xi'an) TAMC (5( Book )

5 editions published in 2011 in English and held by 7 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

FST TCS 2002: foundations of software technology and theoretical computer science : proceedings of the 22nd Conference, Kanpur, India, December 12-14, 2002 by Conference on Foundations of Software Technology and Theoretical Computer Science( Book )

2 editions published in 2002 in English and held by 2 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

FST TCS 2002 : foundations of software technology and theoretical computer science( Book )

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

FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference : Proceedings( Book )

2 editions published in 2002 in English and held by 1 WorldCat member library worldwide

Foundations of software technology and theoretical computer science : 18th Conference, Chennai, India, December 17-19, 1998 : proceedings by V Arvind( Book )

in English and held by 0 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic
 
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.96 for FST TCS 20 ...)

FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedingsFST 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 : seventh conference, Pune, India, December 17-19, 1987 : proceedingsFoundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedingsFST TCS 2002 : foundations of software technology and theoretical computer science : 22th Conference, Kanpur, India, December 12-14, 2002 : proceedingsFST TCS 2002: foundations of software technology and theoretical computer science : proceedings of the 22nd Conference, Kanpur, India, December 12-14, 2002FST TCS 2002 : foundations of software technology and theoretical computer science
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 (89)

Covers
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedingsTheory and applications of models of computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7 - 11, 2010; proceedingsFST 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 : seventh conference, Pune, India, December 17-19, 1987 : proceedingsFoundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedingsFST TCS 2002 : foundations of software technology and theoretical computer science : 22th Conference, Kanpur, India, December 12-14, 2002 : proceedingsFST TCS 2002: foundations of software technology and theoretical computer science : proceedings of the 22nd Conference, Kanpur, India, December 12-14, 2002FST TCS 2002 : foundations of software technology and theoretical computer science