城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Computer programming)
該当件数:300件
Program Construction : International Summer School / by F.L. Bauer, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner ; edited by F.L. Bauer, M. Broy
1st ed. 1979.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1979). - (Lecture Notes in Computer Science. ISSN:16113349 ; 69)
電子ブック
Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke
1st ed. 1986.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986). - (Lecture Notes in Computer Science. ISSN:16113349 ; 215)
Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings / edited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 306)
Coroutines : A Programming Methodology, a Language Design and an Implementation / by C.D. Marlin
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 95)
Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 / edited by Albert Kündig, Richard E. Bührer, Jacques Dähler
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 284)
Factors and Factorizations of Graphs : Proof Techniques in Factor Theory / by Jin Akiyama, Mikio Kano
1st ed. 2011.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2011). - (Lecture Notes in Mathematics. ISSN:16179692 ; 2031)
ECOOP '88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15-17, 1988. Proceedings / edited by Stein Gjessing, Kristen Nygaard
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 322)
Algorithms in Modern Mathematics and Computer Science : Proceedings, Urgench, Uzbek SSR September 16-22, 1979 / edited by A. P. Ershov, D. E. Knuth
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 122)
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings / edited by M. Dezani-Ciancaglini, U. Montanari
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 137)
Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings / edited by David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard
1st ed. 1986.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986). - (Lecture Notes in Computer Science. ISSN:16113349 ; 240)
ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings / edited by Bernard Robinet
1st ed. 1986.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986). - (Lecture Notes in Computer Science. ISSN:16113349 ; 213)
Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings / edited by J. Diaz, I. Ramos
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 107)
Verifying Concurrent Processes Using Temporal Logic / by B. T. Hailpern
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 129)
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 315)
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions / by Dominique Snyers, Andre Thayse
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 271)
An Introduction to the PL/CV2 Programming Logic / by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 135)
Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / edited by Olivier Danvy, Robert Glück, Peter Thiemann
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1110)
Methods of Programming : Selected Papers on the CIP-Project / edited by Manfred Broy, Martin Wirsing
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 544)
Optimal Control Theory / by L.D. Berkovitz
1st ed. 1974.. - (New York, NY : Springer New York : Imprint: Springer , 1974). - (Applied Mathematical Sciences. ISSN:2196968X ; 12)
Transport Simulation in Microelectronics / by Alfred Kersch, William J. Morokoff
1st ed. 1995.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1995). - (Progress in Numerical Simulation for Microelectronics ; 3)