年 〜
年

検索結果 324 件

Handbook on artificial intelligence-empowered applied software engineering. Vol. 1 Novel methodologies to engineering smart software systems (Artificial intelligence-enhanced software and systems engineering ; volume 2)

Handbook on artificial intelligence-empowered applied software engineering. Vol. 1 Novel methodologies to engineering smart software systems (Artificial intelligence-enhanced software and systems engineering ; volume 2)
紙図書
Maria Virvou, George A. Tsihrintzis, Nikolaos G. Bourbakis, Lakhmi C. Jain, editorsSpringer[2022]<M154-D49>
国立国会図書館
  • DDC005.1

Software foundations for data interoperability : 5th international workshop, SFDI 2021 : Copenhagen, Denmark, August 16, 2021 : revised selected papers : Aug 2021, ------. (Communications in Computer and Information Science ; 1457)

Software foundations for data interoperability : 5th international workshop, SFDI 2021 : Copenhagen, Denmark, August 16, 2021 : revised selected papers : Aug 2021, ------. (Communications in Computer and Information Science ; 1457)
紙図書
Springer[2022]<M17-23-104>
国立国会図書館
  • DDC005.1

Code clone analysis : research, tools, and practices

Code clone analysis : research, tools, and practices
紙図書
Katsuro Inoue, Chanchal K. Roy, editorsSpringer[2021]<M159-D17>
国立国会図書館
  • DDC005.1

WALCOM: algorithms and computation : 13th international conference, WALCOM 2019 : Guwahati, India, February 27-March 2, 2019 : proceedings : 13th international conference and workshop on algorithms and computations : Feb 2019, Guwahati, India. (Lecture Notes in Computer Science ; 11355)

WALCOM: algorithms and computation : 13th international conference, WALCOM 2019 : Guwahati, India, February 27-March 2, 2019 : proceedings : 13th international conference and workshop on algorithms and computations : Feb 2019, Guwahati, India. (Lecture Notes in Computer Science ; 11355)
紙図書
Springer[2019]<M17-20-847>
国立国会図書館
  • DDC005.1

Handbook of software engineering

Handbook of software engineering
紙図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
国立国会図書館全国の図書館
  • DDC005.1

Essential algorithms : a practical approach to computer algorithms using Python® and C# Second edition.

Essential algorithms : a practical approach to computer algorithms using Python® and C# Second edition.
紙図書
Rod Stephens.Wiley[2019]<M159-B170>
国立国会図書館
  • DDC005.1

Software engineering, artificial intelligence, networking and parallel/distributed computing : 18th IEEE/ACIS international conference on software engineering, artificial intelligence, networking and parallel/distributed computing : SNPD 2017 : Jun 2017, Kanazawa, Japan. (Studies in Computational Intelligence ; 721)

Software engineering, artificial intelligence, networking and parallel/distributed computing : 18th IEEE/ACIS international conference on software engineering, artificial intelligence, networking and parallel/distributed computing : SNPD 2017 : Jun 2017, Kanazawa, Japan. (Studies in Computational Intelligence ; 721)
紙図書
Springer[2018]<M17-20-409>
国立国会図書館
  • DDC005.1

Software technology : 10 years of innovation in IEEE Computer

Software technology : 10 years of innovation in IEEE Computer
紙図書
edited by Mike HincheyIEEE Computer Society, Inc.2018<M159-D15>
国立国会図書館
  • DDC005.1

Product-focused software process improvement : 19th international conference, PROFES 2018 : Wolfsburg, Germany, November 28-30, 2018 : proceedings : 2nd international workshop on managing quality in agile and rapid software development processes (QUASD) : 3rd workshop on hybrid software and system development approaches (HELENA) : Nov 2018, Wolfsburg, Germany. (Lecture Notes in Computer Science ; 11271)

Product-focused software process improvement : 19th international conference, PROFES 2018 : Wolfsburg, Germany, November 28-30, 2018 : proceedings : 2nd international workshop on managing quality in agile and rapid software development processes (QUASD) : 3rd workshop on hybrid software and system development approaches (HELENA) : Nov 2018, Wolfsburg, Germany. (Lecture Notes in Computer Science ; 11271)
紙図書
Springer[2018]<M17-20-842>
国立国会図書館
  • DDC005.1

Computer algebra in scientific computing : 17th international workshop, CASC 2015 : Aachen, Germany, September 14-18, 2015 : proceedings : 17th CASC conference : Sep 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9301)

Computer algebra in scientific computing : 17th international workshop, CASC 2015 : Aachen, Germany, September 14-18, 2015 : proceedings : 17th CASC conference : Sep 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9301)
紙図書
Springer[2015]<M17-16-619>
国立国会図書館
  • DDC005.1

