• Suche: Formal Methods for Quantitative Aspects of Programming Languages

Treffer 1 - 20 von 1.363

2
Piskac, Ruzica (Verfasser)
Austin, TX : FMCAD Inc, 2016
E-Book
Merkliste
3
Claessen, Koen (Verfasser)
Austin, TX : FMCAD Inc, 2014
E-Book
Merkliste
4
Bjesse, Per (Verfasser)
Austin, TX : FMCAD Inc, 2011
E-Book
Merkliste
5
Bloem, Roderick (Verfasser)
Austin, TX : FMCAD Inc, 2010
E-Book
Merkliste
6
Hofstedt, Petra (Verfasser)
Berlin : Springer, 2011
Buch
Merkliste
7
Crespi Reghizzi, Stefano (Verfasser)
2nd ed. 2013
London : Springer London, 2013
E-Book
Merkliste
8
Crespi Reghizzi, Stefano (Verfasser)
1st ed. 2009
London : Springer London, 2009
E-Book
Merkliste
9
Harper, Robert (Verfasser)
Second edition.
Cambridge : Cambridge University Press, 2016
E-Book
Merkliste
10
Liu, Zhiming (Herausgeber)
1st ed. 2013
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
E-Book
Merkliste
11
Pierce, Benjamin C. (Verfasser)
Cambridge, Mass. : MIT Press, 2002
Buch
Merkliste
12
Schmidt, David (Herausgeber)
Berlin : Springer, 2004
Buch
Merkliste
13
Lee, Kent D.
Berlin [u.a.] : Springer, 2008
Buch
Merkliste
14
Wing, Jeannette M. (Hrsg.)
Berlin [u.a.] : Springer, 1999
Buch
Merkliste
15
Wing, Jeannette M. (Hrsg.)
Berlin [u.a.] : Springer, 1999
Buch
Merkliste
16
Winskel, Glynn
3. print
Cambridge, Mass. [u.a.] : MIT Press, 1996
Buch
Merkliste
17
Jacky, Jonathan (Verfasser)
Cambridge : Cambridge University Press, 1997
E-Book
Merkliste
18
Orejas, Fernando (Herausgeber)
Berlin : Springer, 2001
Buch
Merkliste
19
Hofstedt, Petra (Verfasser)
1st ed. 2011
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
E-Book
Merkliste
20
Winskel, Glynn
Cambridge, Mass. [u.a.] : MIT Press, 1993
Buch
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter