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

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

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

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

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

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

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

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

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

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

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

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
  • Subject Heading...ource software Computers -- software development & engineering -- General Computers -- programming -- o...
  • Subject Heading (ID)...ource software Computers -- software development & engineering -- General Computers -- programming -- o...

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
  • Subject Heading...re engineering Computers -- Software Development & Engineering -- General Computers -- Web -- Web Progr...
  • Subject Heading (ID)...re engineering Computers -- Software Development & Engineering -- General Computers -- Web -- Web Progr...

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
  • Subject Heading...ing -- General Computers -- Software development & engineering -- General Programming & scripting langu...
  • Subject Heading (ID)...ing -- General Computers -- Software development & engineering -- General Programming & scripting langu...

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
  • Subject Heading...ges -- General Computers -- Software Development & Engineering -- General Computers -- Web -- Web Progr...
  • Subject Heading (ID)...ges -- General Computers -- Software Development & Engineering -- General Computers -- Web -- Web Progr...

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
  • Subject Heading...neral. bisacsh COMPUTERS -- Software Development & Engineering -- General. bisacsh Electronic books
  • Subject Heading (ID)...neral. bisacsh COMPUTERS -- Software Development & Engineering -- General. bisacsh Electronic books

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
  • Subject Heading...b usage mining COMPUTERS -- Software Development & Engineering -- General. bisacsh COMPUTERS -- Web -- ...
  • Subject Heading (ID)...b usage mining COMPUTERS -- Software Development & Engineering -- General. bisacsh COMPUTERS -- Web -- ...

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
  • Subject Heading.../ C++. bisacsh Computers -- Software Development & Engineering -- General. bisacsh Computer programming...
  • Subject Heading (ID).../ C++. bisacsh Computers -- Software Development & Engineering -- General. bisacsh Computer programming...

Planetary spacecraft navigation

Planetary spacecraft navigation
Paper図書
James MillerSpringer2019
Other Libraries in Japan
  • Subject Heading...ience. bisacsh Computers -- Software Development & Engineering -- General. bisacsh Mathematics -- Appli...
  • Subject Heading (ID)...ience. bisacsh Computers -- Software Development & Engineering -- General. bisacsh Mathematics -- Appli...

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
  • Subject Heading...ology. bisacsh Computers -- Software Development & Engineering -- General. bisacsh Society & social sci...
  • Subject Heading (ID)...ology. bisacsh Computers -- Software Development & Engineering -- General. bisacsh Society & social sci...