同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子ブック/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 005.1)
該当件数:303件
New ideas in optimization / David Corne, Marco Dorigo, Fred Glover
: pbk. - London : McGraw-Hill , c1999. - (Advanced topics in computer science series)
図書 <BB00461962>
Designing evolutionary algorithms for dynamic environments / Ronald W. Morrison
Berlin : Springer , c2004. - (Natural computing series)
図書 <BB10064517>
Data structures and program design in C / Robert L. Kruse, Bruce P. Leung, Clovis L. Tondo
London : Prentice-Hall International , c1991
図書 <BB00169826>
Evolutionary algorithms for embedded system design / edited by Rolf Drechsler, Nicole Drechsler
Boston : Kluwer Academic , c2003. - (Genetic algorithms and evolutionary computation ; 10)
図書 <BB00564104>
Problem solving and programming concepts / Maureen Sprankle, Jim Hubbard
: pbk. - 8th ed. - London : Pearson Education , c2009. - (Pearson international edition)
図書 <BB12172747>
Topological UML modeling : an improved approach for domain modeling and software development / Janis Osis, Uldis Donins
: [pbk.]. - Amsterdam : Elsevier , c2017. - (Computer science reviews and trends ; . Computer architecture)
図書 <BB13024424>
Algorithms and models for the Web graph : 12th International Workshop, WAW 2015, Eindhoven, the Netherlands, December 10-11, 2015 : proceedings / David F. Gleich, Júlia Komjáthy, Nelly Litvak (eds.)
: [pbk.]. - Cham : Springer , c2015. - (Lecture notes in computer science ; 9479)
図書 <BB13025344>
Algorithms and models for the Web graph : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016 : proceedings / Anthony Bonato, Fan Chung Graham, Paweł Prałat (eds.)
: [pbk.]. - Cham : Springer , c2016. - (Lecture notes in computer science ; 10088)
図書 <BB13025345>
Model and data engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings / Ladjel Bellatreche, Yannis Manolopoulos (eds.)
: [pbk.]. - Cham : Springer , c2015. - (Lecture notes in computer science ; 9344)
図書 <BB13083011>
Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings / Yassine Ouhammou ... [et al.] (eds.)
: [pbk.]. - Cham : Springer , c2017. - (Lecture notes in computer science ; 10563 . LNCS sublibrary ; SL2 . Programming and software engineering)
図書 <BB13083013>
Model and data engineering : Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 : proceedings / Alfredo Cuzzocrea, Sofian Maabout (eds.)
: [pbk.]. - Heidelberg : Springer , c2013. - (Lecture notes in computer science ; 8216 . LNCS sublibrary ; SL2 . Programming and software engineering)
図書 <BB13083023>
Model and data engineering : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014 : proceedings / Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos (eds.)
: [pbk.]. - Cham : Springer , c2014. - (Lecture notes in computer science ; 8748 . LNCS sublibrary ; SL2 . Programming and software engineering)
図書 <BB13083024>
Kubernetes in production best practices : build and manage highly available production-ready Kubernetes clusters / Aly Saleh, Murat Karslioglu
: [pbk.]. - Birmingham : Packt Pub. , 2021
図書 <BB13164047>
Essential algorithms : a practical approach to computer algorithms / Rod Stephens
: [pbk.]. - Indianapolis : Wiley , c2013
図書 <BB12638597>
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms
Trade Cloth. - Philadelphia : Society for Industrial and Applied Mathematics , Jan. 2004
電子ブック <OB00749987>
Algorithms and models for the Web graph : 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017 : revised selected papers / Anthony Bonato, Fan Chung Graham, Paweł Prałat (eds.)
: [pbk.]. - Cham : Springer , c2017. - (Lecture notes in computer science ; 10519)
図書 <BB13066713>
Algorithms and models for the Web graph : 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018 : proceedings / Anthony Bonato, Paweł Prałat, Andrei Raigorodskii (eds.)
: [pbk.]. - Cham : Springer , c2018. - (Lecture notes in computer science ; 10836)
図書 <BB13066714>
Advanced information systems engineering : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / Selmin Nurcan ... [et al.] (eds.)
: [pbk.]. - [Cham] : Springer , c2016. - (Lecture notes in computer science ; 9694)
図書 <BB12976459>
Advanced information systems engineering workshops : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / John Krogstie, Haralambos Mouratidis, Jianwen Su (eds.)
: [pbk.]. - [Cham] : Springer , c2016. - (Lecture notes in business information processing ; 249)
図書 <BB12976463>
Non-negative matrix factorization techniques : advances in theory and applications / Ganesh R. Naik, editor
: hbk. - Berlin : Springer , 2016. - (Signals and communication technology)
図書 <BB12978312>
Experimental algorithms : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010 : proceedings / Paola Festa (ed.)
: pbk. - Berlin : Springer , c2010. - (Lecture notes in computer science ; 6049)
図書 <BB12179303>
Software system development : a gentle introduction / Carol Britton, Jill Doake
London : McGraw-Hill , c1993. - (The McGraw-Hill international series in software engineering)
図書 <BB00265255>
GECCO-2000 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the ninth International Conference on Genetic Algorithms (ICGA-2000) and the fifth Annual Genetic Programming Conference (GP-2000), July 10-12, 2000, Las Vegas, Nevada / edited by Darrell Whitley ... [et al.]
San Francisco, Calif. : M. Kaufmann , c2000
図書 <BB00487759>
GECCO-2001 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Sixth Annual Genetic Programming Conference (GP-2001) and the Tenth International Conference on Genetic Algorithms (ICGA-2001), July 7-11, 2001, San Francisco, California / edited by Lee Spector ... [et al.]
San Francisco, Calif. : M. Kaufmann , c2001
図書 <BB00529095>
Uncertain programming / Baoding Liu
: cloth. - New York : Jhon Wiley , c1999
図書 <BB00476085>
A practical guide to localization / Bert Esselink
: eur., pbk,: us., pbk. - [Rev. ed.]. - Amsterdam : John Benjamins Pub. Co. , c2000. - (Language international world directory ; v. 4)
図書 <BB00523976>
Introduction to algorithms / Thomas H. Cormen ... [et al.]
MIT Press,McGraw-Hill,: pbk : MIT Press. - 2nd ed. - Cambridge, Mass. : MIT Press. - Boston ; New York : McGraw-Hill , c2001
図書 <BB00524378>
Maximizing ROI on software development / Vijay Sikka
Boca Raton : Auerbach , c2005
図書 <BB10113956>
Evolutionary multiobjective optimization : theoretical advances and applications / Ajith Abraham, Lakhmi Jain and Robert Goldberg (eds)
London : Springer , c2005. - (Advanced information and knowledge processing)
図書 <BB10118463>
GECCO 2005 : Genetic and Evolutionary Computation Conference, June 25-29, 2005(Saturday-Wednesday), Washington, D.C. USA / Hans-Georg Beyer et al. (editors) ; sponsored by ACM SIGEVO
: set,v. 1,v. 2. - New York : ACM , c2005
図書 <BB10137493>
Genetic and evolutionary computation - GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings / Kalyanmoy Deb ... [et al.] (eds.)
pt. 1,pt. 2. - Berlin ; Tokyo : Springer , c2004. - (Lecture notes in computer science ; 3102-3103)
図書 <BB10079898>
Analysis of algorithms : an active learning approach / Jeffrey J. McConnell
Boston : Jones and Bartlett , c2001
図書 <BB10052283>
Evolution of engineering and information systems and their applications / edited by Lakhmi C. Jain
: alk. paper. - Boca Raton, Fl. : CRC press , c2000. - (The CRC Press international series on computational intelligence / series editor L. C. Jain)
図書 <BB10046531>
Implementing persistent object bases : principles and practice / the Fourth International Workshop on Persistent Object Systems ; [edited by Alan Dearle, Gail M. Shaw, Stanley B. Zdonik]
San Mateo, Calif. : Morgan Kaufmann Publishers , c1991
図書 <BB00161435>
Lazy functional languages : abstract interpretation and compilation / Geoffrey Burn
: pbk.. - London : Pitman. - Cambridge, Mass. : MIT Press , 1991. - (Research monographs in parallel and distributed computing)
図書 <BB00162378>
Logic, algebra, and computation / edited by Friedrich L. Bauer
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (NATO ASI series ; ser. F . Computer and system sciences ; v. 79)
図書 <BB00167287>
Object-oriented design / Peter Coad and Edward Yourdon
Englewood Cliffs, N.J. : Yourdon Press , c1991. - (Yourdon Press computing series)
図書 <BB00172617>
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)
図書 <BB00149374>
Object-oriented modeling and design / James Rumbaugh ... [et al.]
: Prentice-Hall international ed. - Englewood Cliffs, N.J. : Prentice Hall , c1991
図書 <BB00150643>
The psychology of menu selection : designing cognitive control of the human/computer interface / Kent L. Norman
Norwood, N.J. : Ablex Pub. Corp. , c1991. - (Human/computer interaction)
図書 <BB00156396>
Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz
2nd, extended ed. - Berlin ; Tokyo : Springer-Verlag , c1994
図書 <BB00279962>
Applications / edited by Lance Chambers
Boca Raton ; Tokyo : CRC Press , c1995. - (Practical handbook of genetic algorithms / edited by Lance Chambers ; v. 1)
図書 <BB00298784>
Proceedings of the Sixth International Conference on Genetic Algorithms : University of Pittsburgh, July 15-19, 1995 / editor, program chair., Larry J. Eshelman
San Francisco, Calif. : M. Kaufmann , c1995
図書 <BB00298228>
ECOOP '95, object-oriented programming : 9th European Conference, Åarhus, Denmark, August 7-11, 1995 : proceedings / Walter Olthoff (ed.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 952)
図書 <BB00299394>
Practical handbook of genetic algorithms / edited by Lance Chambers
Boca Raton : CRC Press , c1995-c1999
図書 <BB00302471>
New frontiers / edited by Lance Chambers
Boca Raton : CRC Press , c1995. - (Practical handbook of genetic algorithms / edited by Lance Chambers ; v. 2)
図書 <BB00302472>
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 582)
図書 <BB00176980>
Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings / P. Loucopoulos, (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 593)
図書 <BB00187647>
Programming linguistics / David Gelernter and Suresh Jagannathan
Cambridge, Mass. : MIT Press , c1990
図書 <BB00135194>
User interface design / Harold Thimbleby
New York, N.Y. : ACM Press. - Wokingham, England ; Tokyo : Addison-Wesley Pub. , c1990. - (ACM Press frontier series)
図書 <BB00136286>