1.
電子ブック |
edited by László Böszörményi
|
|||||||
2.
電子ブック |
edited by Michael Jampel, Eugene Freuder, Michael Maher
|
|||||||
3.
電子ブック |
edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis
|
|||||||
4.
電子ブック |
edited by Joxan Jaffar, Roland H. C. Yap
|
|||||||
5.
電子ブック |
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
|
|||||||
6.
電子ブック |
edited by Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
|
|||||||
7.
電子ブック |
edited by Paolo Ciancarini, Chris Hankin
|
|||||||
8.
電子ブック |
edited by Hanne Riis Nielson
|
|||||||
9.
電子ブック |
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
|
|||||||
10.
電子ブック |
edited by Alfred Strohmeier
|
|||||||
11.
電子ブック |
edited by José Júlio Alferes, Luís Moniz Pereira
|
|||||||
12.
電子ブック |
edited by John Launchbury, Erik Meijer, Tim Sheard
|
|||||||
13.
電子ブック |
edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang
|
|||||||
14.
電子ブック |
edited by Hélène Kirchner
|
|||||||
15.
電子ブック |
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
|
|||||||
16.
電子ブック |
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
|
|||||||
17.
電子ブック |
edited by Maurizio Proietti
|
|||||||
18.
電子ブック |
edited by Kokichi Futatsugi, Satoshi Matsuoka
|
|||||||
19.
電子ブック |
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
|
|||||||
20.
電子ブック |
edited by Radhia Cousot, David A. Schmidt
|
|||||||
21.
電子ブック |
edited by Guy-René Perrin, Alain Darte
|
|||||||
22.
電子ブック |
edited by Claude Puech, Rüdiger Reischuk
|
|||||||
23.
電子ブック |
edited by Marcel Toussaint
|
|||||||
24.
電子ブック |
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
|
|||||||
25.
電子ブック |
edited by Dror G. Feitelson, Larry Rudolph
|
|||||||
26.
電子ブック |
edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski
|
|||||||
27.
電子ブック |
edited by Gabriel Kuper, Mark Wallace
|
|||||||
28.
電子ブック |
edited by Marie-Claude Gaudel, James Woodcock
|
|||||||
29.
電子ブック |
edited by Ugo Montanari, Vladimiro Sassone
|
|||||||
30.
電子ブック |
30. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
|
|||||||
31.
電子ブック |
edited by Herbert Kuchen, S. Doaitse Swierstra
|
|||||||
32.
電子ブック |
edited by Eugene C. Freuder
|
|||||||
33.
電子ブック |
edited by Olivier Danvy, Robert Glück, Peter Thiemann
|
|||||||
34.
電子ブック |
edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
|
|||||||
35.
電子ブック |
edited by Pierre Cointe
|
|||||||
36.
電子ブック |
edited by Özalp Babaoğlu, Keith Marzullo
|
|||||||
37.
電子ブック |
edited by Helene Kirchner
|
|||||||
38.
電子ブック |
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
|
|||||||
39.
電子ブック |
edited by Eugene C. Freuder
|
|||||||
40.
電子ブック |
edited by Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
|
|||||||
41.
電子ブック |
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
|
|||||||
42.
電子ブック |
edited by Kokichi Futatsugi, Satoshi Matsuoka
|
|||||||
43.
電子ブック |
edited by Alfonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang
|
|||||||
44.
電子ブック |
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
|
|||||||
45.
電子ブック |
edited by Michael Jampel, Eugene Freuder, Michael Maher
|
|||||||
46.
電子ブック |
edited by Hanne R. Nielson
|
|||||||
47.
電子ブック |
edited by Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec
|
|||||||
48.
電子ブック |
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
|
|||||||
49.
電子ブック |
edited by Claude Puech, Rüdiger Reischuk
|
|||||||
50.
電子ブック |
edited by Alfred Strohmeier
|