Books By Krishna, Siddharth

1.

Automated Verification of Concurrent Search Struct... - a book by Wieske, Thomas

Automated Verification of Concurrent Search Structures

Author:: Wieske, Thomas
Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
Wies, Thomas

ISBN:: 978-3-031-00678-4

Book Format:: Paperback

List Price:: USD $69.99USD $59.99

Publisher:: Springer International Publishing AG

Publication Date:: Jun 2021

2.

Sustained Simulation Performance 2016

ISBN:: 978-3-319-46734-4

Book Format:: Hardback

List Price:: USD $169.99USD $109.99

Publisher:: Springer International Publishing AG

Publication Date:: Dec 2016

3.

Sustained Simulation Performance 2016

ISBN:: 978-3-319-46734-4

Book Format:: Hardback

List Price:: AUD $266.95

Publisher:: Springer

Publication Date:: Dec 2016

4.

Automated Verification of Concurrent Search Struct... - a book by Krishna, Siddharth

Automated Verification of Concurrent Search Structures

Author:: Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
Wies, Thomas

ISBN:: 978-1-63639-130-4

Book Format:: Hardback

List Price:: AUD $127.00

Publisher:: Morgan & Claypool Publishers

Publication Date:: Jun 2021

5.

Sustained Simulation Performance 2014

Proceedings of the Joint Workshop on...

ISBN:: 978-3-319-10625-0

Book Format:: Hardback

List Price:: USD $109.99

Publisher:: Springer International Publishing AG

Publication Date:: Dec 2014

6.

Automated Verification of Concurrent Search Structures

Author:: Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
Wies, Thomas

ISBN:: 978-1-63639-128-1

Book Format:: Paperback

List Price:: AUD $99.00

Publisher:: Morgan & Claypool Publishers

Publication Date:: Jun 2021

7.

Automated Verification of Concurrent Search Structures

Author:: Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
Wies, Thomas

ISBN:: 978-1-63639-130-4

Book Format:: Hardback

List Price:: USD $89.95

Publisher:: Morgan & Claypool Publishers

Publication Date:: Jun 2021

8.

Sustained Simulation Performance 2014

Proceedings of the Joint Workshop on...

ISBN:: 978-3-319-36254-0

Book Format:: Paperback

List Price:: AUD $222.95

Publisher:: Springer

Publication Date:: Sep 2016

9.

Sustained Simulation Performance 2014

Proceedings of the Joint Workshop on...

ISBN:: 978-3-319-10626-7

Book Format:: Ebook

List Price:: USD $139.00

Publisher:: Springer

Publication Date:: Jan 2015

10.

Sustained Simulation Performance 2014

Proceedings of the Joint Workshop on...

ISBN:: 978-3-319-36254-0

Book Format:: Paperback

List Price:: USD $139.00USD $109.99

Publisher:: Springer International Publishing AG

Publication Date:: Sep 2016

11.

Sustained Simulation Performance 2016

Proceedings of the Joint Workshop on...

ISBN:: 978-3-319-83574-7

Book Format:: Paperback

List Price:: USD $169.99USD $109.99

Publisher:: Springer International Publishing AG

Publication Date:: Jul 2018

12.

Automated Verification of Concurrent Search Structures

Author:: Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
Wies, Thomas

ISBN:: 978-1-63639-128-1

Book Format:: Paperback

List Price:: USD $69.95

Publisher:: Morgan & Claypool Publishers

Publication Date:: Jun 2021

13.

Sustained Simulation Performance 2014

Proceedings of the Joint Workshop on...

ISBN:: 978-3-319-10625-0

Book Format:: Hardback

List Price:: AUD $222.95

Publisher:: Springer

Publication Date:: Dec 2014

Books » Krishna, Siddharth Books » Books By Krishna, Siddharth

Related Keywords

Refine Options

Featured Books


1.		Automated Verification of Concurrent Search Structures Author: Wieske, Thomas Krishna, Siddharth Patel, Nisarg Shasha, Dennis Wies, Thomas ISBN: 978-3-031-00678-4 Book Format: Paperback List Price: USD $69.99USD $59.99 Publisher: Springer International Publishing AG Publication Date: Jun 2021 Quantity Note

2.		Sustained Simulation Performance 2016 ISBN: 978-3-319-46734-4 Book Format: Hardback List Price: USD $169.99USD $109.99 Publisher: Springer International Publishing AG Publication Date: Dec 2016 Quantity Note

3.		Sustained Simulation Performance 2016 ISBN: 978-3-319-46734-4 Book Format: Hardback List Price: AUD $266.95 Publisher: Springer Publication Date: Dec 2016 Quantity Note

4.		Automated Verification of Concurrent Search Structures Author: Krishna, Siddharth Patel, Nisarg Shasha, Dennis Wies, Thomas ISBN: 978-1-63639-130-4 Book Format: Hardback List Price: AUD $127.00 Publisher: Morgan & Claypool Publishers Publication Date: Jun 2021 Quantity Note

5.		Sustained Simulation Performance 2014 Proceedings of the Joint Workshop on... ISBN: 978-3-319-10625-0 Book Format: Hardback List Price: USD $109.99 Publisher: Springer International Publishing AG Publication Date: Dec 2014 Quantity Note

6.		Automated Verification of Concurrent Search Structures Author: Krishna, Siddharth Patel, Nisarg Shasha, Dennis Wies, Thomas ISBN: 978-1-63639-128-1 Book Format: Paperback List Price: AUD $99.00 Publisher: Morgan & Claypool Publishers Publication Date: Jun 2021 Quantity Note

7.		Automated Verification of Concurrent Search Structures Author: Krishna, Siddharth Patel, Nisarg Shasha, Dennis Wies, Thomas ISBN: 978-1-63639-130-4 Book Format: Hardback List Price: USD $89.95 Publisher: Morgan & Claypool Publishers Publication Date: Jun 2021 Quantity Note

8.		Sustained Simulation Performance 2014 Proceedings of the Joint Workshop on... ISBN: 978-3-319-36254-0 Book Format: Paperback List Price: AUD $222.95 Publisher: Springer Publication Date: Sep 2016 Quantity Note

9.		Sustained Simulation Performance 2014 Proceedings of the Joint Workshop on... ISBN: 978-3-319-10626-7 Book Format: Ebook List Price: USD $139.00 Publisher: Springer Publication Date: Jan 2015 Quantity Note

10.		Sustained Simulation Performance 2014 Proceedings of the Joint Workshop on... ISBN: 978-3-319-36254-0 Book Format: Paperback List Price: USD $139.00USD $109.99 Publisher: Springer International Publishing AG Publication Date: Sep 2016 Quantity Note

11.		Sustained Simulation Performance 2016 Proceedings of the Joint Workshop on... ISBN: 978-3-319-83574-7 Book Format: Paperback List Price: USD $169.99USD $109.99 Publisher: Springer International Publishing AG Publication Date: Jul 2018 Quantity Note

12.		Automated Verification of Concurrent Search Structures Author: Krishna, Siddharth Patel, Nisarg Shasha, Dennis Wies, Thomas ISBN: 978-1-63639-128-1 Book Format: Paperback List Price: USD $69.95 Publisher: Morgan & Claypool Publishers Publication Date: Jun 2021 Quantity Note

13.		Sustained Simulation Performance 2014 Proceedings of the Joint Workshop on... ISBN: 978-3-319-10625-0 Book Format: Hardback List Price: AUD $222.95 Publisher: Springer Publication Date: Dec 2014 Quantity Note