WorldCat Identities

Agrawal, Manindra 1966-

Overview
Works: 31 works in 104 publications in 1 language and 2,206 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Creator
Publication Timeline
.
Most widely held works by Manindra Agrawal
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings by Manindra Agrawal( )

12 editions published between 2008 and 2014 in English and held by 497 WorldCat member libraries worldwide

Annotation
Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 ; proceedings by Manindra Agrawal( )

12 editions published in 2012 in English and held by 431 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turings unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification
Perspectives in computational complexity : the Somenath Biswas anniversary volume by Manindra Agrawal( )

15 editions published in 2014 in English and held by 369 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
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings by Manindra Agrawal( )

16 editions published in 2002 in English and held by 362 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 : 11th annual conference, TAMC 2014, Chennai, India, April 11-13, 2014, proceedings by T. V Gopal( )

8 editions published in 2014 in English and held by 362 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
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings by Manindra Agrawal( )

4 editions published in 2008 in English and Undetermined and held by 26 WorldCat member libraries worldwide

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

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

Satisfiability problems by Manindra Agrawal( )

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

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

1 edition published in 2008 in English and held by 14 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 14 WorldCat member libraries worldwide

Theory and applications of models of computation : 5th international conference ; proceedings( Book )

2 editions published in 2008 in English and held by 12 WorldCat member libraries worldwide

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings by Manindra Agrawal( )

1 edition published in 2012 in English and held by 12 WorldCat member libraries worldwide

Theory and Applications of Models of Computation by Manindra Agrawal( )

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

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an, China in April 2008. The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is giv
Satisfiability problems by Manindra Agrawal( Book )

2 editions published in 1996 in English and held by 9 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 : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings by Jan Kratochvíl( )

2 editions published in 2012 in English and held by 8 WorldCat member libraries worldwide

Annotation
Theory and applications of models of computation (TAMC 2008) by 2008, Xi'an) TAMC (5( Book )

3 editions published in 2011 in English and held by 7 WorldCat member libraries worldwide

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume by Manindra Agrawal( )

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

Foundations of software technology and theoretical computer science : 22nd conference : proceedings( Book )

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

Foundations of software technology and theoretical computer science : 22th conference, Kanpur, India, December 12-14, 2002 ; proceedings( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.49 for Theory and ... to 0.95 for Foundation ...)

WorldCat IdentitiesRelated Identities
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings Theory and applications of models of computation : 5th international conference ; proceedings
Covers
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedingsTheory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. ProceedingsFoundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedingsTheory and applications of models of computation : 5th international conference ; proceedingsFoundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedingsFoundations of software technology and theoretical computer science : 22nd conference : proceedingsFoundations of software technology and theoretical computer science : 22th conference, Kanpur, India, December 12-14, 2002 ; 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 (88)