選択資料から書架並びで前後20冊ずつを表示します。
Dependable computing systems : paradigms, performance issues, and applications / edited by Hassan B. Diab and Albert Y. Zomaya
: cloth
書庫2階
Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings / Klaus Echtle, Dieter Hammer, David Powell, eds
書庫2階
Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings / Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.)
書庫2階
Dependable computing--EDCC-3 : third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings / Jan Hlavička, Erik Maehle, András Pataricza (eds.)
書庫2階
Hardware and software architectures for fault tolerance : experiences and perspectives / Michel Banâtre, Peter A. Lee (eds.)
書庫2階
Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio
書庫2階
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
書庫2階
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
書庫2階
Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
書庫2階
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)
書庫2階
Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.)
書庫2階
FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
v. 1
書庫2階
FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
v. 2
書庫2階
Constituent coordination in HPSG / Derek Proudian and David Goddeau
書庫2階
Explanation and interaction : the computer generation of explanatory dialogues / Alison Cawsey
書庫2階
Cognition, communication and interaction : transdisciplinary perspectives on interactive technology / Satinder Gill, editor
: hbk
書庫2階
Where the action is : the foundations of embodied interaction / Paul Dourish
: hc
書庫2階