Ganesh C. Gopalakrishnan: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (13)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Automata and Computability: A Programmer’s Perspective

Automata and Computability: A Programmer’s Perspective

Ganesh Gopalakrishnan

సంవత్సరం:

2019

భాష:

english

ఫైల్:

PDF, 17.72 MB

0 / 0

english, 2019

2

Computation engineering: applied automata theory and logic

Computation engineering: applied automata theory and logic

Ganesh Gopalakrishnan

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 3.60 MB

0 / 5.0

english, 2010

3

Automata and computability: a programmer's perspective

Automata and computability: a programmer's perspective

Ganesh Lalitha Gopalakrishnan

సంవత్సరం:

2019

భాష:

english

ఫైల్:

PDF, 25.32 MB

5.0 / 5.0

english, 2019

4

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

సంవత్సరం:

2004

భాష:

english

ఫైల్:

DJVU, 2.97 MB

0 / 0

english, 2004

5

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 14.60 MB

0 / 0

english, 2011

6

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 7.03 MB

0 / 0

english, 2004

7

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 8.79 MB

0 / 0

english, 2011

8

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 9.87 MB

0 / 0

english, 2011

9

Computation engineering: applied automata theory and logic

Computation engineering: applied automata theory and logic

Ganesh Gopalakrishnan

సంవత్సరం:

2006

భాష:

english

ఫైల్:

PDF, 3.97 MB

0 / 0

english, 2006

10

Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic

Ganesh Gopalakrishnan

సంవత్సరం:

2006

భాష:

english

ఫైల్:

PDF, 3.66 MB

0 / 0

english, 2006

11

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

సంవత్సరం:

1998

భాష:

english

ఫైల్:

PDF, 4.13 MB

0 / 0

english, 1998

12

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 4.64 MB

0 / 0

english, 2004

13

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

సంవత్సరం:

1998

భాష:

english

ఫైల్:

PDF, 4.14 MB

0 / 0

english, 1998