Related Books
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 339
Pages: 339
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2024-11-03 - Publisher: Springer
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Meth
Language: en
Pages: 901
Pages: 901
Type: BOOK - Published: 2006-04-14 - Publisher: John Wiley & Sons
Critically acclaimed text for computer performance analysis--now in its second edition The Second Edition of this now-classic text provides a current and thorou
Language: en
Pages: 1100
Pages: 1100
Type: BOOK - Published: 2002-06-26 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 29th International Colloquium on Automata, Languages and Programming, ICALP 2002, held in Malaga, Spain, i
