yr 〜
yr

Search results 28

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...matics--Logic. Computers--Software Development & Engineering--General.

New frontiers in artificial intelligence : JSAI-isAI international workshops, JURISIN, AI-Biz, LENLS, Kansei-AI : Yokohama, Japan, November 10-12, 2019 : revised selected papers : 11th international symposium on AI : Nov 2019, Yokohama, Japan. (Lecture Notes in Computer Science ; 12331. Lecture Notes in Artificial Intelligence)

New frontiers in artificial intelligence : JSAI-isAI international workshops, JURISIN, AI-Biz, LENLS, Kansei-AI : Yokohama, Japan, November 10-12, 2019 : revised selected papers : 11th international symposium on AI : Nov 2019, Yokohama, Japan. (Lecture Notes in Computer Science ; 12331. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2020]<M17-22-585>
National Diet Library
  • Subject Heading...n Recognition. Computers--Software Development & Engineering--General. Computers--Intelligence (AI) ...

PRIMA 2018: principles and practice of multi-agent systems : 21st international conference : Tokyo, Japan, October 29-November 2, 2018 : proceedings : Oct 2018, Tokyo, Japan. (Lecture Notes in Computer Science ; 11224. Lecture Notes in Artificial Intelligence)

PRIMA 2018: principles and practice of multi-agent systems : 21st international conference : Tokyo, Japan, October 29-November 2, 2018 : proceedings : Oct 2018, Tokyo, Japan. (Lecture Notes in Computer Science ; 11224. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2018]<M17-20-819>
National Diet Library
  • Subject Heading...g--Algorithms. Computers--Software Development & Engineering--General. Computers--Intelligence (AI) ...

Advances in information and computer security : 15th international workshop on security, IWSEC 2020 : Fukui, Japan, September 2-4, 2020 : proceedings : Sep 2020, ------. Corrected publication 2020. (Lecture Notes in Computer Science ; 12231)

Advances in information and computer security : 15th international workshop on security, IWSEC 2020 : Fukui, Japan, September 2-4, 2020 : proceedings : Sep 2020, ------. Corrected publication 2020. (Lecture Notes in Computer Science ; 12231)
Paper図書
Springer[2020]<M17-22-623>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...) & Semantics. Computers--Software Development & Engineering--General. Computers--Security--General.

Advances in conceptual modeling : ER 2016 workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP : Gifu, Japan, November 14-17, 2016 : proceedings : 35th international conference on conceptual modelling : main ER conference : ER 2016 workshop : Nov 2016, Gifu, Japan. (Lecture Notes in Computer Science ; 9975)

Advances in conceptual modeling : ER 2016 workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP : Gifu, Japan, November 14-17, 2016 : proceedings : 35th international conference on conceptual modelling : main ER conference : ER 2016 workshop : Nov 2016, Gifu, Japan. (Lecture Notes in Computer Science ; 9975)
Paper図書
Springer[2016]<M17-19-539>
National Diet Library
  • Subject Heading...ment--General. Computers--Software Development & Engineering--General. Computers--Information Techno...

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)
Paper図書
Springer[2017]<M17-20-376>
National Diet Library
  • Subject Heading...ware--General. Computers--Software Development & Engineering--General. Formal methods (Computer scie...

Formal techniques for safety-critical systems : 5th international workshop, FTSCS 2016 : Tokyo, Japan, November 14, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Communications in Computer and Information Science ; 694)

Formal techniques for safety-critical systems : 5th international workshop, FTSCS 2016 : Tokyo, Japan, November 14, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Communications in Computer and Information Science ; 694)
Paper図書
Springer[2017]<M17-20-375>
National Diet Library
  • Subject Heading...g--Congresses. Computers--Software Development & Engineering--General. Computers--Programming Langua...

2016 IEEE 9th workshop on software engineering and architectures for realtime interactive systems : (SEARIS 2016) : Greenville, South Carolina, USA : 20 March 2016 : Mar 2016, Greenville, SC.

