IMSc Library catalog › Details for: Validation of stochastic systems: guide to current research

Normal view MARC view ISBD view

Validation of stochastic systems: guide to current research

TextSeries: Lecture notes in computer science ; 02925Publication details: Berlin ; Springer ; 2004Description: 465ISBN: 3540222650

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		52583

Previous								Next
Previous	681 LNCS Objects Agents and Features: international seminar Dagstuhl Castle, Germany, February 16-21, 2003: revised and invited papers	681 LNCS Primality Testing in Polynomial Time: from randomized algorithms to Primes is in P	681 LNCS Fast software encryption: 11th international workshop, FSE 2004, Delhi, India, February 5-7, 2004, revised papers	681 LNCS Validation of stochastic systems: guide to current research	681 LNCS Logic versus approximation: essays dedicated to Michael M. Richter on the occasion of his 65th birthday	681 LNCS Theory of cryptography: first theory of cryptography conference, TCC 2004 Cambridge, MA, USA, February 2004	681 LNCS Algorithms and computation: 14th international symposium, ISAAC 2003 Kyoto, Japan, December 2003: proceedings	Next

There are no comments on this title.

to post a comment.