富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.6)
該当件数:34件
Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence)
図書
Texturing and modeling : a procedural approach / David S. Ebert ... [et al.]
: disk. - Boston : AP Professional , c1994
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 735)
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 669)
A practical theory of programming / Eric C. R. Hehner
: us,: gw. - 1st ed. - New York : Berlin : Springer-Verlag , c1993. - (Texts and monographs in computer science)
What computing is all about / Jan L. A. van de Snepscheut
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning : with S.J. Garland ... [et al.]
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
: Berlin,: New York. - Berlin : New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 632)
Large problems, small machines : transforming your programs with advanced algorithms / Steve Heller
San Diego : Academic Press , c1992
Programming principles in computer graphics / Leendert Ammeraal
: pbk. - 2nd ed. - Chichester [West Sussex] : New York : Wiley , c1992. - (Wiley professional computing)
Problems in programming : experience through practice / Andrej Vitek ... [et al.]
Chichester, West Sussex, England : New York : J. Wiley , c1991. - (Wiley professional computing)
Design & efficiency / B.M.E. Moret, H.D. Shapiro
Redwood City, CA : Benjamin/Cummings , c1991. - (Algorithms from P to NP / B.M.E. Moret, H.D. Shapiro ; v. 1)
Programming in the 1990s : an introduction to the calculation of programs / Edward Cohen
us ; alk. paper,gw. - New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
McGraw-Hill personal computer programming encyclopedia : languages and operating systems / William J. Birnes, editor : William P. Woodall, technical editor ; Nancy Hayfield, production editor
est.. - 2nd ed. - New York : McGraw-Hill , c1989
The Xinu approach / Douglas Comer and Steven Munson
Macintosh ed. - Englewood Cliffs, N.J. : Tokyo : Prentice-Hall , c1989. - (Operating system design / Douglas Comer ; v. 1)
Computing in Horn clause theories / Peter Padawitz
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1988. - (EATCS monographs on theoretical computer science ; v. 16)
Foundations of logic programming / J.W. Lloyd
: us,: gw. - 2nd, extended ed. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Symbolic computation ; . Artificial intelligence)
Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 283)
Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings / Marisa Venturini Zilli (ed.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 280)
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation / Micha Hofri
: U.S.,: Germany. - New York : Tokyo : Springer-Verlag , c1987. - (Texts and monographs in computer science)