close
1.

電子ブック
ＥＢ
1. PARLE '89 - Parallel Architectures and Languages Europe : Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings. 1st ed. 1989
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報:   XVI, 444 p.
シリーズ名: Lecture Notes in Computer Science ; 366
所蔵情報: loading…
目次情報:
2.

電子ブック
ＥＢ
2. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988. 1st ed. 1989
edited by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
出版情報:   X, 718 p.
シリーズ名: Lecture Notes in Computer Science ; 354
所蔵情報: loading…
目次情報:
3.

電子ブック
ＥＢ
3. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing. 1st ed. 1989
by Kay A. Robbins, Steven Robbins
出版情報:   VIII, 172 p.
シリーズ名: Lecture Notes in Computer Science ; 374
所蔵情報: loading…
目次情報:
4.

電子ブック
ＥＢ
4. Distributed Algorithms : 3rd International Workshop, Nice, France, September 26-28, 1989. Proceedings. 1st ed. 1989
edited by Jean-Claude Bermond, Michel Raynal
出版情報:   VIII, 320 p.
シリーズ名: Lecture Notes in Computer Science ; 392
所蔵情報: loading…
目次情報:
5.

電子ブック
ＥＢ
5. Experiences with Distributed Systems : International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings. 1st ed. 1988
edited by Jürgen Nehmer
出版情報:   VI, 293 p.
シリーズ名: Lecture Notes in Computer Science ; 309
所蔵情報: loading…
目次情報:
6.

電子ブック
ＥＢ
6. Local Area Network Security : Workshop LANSEC '89. European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3-6, 1989. Proceedings. 1st ed. 1989
edited by Thomas A. Berson, Thomas Beth
出版情報:   XII, 156 p.
シリーズ名: Lecture Notes in Computer Science ; 396
所蔵情報: loading…
目次情報:
7.

電子ブック
ＥＢ
7. Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings. 1st ed. 1988
edited by Jan Grabowski, Pierre Lescanne, Wolfgang Wechler
出版情報:   IX, 269 p.
シリーズ名: Lecture Notes in Computer Science ; 343
所蔵情報: loading…
目次情報: 続きを見る
Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg:
Functional extensions to Prolog: are they needed? / E. Giovanetti:
Narrowing and resolution in logic-functional programming languages. / H. Hussmann:
Nondeterministic algebraic specifications and nonconfluent term rewriting. / J-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. MFgrelis:
OBJ: Programming with equalities, subsorts, overloading and parameterization. / G. Smolka:
Logic programming with polymorphically order-sorted types.
And 20 submitted papers.
Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg:
Functional extensions to Prolog: are they needed? / E. Giovanetti:
Narrowing and resolution in logic-functional programming languages. / H. Hussmann:
8.

電子ブック
ＥＢ
8. Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980. 1st ed. 1982
edited by M. Maekawa, L.A. Belady
出版情報:   X, 470 p.
シリーズ名: Lecture Notes in Computer Science ; 143
所蔵情報: loading…
目次情報:
9.

電子ブック
ＥＢ
9. Concepts in User Interfaces : A Reference Model for Command and Response Languages. 1st ed. 1986
by David Beech, Christian Gram, Hans-Jürgen Kugler, Ian Newman, Helmut Stiegler, Claus Unger ; edited by David Beech
出版情報:   X, 119 p.
シリーズ名: Lecture Notes in Computer Science ; 234
所蔵情報: loading…
目次情報:
10.

図書
図書
10. Systems programming in Unix/Linux
K.C. Wang
出版情報: Cham : Springer, c2018  xxi, 452 p. ; 26 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