城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA76.9.A73)
該当件数:18件
Digital Signature Schemes : General Framework and Fail-Stop Signatures / by Birgit Pfitzmann
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1100)
電子ブック
Hybrid Systems II / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 999)
CONPAR 86 : Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings / herausgegeben von Wolfgang Händler, Dieter Haupt, Rolf Jelitsch, Wilfried Juling, Otto Lange
1st ed. 1986.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986). - (Lecture Notes in Computer Science. ISSN:16113349 ; 237)
Reliability Evaluation of Some Fault-Tolerant Computer Architectures / by S. Osaki, T. Nishio
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 97)
Future Parallel Computers : An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings / edited by Philip C. Treleaven, Marco Vanneschi
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 272)
Alternating Sequential-Parallel Processing / by Y. Wallach
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 127)
WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology : Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2-4, 1986 / edited by Jörg D. Becker, Ignaz Eisele
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 253)
Functional Programming Languages and Computer Architecture : Proceedings, Nancy, France, September 16-19, 1985 / edited by Jean-Pierre Jouannaud
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 201)
PARLE Parallel Architectures and Languages Europe : Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings / edited by Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 258)
A Hierarchical Associative Processing System / by Heinrich J. Stüttgen
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 195)
Hybrid Systems III : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1066)
PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings / edited by Emile H.L. Aarts, Jan van Leeuwen, Martin Rem
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 506)
Advances in Computing and Information - ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings / edited by Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 497)
Distributed Memory Computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991 / edited by Arndt Bode
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 487)
Parallel Processing: CONPAR 92 — VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1–4, 1992 Proceedings / edited by Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 634)
Hybrid Systems / edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 736)
Parallel Computer Architectures : Theory, Hardware, Software, Applications / edited by Arndt Bode, Mario Dal Cin
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 732)
Nonlinear Assignment Problems : Algorithms and Applications / edited by Panos M. Pardalos, L.S. Pitsoulis
1st ed. 2000.. - (New York, NY : Springer US : Imprint: Springer , 2000). - (Combinatorial Optimization ; 7)