Theory and practice of model transformations : 8th international conference, ICMT 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-21, 2015 : proceedings : STAF federated event : 8th international conference on model transformation : STAF 2015 (software technologies: applications and foundations) conference : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9152)

Theory and practice of model transformations : 8th international conference, ICMT 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-21, 2015 : proceedings : STAF federated event : 8th international conference on model transformation : STAF 2015 (software technologies: applications and foundations) conference : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9152)
紙図書
Springer[2015]<M17-16-409>
国立国会図書館
  • DDC005.1

Theory and practice of natural computing : 5th international conference, TPNC 2016 : Sendai, Japan, December 12-13, 2016 : proceedings : Dec 2016, Sendai, Japan. (Lecture Notes in Computer Science ; 10071)

Theory and practice of natural computing : 5th international conference, TPNC 2016 : Sendai, Japan, December 12-13, 2016 : proceedings : Dec 2016, Sendai, Japan. (Lecture Notes in Computer Science ; 10071)
紙図書
Springer[2016]<M17-19-541>
国立国会図書館
  • DDC006.3/8 005.1

Computer arithmetic

Computer arithmetic
紙図書
editor, Earl E Swartzlander.World Scientific[2015]<M159-D3>
国立国会図書館
  • DDC005.1

Frontiers in algorithmics : 9th international workshop, FAW 2015 : Guilin, China, July 3-5, 2015 : proceedings : 9th int'l. frontiers of algorithmics workshop : Jul 2015, Guilin, China. (Lecture Notes in Computer Science ; 9130)

Frontiers in algorithmics : 9th international workshop, FAW 2015 : Guilin, China, July 3-5, 2015 : proceedings : 9th int'l. frontiers of algorithmics workshop : Jul 2015, Guilin, China. (Lecture Notes in Computer Science ; 9130)
紙図書
Springer[2015]<M17-16-390>
国立国会図書館
  • DDC005.1

Logic, rationality, and interaction : 5th international workshop, LORI 2015 : Taipei, Taiwan, October 28-31, 2015 : proceedings : LORI-5 : Oct 2015, Taipei, Taiwan. (Lecture Notes in Computer Science ; 9394)

Logic, rationality, and interaction : 5th international workshop, LORI 2015 : Taipei, Taiwan, October 28-31, 2015 : proceedings : LORI-5 : Oct 2015, Taipei, Taiwan. (Lecture Notes in Computer Science ; 9394)
紙図書
Springer[2015]<M17-16-798>
国立国会図書館
  • DDC005.1

Applications of evolutionary computation : 18th European conference, EvoApplications 2015 : Copenhagen, Denmark, April 8-10, 2015 : proceedings : EvoSTAR : Evo* event : Apr 2015, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 9028)

Applications of evolutionary computation : 18th European conference, EvoApplications 2015 : Copenhagen, Denmark, April 8-10, 2015 : proceedings : EvoSTAR : Evo* event : Apr 2015, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 9028)
紙図書
Springer[2015]<M17-15-2022>
国立国会図書館
  • DDC005.1

Product-focused software process improvement : 16th international conference, PROFES 2015 : Bolzano, Italy, December 2-4, 2015 : proceedings : processes, methods, and tools for engineering embedded systems (PROMOTE) workshop : SSU2015 : workshop on human factors in software development processes : workshop on software startups: state of the art and state of the practice : Dec 2015, Bolzano, Italy. (Lecture Notes in Computer Science ; 9459)

Product-focused software process improvement : 16th international conference, PROFES 2015 : Bolzano, Italy, December 2-4, 2015 : proceedings : processes, methods, and tools for engineering embedded systems (PROMOTE) workshop : SSU2015 : workshop on human factors in software development processes : workshop on software startups: state of the art and state of the practice : Dec 2015, Bolzano, Italy. (Lecture Notes in Computer Science ; 9459)
紙図書
Springer[2015]<M17-16-822>
国立国会図書館
  • DDC005.1

Formal methods for multicore programming : 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015 : Bertinoro, Italy, June 15-19, 2015 : advanced lectures : Jun 2015, Bertinoro, Italy. (Lecture Notes in Computer Science ; 9104. Tutorial)

Formal methods for multicore programming : 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015 : Bertinoro, Italy, June 15-19, 2015 : advanced lectures : Jun 2015, Bertinoro, Italy. (Lecture Notes in Computer Science ; 9104. Tutorial)
紙図書
Springer[2015]<M17-16-366>
国立国会図書館
  • DDC005.1

Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)

Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)
紙図書
Springer[2015]<M17-16-392>
国立国会図書館
  • DDC005.1

Transactions on aspect-oriented software development XII (Lecture notes in computer science ; 8989. Journal subline)

Transactions on aspect-oriented software development XII (Lecture notes in computer science ; 8989. Journal subline)
紙図書
Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld (eds.).Springer[2015]<M159-B162>
国立国会図書館
  • DDC005.1