Mukund madhavan (62 risultati)

Hariharan, Ramesh et al. (Eds.)

Condizione: Usato - Buono

EUR 23,92

EUR 4,31 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: good. Has a sturdy binding with some shelf wear. May have some markings or highlighting. Used copies may not include access codes or Cd's. Slight bending may be present.

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science. 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings.

Lingua: Inglese

Editore: Berlin, Springer. 2001

Brossura

Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , GermaniaUniversitätsbuchhandlung Herta Hold GmbH

Venditore con 4 stelle

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)

Condizione: Usato

EUR 9,00

EUR 30,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

XI, 346 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2245. Sprache: Englisch.

Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Hariharan, R. (EDT); Kapoor, Sanjiv (EDT); Mukund, M. (EDT); Vinay, V. (EDT)

Condizione: Nuovo

EUR 53,49

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Fst Tcs 2001 : Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13-15, 2001 Proceedings

Lingua: Inglese

Editore: Springer 2001

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 55,90

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding (Paperback or Softback)

Hariharan, Ramesh

Lingua: Inglese

Editore: Springer 11/28/2001 2001

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,25

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding. Book.

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science, 2245)

Lingua: Inglese

Editore: Springer 2001

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)

Condizione: Nuovo

EUR 60,51

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 62,08

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,63

EUR 13,88 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science, 2245)

Lingua: Inglese

Editore: Springer 2001

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

V. Vinay, Madhavan Mukund, Ramesh Hariharan

Condizione: Nuovo

EUR 60,63

EUR 13,88 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2008-06-13 2008

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Hariharan, R. (EDT); Kapoor, Sanjiv (EDT); Mukund, M. (EDT); Vinay, V. (EDT)

Condizione: Nuovo

EUR 57,35

EUR 17,95 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Fst Tcs 2001 : Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13-15, 2001 Proceedings

Lingua: Inglese

Editore: Springer 2001

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)

Condizione: Nuovo

EUR 60,32

EUR 17,38 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)

Condizione: Nuovo

EUR 60,62

EUR 17,38 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 66,76

EUR 17,38 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Automated Technology for Verification and Analysis

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

1439809437 / 9781439809433

Condizione: Nuovo

EUR 81,55

EUR 3,45 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 452.

Perspectives in Concurrency

Lingua: Inglese

Editore: CRC Press 2009

Rilegato

Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno UnitoPhatpocket Limited

Venditore con 5 stelle

1439809437 / 9781439809433

Condizione: Usato - Buono

EUR 76,32

EUR 12,33 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Perspectives in Concurrency

Lingua: Inglese

Editore: Taylor & Francis Group 2009

Rilegato

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Mukund, Madhavan (Editor) / Chakraborty, Supratik (Editor)

Condizione: Nuovo

EUR 88,79

EUR 3,45 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 484.

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings . / Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 81,31

EUR 14,49 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 2012 edition. 433 pages. 9.06x6.06x1.02 inches. In Stock.

Formal Models, Languages and Applications

Lingua: Inglese

Editore: World Scientific Publishing Company 2006

Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

Venditore con 5 stelle

Condizione: Nuovo

EUR 100,05

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

FORMAL MODELS LANGUAGES AND APPLICATIONS (HB 2006)

Lingua: Inglese

Editore: World Scientific Publishing Company 2006

Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

Venditore con 5 stelle

Condizione: Nuovo

EUR 100,05

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

FORMAL MODELS LANGUAGES AND APPLICATIONS (HB 2006)

SUBRAMANIAN K.G.

Lingua: Inglese

Editore: World Scientific Publishing Company 2006

Rilegato

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Condizione: Nuovo

EUR 100,05

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Formal Models, Languages and Applications

K G Subramanian ,

Lingua: Inglese

Editore: World Scientific Publishing Company 2006

Rilegato

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Condizione: Nuovo

EUR 100,05

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

FORMAL MODELS LANGUAGES AND APPLICATIONS (HB 2006)

Lingua: Inglese

Editore: World Scientific Publishing Company 2006

Rilegato

Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers

Venditore con 4 stelle

Condizione: Nuovo

EUR 103,83

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

FORMAL MODELS LANGUAGES AND APPLICATIONS (HB 2006)

Lingua: Inglese

Editore: World Scientific Publishing Company 2006

Rilegato

Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers

Venditore con 4 stelle

Condizione: Nuovo

EUR 105,21

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings

Ramesh Hariharan

Lingua: Inglese

Editore: Springer, Springer 2001

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,49

EUR 62,76 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Supratik Chakraborty

Lingua: Inglese

Editore: Springer Berlin Heidelberg 2012

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,49

EUR 63,40 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 in…

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science | 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings

Ramesh Hariharan (u. a.)

Lingua: Inglese

Editore: Springer 2001

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,25

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Automated Technology for Verification and Analysis | 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Madhavan Mukund (u. a.)

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,35

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Formal Models, Languages and Applications

Lingua: Inglese

Editore: World Scientific Publishing Company, Incorporated 2006

Rilegato

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Condizione: Nuovo

EUR 124,28

EUR 3,45 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New. pp. viii + 410.

Formal Models, Languages and Applications

Lingua: Inglese

Editore: World Scientific Publishing Company, Incorporated 2006

Rilegato

Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books

Venditore con 4 stelle

Lahlou, Salem (EDT); Mukund, Madhavan (EDT)

Condizione: Nuovo

EUR 127,16

EUR 7,53 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Condizione: New. pp. viii + 410 Illus.

Networked Systems : 13th International Conference, Netys 2025, Rabat, Morocco, May 21-23, 2025, Proceedings

Lingua: Inglese

Editore: Springer 2025

3032003466 / 9783032003461

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle