| Bild |
Beschreibung |
Läuft bis |
Preis |
Zur Auktion |
|
BUCH - Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Ri
|
bis 01:44:14, 03.06.2012 |
68,05 CHF*
Preis kann jetzt höher sein**
|

|
|
BUCH - Verification, Model Checking, and Abstract Interpretation - 9th Internati
|
bis 02:20:30, 03.06.2012 |
68,05 CHF*
Preis kann jetzt höher sein**
|

|
|
BUCH - Model Checking and Artificial Intelligence - 5th International Workshop,
|
bis 03:23:44, 03.06.2012 |
64,19 CHF*
Preis kann jetzt höher sein**
|

|
|
BUCH - Model Checking - Edmund M. Clarke
|
bis 04:21:55, 03.06.2012 |
70,86 CHF*
Preis kann jetzt höher sein**
|

|
|
BUCH - Model Checking Software - 16th International SPIN Workshop, Grenoble, Fra
|
bis 05:24:30, 03.06.2012 |
68,05 CHF*
Preis kann jetzt höher sein**
|

|
|
Model Checking Edmund M. Clarke
|
bis 05:00:19, 02.06.2012 |
66,24 CHF*
Preis kann jetzt höher sein**
|

|
|
BUCH - Unfoldings - A Partial-Order Approach to Model Checking - Javier Esparza
|
bis 02:20:14, 03.06.2012 |
89,90 CHF*
Preis kann jetzt höher sein**
|

|
|
BUCH - Model Checking Software - 15th International SPIN Workshop, Los Angeles,
|
bis 02:20:33, 03.06.2012 |
70,62 CHF*
Preis kann jetzt höher sein**
|

|