同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 005.1)
該当件数:597件
Designing evolutionary algorithms for dynamic environments / Ronald W. Morrison
Berlin : Springer , c2004. - (Natural computing series)
図書 <BB10064517>
New ideas in optimization / David Corne, Marco Dorigo, Fred Glover
: pbk. - London : McGraw-Hill , c1999. - (Advanced topics in computer science series)
図書 <BB00461962>
Evolutionary algorithms for embedded system design / edited by Rolf Drechsler, Nicole Drechsler
Boston : Kluwer Academic , c2003. - (Genetic algorithms and evolutionary computation ; 10)
図書 <BB00564104>
Software system development : a gentle introduction / Carol Britton, Jill Doake
London : McGraw-Hill , c1993. - (The McGraw-Hill international series in software engineering)
図書 <BB00265255>
Data structures and program design in C / Robert L. Kruse, Bruce P. Leung, Clovis L. Tondo
London : Prentice-Hall International , c1991
図書 <BB00169826>
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>
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>
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>
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>
Essential algorithms : a practical approach to computer algorithms / Rod Stephens
: [pbk.]. - Indianapolis : Wiley , c2013
図書 <BB12638597>
Advanced information systems engineering workshops : CAiSE 2022 International Workshops, Leuven, Belgium, June 6-10, 2022 : proceedings / Jennifer Horkoff, Estefania Serral, Jelena Zdravkovic (eds.)
: [pbk.]. - Cham : Springer , c2022. - (Lecture notes in business information processing ; 451)
図書 <BB13220590>
Advanced information systems engineering : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022 : proceedings / Xavier Franch ... [et al.] (eds.)
: [pbk.]. - Cham : Springer , c2022. - (Lecture notes in computer science ; 13295)
図書 <BB13220593>
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms
Trade Cloth. - Philadelphia : Society for Industrial and Applied Mathematics , Jan. 2004
電子書籍 <OB00749987>
Advanced information systems engineering : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024 : proceedings / Giancarlo Guizzardi ... [et al.], editors
: [pbk.]. - Cham : Springer , c2024. - (Lecture notes in computer science ; 14663)
図書 <BB13241641>
Advanced information systems engineering workshops : CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024 : proceedings / João Paulo A. Almeida, Claudio Di Ciccio, Christos Kalloniatis, editors
: [pbk.]. - Cham : Springer , c2024. - (Lecture notes in business information processing ; 521)
図書 <BB13241654>
Kubernetes in production best practices : build and manage highly available production-ready Kubernetes clusters / Aly Saleh, Murat Karslioglu
: [pbk.]. - Birmingham : Packt Pub. , 2021
図書 <BB13164047>
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>
Problem solving and programming concepts / Maureen Sprankle, Jim Hubbard
: pbk. - 8th ed. - London : Pearson Education , c2009. - (Pearson international edition)
図書 <BB12172747>
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>
Algorithms and models for the web graph : 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020 : proceedings / Bogumił Kamiński, Paweł Prałat, Przemysław Szufel (eds.)
: [pbk.]. - Cham : Springer , c2020. - (Lecture notes in computer science ; 12091)
図書 <BB13128074>
Advanced information systems engineering : 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019 : proceedings / Paolo Giorgini, Barbara Weber (eds.)
: [pbk.]. - Cham : Springer , c2019. - (Lecture notes in computer science ; 11483)
図書 <BB13162639>
Advanced information systems engineering : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020 : proceedings / Schahram Dustdar ... [et al.] (eds.)
: [pbk.]. - Cham : Springer , c2020. - (Lecture notes in computer science ; 12127)
図書 <BB13162650>
Maximizing ROI on software development / Vijay Sikka
Boca Raton : Auerbach , c2005
図書 <BB10113956>
Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems : 11-12 May 2004, Vienna, Austria : proceedings / edited by Michael Mock, Tatsuo Nakajima, and Scott Moody ; sponsored by IEEE Computer Society Technical Committee on Distributed Processing (TCDP) ; in cooperation with OMG, IFIP WG 10.4
Los Alamitos, Calif. ; Tokyo : IEEE Computer Society , c2004
図書 <BB10090405>
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>
Analysis of algorithms : an active learning approach / Jeffrey J. McConnell
Boston : Jones and Bartlett , c2001
図書 <BB10052283>
Evolutionary multiobjective optimization : theoretical advances and applications / Ajith Abraham, Lakhmi Jain and Robert Goldberg (eds)
London : Springer , c2005. - (Advanced information and knowledge processing)
図書 <BB10118463>
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>
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>
Uncertain programming / Baoding Liu
: cloth. - New York : Jhon Wiley , c1999
図書 <BB00476085>
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>
Genetic algorithms : concepts and designs / K.F. Man, K.S. Tang, and S. Kwong
London : Springer , c1999. - (Advanced textbooks in control and signal processing)
図書 <BB00430595>
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-99 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Eighth International Conference on Genetic Algorithms (ICGA-99) and the Fourth Annual Genetic Programming Conference (GP-99), July 13-17, 1999, Orlando, Florida / edited by Wolfgang Banzhaf ... [et al.]
v. 1,v. 2. - San Francisco, Calif. : M. Kaufmann , c1999
図書 <BB00445682>
Intelligence through simulated evolution : forty yeays of evolutionary programming / Lawrence J. Fogel
New York : Wiley , 1999. - (Wiley series on intelligent systems / James Albus, Alexander Meystel and Lotfi A. Zadeh (eds.))
図書 <BB00449510>
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>
Complex coding systems / edited by Lance D. Chambers
Boca Raton : CRC Press , c1999. - (Practical handbook of genetic algorithms / edited by Lance Chambers ; v. 3)
図書 <BB00422332>
Industrial applications of genetic algorithms / edited by Charles L. Karr, L. Michael Freeman
Boca Raton, FL : CRC Press , c1999. - (The CRC Press international series on computational intelligence / series editor L. C. Jain)
図書 <BB00424254>
Software systems engineering / Andrew P. Sage, James D. Palmer
New York : J. Wiley , c1990. - (Wiley series in systems engineering)
図書 <BB00131277>
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>
Interactive multi-objective programming as a framework for computer-aided control system design / W.-Y. Ng
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in control and information sciences ; 132)
図書 <BB00101064>