出版年
分類法
資料類型
語言
館藏地
書目-語言資料,印刷品:單行本
作者:Lo Cigno, R.,WONS 2004 ( : 2004),Conti, Marco (1962-),Battiti, Roberto (1961-)
出版資料:Berlin Springer c2004.
ISBN/ISSN:3540207902
館藏量 (1) 館藏可借數量 (1)
作者:Bogliolo, Alessandro,Bernardo, Marco,International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th ( : 2005)
出版資料:Berlin Springer c2005
ISBN/ISSN:3540256970
作者:Kupper, Axel.
出版資料:Hoboken, NJ : John Wiley, c2005.
ISBN/ISSN:0470092319
作者:Milojicic, Dejan S.,Douglis, Frederick,Wheeler, Richard (1962-)
出版資料:Reading, Ma. Addison-Wesley c1999
ISBN/ISSN:0201379287
作者:Flinn, Jason.
出版資料:[San Rafael, Calif.] Morgan & Claypool c2012.
ISBN/ISSN:1608458490,9781608458493
作者:Guthery, Scott B.,Cronin, Mary J.
出版資料:New York McGraw-Hill c2002
ISBN/ISSN:0071375406
館藏量 (2) 館藏可借數量 (2)
作者:Elliott, Geoffrey (1964-),Phillips, Nigel (1956-)
出版資料:Harlow, England Pearson/Addison Wesley 2004.
ISBN/ISSN:0201752409
作者:Slezak, Dominik,RSFDGrC 2005 ( : 2005)
出版資料:New York Springer 2005
ISBN/ISSN:9783540286530,9783540286608,3540286608,3540286535
作者:Katz, Marcos D.,Fitzek, Frank H. P.
出版資料:Chichester, West Sussex John Wiley & Sons Inc. 2014.
ISBN/ISSN:9780470973899
作者:Guinness, Robert E.,Chen, Ruizhi (1963-)
出版資料:Boston Artech House c2014.
ISBN/ISSN:9781608075652,1608075656