2016 IEEE 9th workshop on software engineering and architectures for realtime interactive systems : (SEARIS 2016) : Greenville, South Carolina, USA : 20 March 2016 : Mar 2016, Greenville, SC.
Paper図書
IEEE[2016]<M17-18-1515>
National Diet Library
  • Subject Heading...rtual Reality. Computers--Software Development & Engineering--General. Computers--Interactive & Mult...

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library
  • Subject Heading...f computation. Computers--Software Development & Engineering--General.

RoboCup 2014: robot world cup XVIII : 18th annual RoboCup international symposium : Jul 2014, João Pessoa, Brazil. (Lecture Notes in Computer Science ; 8992. Lecture Notes in Artificial Intelligence)

RoboCup 2014: robot world cup XVIII : 18th annual RoboCup international symposium : Jul 2014, João Pessoa, Brazil. (Lecture Notes in Computer Science ; 8992. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-19-361>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...er Interfaces. Computers--Software Development & Engineering--General. Technology & Engineering--Rob...

Advances in production management systems : the path to intelligent, collaborative and sustainable manufacturing : IFIP WG 5.7 international conference, APMS 2017 : Hamburg, Germany, September 3-7, 2017 : proceedings : official conference of the IFIP Working Group 5.7 on Advances in Production Management Systems : Sep 2017, Hamburg, Germany. (IFIP Advances in Information and Communication Technology ; 513-514)

Advances in production management systems : the path to intelligent, collaborative and sustainable manufacturing : IFIP WG 5.7 international conference, APMS 2017 : Hamburg, Germany, September 3-7, 2017 : proceedings : official conference of the IFIP Working Group 5.7 on Advances in Production Management Systems : Sep 2017, Hamburg, Germany. (IFIP Advances in Information and Communication Technology ; 513-514)
Paper図書
Springer International Publishing AG2017.<M17-19-5>
National Diet Library
  • Subject Heading...on Management. Computers--Software Development & Engineering--General. Information technology indust...

How open source ate software : understand the open source movement and so much more : pbk

How open source ate software : understand the open source movement and so much more : pbk
Paper図書
Gordon HaffApressc2018
Other Libraries in Japan

HTML5 and JavaScript projects : build on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications : pbk 2nd ed

HTML5 and JavaScript projects : build on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications : pbk 2nd ed
Paper図書
Jeanine MeyerApressc2018
Other Libraries in Japan

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings
Paper図書
Shengchao Qin, Jim Woodcock, Wenhui ZhangSpringerc2021
Other Libraries in Japan

Principles of package design : creating reusable software components : pbk

Principles of package design : creating reusable software components : pbk
Paper図書
Matthias NobackApressc2018
Other Libraries in Japan

Learning R programming : become an efficient data scientist with R : pbk

Learning R programming : become an efficient data scientist with R : pbk
Paper図書
Kun RenPackt Publishingc2016
Other Libraries in Japan

Web application development with R using Shiny : integrate the power of R with the simplicity of Shiny to deliver cutting-edge analytics over the Web 2nd ed.

Web application development with R using Shiny : integrate the power of R with the simplicity of Shiny to deliver cutting-edge analytics over the Web 2nd ed.
Paper図書
Chrias BeeleyPackt Publishingc2016
Other Libraries in Japan

CMake cookbook : building, testing, and packaging modular software with modern CMake

CMake cookbook : building, testing, and packaging modular software with modern CMake
Paper図書
Radovan Bast, Roberto Di RemigioPackt2018
Other Libraries in Japan

Planetary spacecraft navigation

Planetary spacecraft navigation
Paper図書
James MillerSpringer2019
Other Libraries in Japan

ICT education : 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017 Magaliesburg, South Africa, July 3-5, 2017 Revised selected papers : pbk

ICT education : 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017 Magaliesburg, South Africa, July 3-5, 2017 Revised selected papers : pbk
Paper図書
Janet Liebenberg, Stefan Gruner (eds.)Springer2017
Other Libraries in Japan