All Research Papers Published In Advances in Computers | R Discovery

Book Chapter
50
10.1016/s0065-2458(05)65002-4

Software Model Checking with Spin

Jan 01, 2005
Advances In Computers
Gerard J Holzmann

Book Chapter
10.1016/s0065-2458(04)64012-5

Contents

Jan 01, 2005
Advances In Computers

Front Matter
10.1016/s0065-2458(05)65012-7

Author Index

Jan 01, 2005
Advances In Computers

Book Chapter
10.1016/s0065-2458(04)63006-3

Search and Retrieval of Compressed Text

Jan 01, 2005
Advances In Computers
Amar Mukherjee + 4 more +4

Book Chapter
10.1016/s0065-2458(04)63008-7

Contributors

Jan 01, 2005
Advances In Computers

Book Chapter
10.1016/s0065-2458(03)62011-5

Subject Index

Jan 01, 2004
Advances In Computers

Book Chapter
10.1016/s0065-2458(03)61010-7

Contents

Jan 01, 2004
Advances In Computers

Book Chapter
3
10.1016/s0065-2458(03)60004-5

Survivability: Synergizing Security and Reliability

Jan 01, 2004
Advances In Computers
Crispin Cowan

Book Chapter
10.1016/s0065-2458(03)61011-9

Contents of Volumes in This Series

Jan 01, 2004
Advances In Computers

Book Chapter
148
10.1016/s0065-2458(03)62003-6

A Survey of Empirical Results on Program Slicing

Jan 01, 2004
Advances In Computers
David Binkley + 1 more +1

Copyright 2026 Cactus Communications. All rights reserved.

Privacy PolicyCookies PolicyTerms of UseCareers