• Suche: Property checking with constraint integer programming

Treffer 1 - 20 von 73

1
Achterberg, Tobias
Berlin-Dahlem : Konrad-Zuse-Zentrum für Informationstechnik, 2007
E-Book
Merkliste
2
Li, Duan
New York, NY [u.a] : Springer, 2006
Buch
Merkliste
3
Deransart, Pierre (Herausgeber)
Berlin : Springer, 2000
Buch
Merkliste
4
Walsh, Toby (Herausgeber)
Berlin : Springer, 2001
Buch
Merkliste
5
Van Hentenryck, Pascal
Cambridge [u.a.] : MIT Press, 1989
Buch
Merkliste
7
Hu, Te Chiang
Reading, Mass. [u.a.] : Addison-Wesley, 1969
Buch
Merkliste
9
Orejas, Fernando (Herausgeber)
Berlin : Springer, 2001
Buch
Merkliste
10
Hu, Te Chiang
2. print.
Reading/Mass : Addison-Wesley, 1970
Buch
Merkliste
11
Palamidessi, Catuscia (Herausgeber)
Berlin : Springer, 1998
Buch
Merkliste
12
Larsen, Kim Guldstrand (Herausgeber)
Berlin : Springer, 1998
Buch
Merkliste
13
Aceto, Luca (Herausgeber)
1st ed. 2008
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
E-Book
Merkliste
14
Hill, Patricia M (Herausgeber)
1st ed. 2009
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
E-Book
Merkliste
15
Murty, Katta G.
New York [u.a.] : Wiley, 1976
Buch
Merkliste
16
Cervesato, Iliano (Herausgeber)
1st ed. 2008
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
E-Book
Merkliste
17
Robert, Christian P. (Verfasser)
New York, NY : Springer, 2010
Buch
Merkliste
18
Minoux, Michel
Chichester [u.a.] : Wiley, 1986
Buch
Merkliste
19
Aceto, Luca (Herausgeber)
1st ed. 2008
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
E-Book
Merkliste
20
Quarteroni, Alfio (Verfasser)
Second edition
Berlin : Springer, 2007
Buch
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter