城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Computers Special purpose)
該当件数:46件
Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 / edited by Mathai Joseph
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 331)
電子ブック
Fachtagung Prozessrechner 1974 : GFK-GI-GMR. Karlsruhe, 10.-11. Juni 1974 / herausgegeben von G. Krüger, R. Friehmelt
1st ed. 1974.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974). - (Lecture Notes in Computer Science. ISSN:16113349 ; 12)
Directions in Human Factors for Interactive Systems / by H. Ledgard, A. Singer, J. Whiteside
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 103)
Enduser Systems and Their Human Factors : Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983 / edited by A. Blaser, M. Zoeppritz
1st ed. 1983.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983). - (Lecture Notes in Computer Science. ISSN:16113349 ; 150)
ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings / edited by Axel van Lamsweerde, Alfonso Fuggetta
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 550)
Software Engineering - ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings / edited by Ian Sommerville, Manfred Paul
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 717)
Software Engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings / edited by Wilhelm Schäfer, Pere Botella
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 989)
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / edited by Martin Wirsing, Maurice Nivat
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1101)
Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings / edited by Joseph Sifakis
1st ed. 1990.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990). - (Lecture Notes in Computer Science. ISSN:16113349 ; 407)
Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings / edited by J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 600)
Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings / edited by Marcel Toussaint
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 887)
Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / edited by Marcel Toussaint
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1031)
AI '88 : 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings / edited by Christopher J. Barter, Michael J. Brooks
1st ed. 1990.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 406)
Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings / edited by Pierre Wolper
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 939)
Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings / edited by Rajeev Alur, Thomas Henzinger
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1102)
Computer Aided Systems Theory - EUROCAST '95 : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings / edited by Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1030)
Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 531)
Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings / edited by Kim G. Larsen, Arne Skou
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 575)
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)
Intelligent Control Systems : An Introduction with Examples / by Gábor Szederkényi, R. Lakner, M. Gerzson
1st ed. 2001.. - (New York, NY : Springer US : Imprint: Springer , 2001). - (Applied Optimization ; 60)