ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Programming )
該当件数:67件
Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl.
Berlin : Springer-Verlag , 1975.. - New York. - (Lecture notes in computer science. ; 23)
図書
Proceedings. / Edited by Harold W. Kuhn.
Princeton, N.J., : Princeton University Press , 1970.
図書 [BA03945473]
Algorithms and model formulations in mathematical programming / edited by Stein W. Wallace
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1989. - (NATO ASI series ; ser. F . Computer and systems sciences ; v. 51)
図書 [BA06908666]
Optimization techniques : an introduction / L.R. Foulds.
New York : Springer-Verlag , c1981.. - (Undergraduate texts in mathematics.)
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar.
Berlin : Springer-Verlag , 1984.. - New York. - Tokyo. - (Lecture notes in computer science. ; 181)
Optimization / edited by G.L. Nemhauser, A.H.G. Rinnooy Kan, M.J. Todd.
Amsterdam : North-Holland , 1989.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - Tokyo. - New York, NY, U.S.A.. - (Handbooks in operations research and management science. ; v. 1)
図書 [BA07416805]
Elementary mathematical programming.
New York : Wiley , 1963. - (Science editions ; ; 450-S)
Linear programming and associated techniques; : a comprehensive bibliography on linear, nonlinear, and dynamic programming, / by Vera Riley and Saul I. Gass.
[Rev. ed.]. - Baltimore : Published for Operations Research Office, the Johns Hopkins University, by the Johns Hopkins Press , [1959]. - (Johns Hopkins University. Operations Research Office. Bibliographic reference series, no. 5. Programming for policy decision, v. 1). - (Bibliographic reference series (Johns Hopkins University. Operations Research Office))
Quadratic programming: : algorithms, anomalies [and] applications.
Amsterdam, : North-Holland Pub. Co. , 1964.
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth.
Berlin : Springer-Verlag , 1981.. - New York. - (Lecture notes in computer science. ; 122)
Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler.
Berlin : Springer-Verlag , 1981.. - (Lecture notes in computer science. ; 125)
The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa.
Berlin : Springer-Verlag , 1983.. - Tokyo. - (Lecture notes in computer science. ; 160)
Nonlinear programming / [by] Olvi L. Mangasarian.
New York : McGraw-Hill , [1969]. - (McGraw-Hill series in systems science)
International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] / Edited by Andrei Ershov and Valery A. Nepomniaschy.
Berlin, : Springer-Verlag , 1974.. - New York,. - (Lecture notes in computer science. ; 5)
Simple program schemes and formal languages / Joost Engelfriet.
Berlin : Springer-Verlag , 1974.. - New York. - (Lecture notes in computer science. ; 20)
An introduction to programming with specifications : a mathematical approach / Ryszard Kubiak, Roman Rudzinski, Stefan Sokolowski.
London : Academic Press , 1991.. - (The A.P.I.C. series ; ; no.35). - (A.P.I.C. studies in data processing.)
図書 [BA12603073]
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 proceedings / Patrick Cousot ... [et al.].
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 724)
Goal programming : methodology and applications / by Marc J. Schniederjans.
Boston : Kluwer Academic Publishers , c1995.
図書 [BA25657326]
Theory of duality in mathematical programming / Manfred Walk.
Wien : Springer-Verlag , c1989.. - New York
The B-book : assigning programs to meanings / J.-R. Abrial.
Cambridge : Cambridge University Press , 1996.. - New York
図書 [BA28484188]
Computational combinatorial optimization : optimal or provably near-optimal solutions / Michael Juünger, Denis Naddef (eds.).
Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2241)
図書 [BA54616876]
Nonlinear programming; : a unified approach, / by Willard I. Zangwill.
Englewood Cliffs, N.J. : Prentice-Hall , [1969]. - (Prentice-Hall international series in management)
Applied programming for management / [by] Narendra Paul Loomba [and] Efraim Turban.
New York, : Holt, Rinehart and Winston , [1974]
図書 [BA14382328]
Introduction to optimization techniques; : fundamentals and applications of nonlinear programming. -
New York, : Macmillan , [1971]. - (Macmillan series in applied computer sciences)
Contributions to input-output analysis : proceedings of the 4th International Conference on Input-Output Techniques, Geneva, 8-12 Jan. 1968. / edited by A.P. Carter and A. Brody.
Amsterdam : North Holland Publishing Co. , 1970.
Pseudo-Boolean methods for bivalent programming / [by] P. L. Ivanescu [and] S. Rudeanu.
Berlin : Springer-Verlag , 1966.. - New York. - (Lecture notes in mathematics ; 23)
A Unified approach to interior point algorithms for linear complementarity problems / M. Kojima ... [et al.].
Berlin : Springer-Verlag , c1991.. - New York. - (Lecture notes in computer science. ; 538)
Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 proceedings / S. Doaites Swierstra (ed.).
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1576)
図書 [BA40723947]
A first course in optimization theory / Rangarajan K. Sundaram
: hard,: pbk. - New York ; Cambridge : Cambridge University Press , 1996
図書 [BA28191893]
Foundations of optimization / Osman Güler
New York ; London : Springer , c2010. - (Graduate texts in mathematics ; 258)
図書 [BB03397852]
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.
Berlin : Springer-Verlag , c1985.. - Tokyo. - (Lecture notes in computer science. ; 194)
Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 proceedings / Thomas Ottmann, ed.
Berlin : Springer-Verlag , c1987.. - Tokyo. - (Lecture notes in computer science. ; 267)
Macroeconomics and programming / [by] Kenneth K. Kurihara.
London, : Allen & Unwin , [1964]
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings / Timo Lepistö, Arto Salomaa (eds.).
Berlin : Springer-Verlag , c1988.. - New York. - Tokyo. - (Lecture notes in computer science. ; 317)
Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 proceedings / [ICALP 89] G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds.
Berlin : Springer-Verlag , c1989.. - New York. - Tokyo. - (Lecture notes in computer science. ; 372)
Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.
Berlin : Springer-Verlag , 1983.. - New York. - (Lecture notes in computer science. ; 154)
Progress in operations research. / Edited by A. Prékopa.
Amsterdam, : North-Holland, , 1976.. - (Colloquia mathematica societatis János Bolyai, 12). - (Colloquia mathematica Societatis János Bolyai.)
Automata, languages and programming. : 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974. / Edited by Jacques Loeckx.
Berlin, : Springer-Verlag , 1974.. - New York,. - (Lecture notes in computer science. ; 14)
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle.
Berlin : Springer-Verlag , 1975.. - New York. - (Lecture notes in computer science. ; 28)
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976 / edited by A. Mazurkiewicz.
Berlin : Springer-Verlag , 1976.. - New York. - (Lecture notes in computer science. ; 45)
Automata, languages, and programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 / edited by Jan Paredaens.
Berlin : Springer-Verlag , 1984.. - Tokyo. - (Lecture notes in computer science. ; 172)
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Reitz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke.
Berlin : Spring-Verlag , c1986.. - Tokyo. - (Lecture notes in computer science. ; 215)
Random processes in physical systems : an introduction to probability-based computer simulations / Charles A. Whitney.
New York : Wiley , c1990.
図書 [BA1138303X]
Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.).
Berlin : Springer-Verlag , c1995.. - New York. - (Lecture notes in computer science. ; 944)
図書 [BA25433748]
Automata, languages, and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 proceedings / Serge Abiteboul, Eli Shamir (eds.).
Berlin : Springer-Verlag , c1994.. - (Lecture notes in computer science. ; 820)
図書 [BA23004387]
Automata, languages, and programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 proceedings / A. Lingas, R. Karlsson, S. Carlsson, eds.
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 700)
Programming and mathematical techniques in physics : International Conference on Programming and Mathematical Methods for Solving Physical Problems / editors, Yu. Yu. Lobanov, E.P. Zhidkov.
Singapore : World Scientific , c1994.. - River Edge, NJ
図書 [BA23102590]
Multiobjective programming and planning / Jared L. Cohon.
San Diego, Calif. : Academic Press , c1978.. - (Mathematics in science and engineering. ; v. 140)
Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 proceedings / F. Meyer auf der Heide, B. Monien (eds.).
Berlin : Springer-Verlag , c1996.. - New York. - (Lecture notes in computer science. ; 1099)
Programming, games and transportation networks, / by Claude Berge and A. Ghouila-Houri. Translated by Maxine Merrington and C. Ramanujacharyulu. -
London, : Methuen; , [1965]. - New York, : Wiley