富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Electronic digital computers Programming)
該当件数:44件
Parallel Programming : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
電子ブック
Quality of Software Architectures : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 4214)
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / edited by András Horváth, Miklós Telek
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 4054)
Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 4184)
Software Process Modeling / edited by Silvia T. Acuna, Natalia Juristo
1st ed. 2005.. - (New York, NY : Springer US : Imprint: Springer , 2005). - (International Series in Software Engineering ; 10)
Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / edited by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Programming and Software Engineering. ISSN:29459168 ; 3712)
A Software Process Model Handbook for Incorporating People's Capabilities / by Silvia T. Acuna, Natalia Juristo, Ana Maria Moreno, Alicia Mon
1st ed. 2005.. - (New York, NY : Springer US : Imprint: Springer , 2005)
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3670)
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
Crossroads
1.1 (Sept. 1994)-. - New York, N.Y. : Association for Computing Machinery , 1994-
電子ジャーナル
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)
Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 755)
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)
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning : with S.J. Garland ... [et al.]
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
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)