Ranjit Jhala: Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Philipp Klaus Krause (auth.), Ranjit Jhala, Koen De Bosschere (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 3.74 MB

0 / 0

english, 2013

2

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 5.01 MB

0 / 0

english, 2011

3

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jan Vitek (auth.), Ranjit Jhala, Atsushi Igarashi (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 8.05 MB

0 / 0

english, 2012

4

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 7.68 MB

0 / 0

english, 2011