1.

電子ブック
ＥＢ
1. Compressed Data Structures for Strings : On Searching and Extracting Strings from Compressed Textual Data
by Rossano Venturini
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 4
オンライン: http://dx.doi.org/10.2991/978-94-6239-033-1
2.

電子ブック
ＥＢ
2. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
edited by Guy-René Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: http://dx.doi.org/10.1007/3-540-61736-1
3.

電子ブック
ＥＢ
3. Languages and Compilers for Parallel Computing : 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: http://dx.doi.org/10.1007/BFb0014187
4.

電子ブック
ＥＢ
4. The Complexity of Simple Computer Architectures
edited by Silvia M. Müller, Wolfgang J. Paul
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 995
オンライン: http://dx.doi.org/10.1007/3-540-60580-0
5.

電子ブック
ＥＢ
5. Exploitation of Fine-Grain Parallelism
edited by Günter Böckle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 942
オンライン: http://dx.doi.org/10.1007/BFb0017665
6.

電子ブック
ＥＢ
6. Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
edited by Afonso Ferreira, José Rolim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 980
オンライン: http://dx.doi.org/10.1007/3-540-60321-2
7.

電子ブック
ＥＢ
7. Languages and Compilers for Parallel Computing : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings
edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 892
オンライン: http://dx.doi.org/10.1007/BFb0025866
8.

電子ブック
ＥＢ
8. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: http://dx.doi.org/10.1007/3-540-59293-8
9.

電子ブック
ＥＢ
9. Languages and Compilers for Parallel Computing : 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: http://dx.doi.org/10.1007/3-540-57659-2
10.

電子ブック
ＥＢ
10. Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
edited by Jeffrey J. Joyce, Carl-Johan H. Seger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 780
オンライン: http://dx.doi.org/10.1007/3-540-57826-9
11.

電子ブック
ＥＢ
11. Dependable Computing — EDCC-1 : First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings
edited by Klaus Echtle, Dieter Hammer, David Powell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 852
オンライン: http://dx.doi.org/10.1007/3-540-58426-9
12.

電子ブック
ＥＢ
12. FM8501: A Verified Microprocessor
edited by Warren A. Hunt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 795
オンライン: http://dx.doi.org/10.1007/3-540-57960-5
13.

電子ブック
ＥＢ
13. Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
edited by George J. Milne, Laurence Pierre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 683
オンライン: http://dx.doi.org/10.1007/BFb0021709
14.

電子ブック
ＥＢ
14. STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings
edited by P. Enjalbert, A. Finkel, K. W. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 665
オンライン: http://dx.doi.org/10.1007/3-540-56503-5
15.

電子ブック
ＥＢ
15. Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings
edited by F. Meyer, B. Monien, A. L. Rosenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 678
オンライン: http://dx.doi.org/10.1007/3-540-56731-3
16.

電子ブック
ＥＢ
16. Languages and Compilers for Parallel Computing : 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 757
オンライン: http://dx.doi.org/10.1007/3-540-57502-2
17.

電子ブック
ＥＢ
17. Languages and Compilers for Parallel Computing : Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 589
オンライン: http://dx.doi.org/10.1007/BFb0038653
18.

電子ブック
ＥＢ
18. Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
edited by Miriam Leeser, Geoffrey Brown
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 408
オンライン: http://dx.doi.org/10.1007/0-387-97226-9
19.

電子ブック
ＥＢ
19. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing
by Kay A. Robbins, Steven Robbins
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 374
オンライン: http://dx.doi.org/10.1007/BFb0040661
20.

電子ブック
ＥＢ
20. Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings
edited by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 241
オンライン: http://dx.doi.org/10.1007/3-540-17179-7
21.

電子ブック
ＥＢ
21. CONPAR 86 : Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings
edited by Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 237
オンライン: http://dx.doi.org/10.1007/3-540-16811-7
22.

電子ブック
ＥＢ
22. LUCAS Associative Array Processor : Design, Programming and Application Studies
by Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 216
オンライン: http://dx.doi.org/10.1007/3-540-16445-6