学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード:(標準分類: 005)
該当件数:26件
Problem solving with computers / Greg W. Scragg
Sudbury, Mass. : Jones & Bartlett , 1997
書誌ID=2000656337 NCID=BA29421208
Experiences in software evolution and reuse : twelve real world projects / S. Hallsteinsen, M. Paci (eds.)
Berlin ; Tokyo : Springer , c1997. - (Research reports ESPRIT ; Project 9809, SER ; v. 1)
書誌ID=2000696584 NCID=BA33003868
SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1175)
書誌ID=2000711578 NCID=BA28943398
SGML and related standards : document description and processing languages / Joan M. Smith
New York : Ellis Horwood , 1992. - (Ellis Horwood series in computers and their applications)
書誌ID=2000530224 NCID=BA2202943X
Text compression / Timothy C. Bell, John G. Cleary, Ian H. Witten
Englewood Cliffs, N.J. : Prentice Hall , c1990. - (Prentice Hall advanced reference series ; . Computer science)
書誌ID=2000346557 NCID=BA10482149
An introduction to text processing / Peter D. Smith
Cambridge, Mass. : MIT Press , c1990
書誌ID=2000366438 NCID=BA10792485
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / K.V. Nori, C.E. Veni Madhavan (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 472)
書誌ID=2000378513 NCID=BA11532865
Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 405)
書誌ID=2000320494 NCID=BA07732612
Software reliability modelling and identification / Sergio Bittanti (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 341)
書誌ID=2000242277 NCID=BA05083450
Systemic text generation as problem solving / Terry Patten
Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1988. - (Studies in natural language processing)
書誌ID=2000140050 NCID=BA03647205
Program correctness over abstract data types, with error-state semantics / J.V. Tucker, J.I. Zucker
Amsterdam ; Tokyo : North-Holland. - New York : Sole distributors for the U.S.A and Canada, Elsevier Science Pub. Co. , 1988. - (CWI monograph ; 6)
書誌ID=2000155411 NCID=BA03706836
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 300)
書誌ID=2000231454 NCID=BA03441924
Empirical foundations of information and software science III / edited by Jens Rasmussen and Pranas Zunde
New York : Plenum Press , c1987
書誌ID=2000237848 NCID=BA06850511
Communicating sequential processes / C.A.R. Hoare
: pbk. - Englewood Cliffs, N.J. : Prentice-Hall International , c1985. - (Prentice-Hall International series in computer science)
書誌ID=2000010126 NCID=BA00618492
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann (eds.)
Berlin ; New York ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1012)
書誌ID=2000709177 NCID=BA26362419
Text and context : document storage and processing / Susan Jones
: us,: gw. - London ; Tokyo : Springer-Verlag , c1991
書誌ID=2000461507 NCID=BA13247768
Foundations of software technology and theoretical computer science : 12th Conference, New Delhi, India, December 18-20, 1992 : proceedings / R. Shyamasundar (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 652)
書誌ID=2000496900 NCID=BA19093598
Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / S. Biswas, K.V. Nori, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 560)
書誌ID=2000446533 NCID=BA13457807
ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet and R. Wilhelm
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 213)
書誌ID=2000016657 NCID=BA00140659
Foundations of software technology and theoretical computer science : Sixth Conference, New Delhi, India, December 18-20, 1986, proceedings : FSTandTCS6 / edited by Kesav V. Nori
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 241)
書誌ID=2000044155 NCID=BA00420473