Jump to main content

yr 〜
yr

Search results 23

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

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

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... -- Algorithms Computers -- Programming -- General Computers -- Software develop...
  • Subject Heading (ID)... -- Algorithms Computers -- Programming -- General Computers -- Software develop...

Modern data access with entity framework core : database programming techniques for . NET, . NET Core, UWP, and Xamarin with C# : pbk

Modern data access with entity framework core : database programming techniques for . NET, . NET Core, UWP, and Xamarin with C# : pbk
Paper図書
. . Holger SchwichtenbergApressc2018
Other Libraries in Japan
  • Subject Heading...ing techniques Computers -- Programming -- General Computers -- Database managem...
  • Subject Heading (ID)...ing techniques Computers -- Programming -- General Computers -- Database managem...

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...ource software Computers -- Programming -- General
  • Subject Heading (ID)...ource software Computers -- Programming -- General

Vulkan cookbook : work through recipes to unlock the full potential of the next generation graphics API--Vulkan

Vulkan cookbook : work through recipes to unlock the full potential of the next generation graphics API--Vulkan
Paper図書
Pawel LapinskiPackt2017
Other Libraries in Japan
  • Subject Heading...Games. bisacsh COMPUTERS -- Programming -- General. bisacsh
  • Subject Heading (ID)...Games. bisacsh COMPUTERS -- Programming -- General. bisacsh

Mastering Windows presentation foundation : master the art of building modern desktop applications on Windows

Mastering Windows presentation foundation : master the art of building modern desktop applications on Windows
Paper図書
Sheridan YuenPackt Publishing2017
Other Libraries in Japan
  • Subject Heading...-- C#. bisacsh COMPUTERS -- Programming -- General. bisacsh
  • Subject Heading (ID)...-- C#. bisacsh COMPUTERS -- Programming -- General. bisacsh

Mastering Java 11 : develop modular and secure Java applications using concurrency and advanced JDK libraries : [pbk.] 2nd ed

Mastering Java 11 : develop modular and secure Java applications using concurrency and advanced JDK libraries : [pbk.] 2nd ed
Paper図書
Edward LavieriPackt Pub.2018
Other Libraries in Japan
  • Subject HeadingComputers -- Programming -- General. bisacsh Java (Computer progr...
  • Subject Heading (ID)Computers -- Programming -- General. bisacsh Java (Computer progr...

Snake charming : the musical Python : [pbk.]

Snake charming : the musical Python : [pbk.]
Paper図書
Iain GraySpringerc2017
Other Libraries in Japan
  • Subject Heading...puter graphics Computers -- Programming -- General. bisacsh Computer programming...
  • Subject Heading (ID)...puter graphics Computers -- Programming -- General. bisacsh Computer programming...

Deep reinforcement learning : fundamentals, research and applications

Deep reinforcement learning : fundamentals, research and applications
Paper図書
Hao Dong, Zihan Ding, Shanghang Zhang, editorsSpringerc2020
Other Libraries in Japan
  • Subject Heading...otics. bisacsh Computers -- Programming -- General. bisacsh Computers -- Speech ...
  • Subject Heading (ID)...otics. bisacsh Computers -- Programming -- General. bisacsh Computers -- Speech ...

Guide to programming for the digital humanities : lessons for introductory Python : [pbk.]

Guide to programming for the digital humanities : lessons for introductory Python : [pbk.]
Paper図書
Brian KokenspargerSpringerc2018
Other Libraries in Japan
  • Subject Heading... Visualization Computers -- Programming -- General. bisacsh Computer programming...
  • Subject Heading (ID)... Visualization Computers -- Programming -- General. bisacsh Computer programming...

R high performance programming : overcome performance difficulties in R with a range of exciting techniques and solutions

R high performance programming : overcome performance difficulties in R with a range of exciting techniques and solutions
Paper図書
Aloysius Lim, William TjhiPackt Publishing2015
Other Libraries in Japan
  • Subject Heading...eneral bisacsh Computers -- Programming -- General. bisacsh
  • Subject Heading (ID)...eneral bisacsh Computers -- Programming -- General. bisacsh

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]
Paper図書
Xinyu Feng, Markus Müller-Olm, Zijiang YangSpringerc2018
Other Libraries in Japan
  • Subject Heading...ithms. bisacsh Computers -- Programming -- General. bisacsh Programming & script...
  • Subject Heading (ID)...ithms. bisacsh Computers -- Programming -- General. bisacsh Programming & script...

Implementation and application of automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings

Implementation and application of automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings
Paper図書
Cezar Câmpeanu (ed.)Springerc2018
Other Libraries in Japan
  • Subject Heading...e and retrieva Computers -- Programming -- General. bisacsh Computer programming...
  • Subject Heading (ID)...e and retrieva Computers -- Programming -- General. bisacsh Computer programming...

Systems programming in Unix/Linux

Systems programming in Unix/Linux
Paper図書
K.C. WangSpringerc2018
Other Libraries in Japan
  • Subject Heading...ystems. bicssc Computers -- Programming -- General. bisacsh Computer programming...
  • Subject Heading (ID)...ystems. bicssc Computers -- Programming -- General. bisacsh Computer programming...

Euro-Par 2021 : parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021 : proceedings

Euro-Par 2021 : parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021 : proceedings
Paper図書
Leonel Sousa, Nuno Roma, Pedro Tomás (eds.)Springerc2021
Other Libraries in Japan
  • Subject Heading...esign. bisacsh Computers -- Programming -- General. bisacsh Computers -- Online ...
  • Subject Heading (ID)...esign. bisacsh Computers -- Programming -- General. bisacsh Computers -- Online ...

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Computers -- Programming -- General. bisacsh Computers -- Data Pr...
  • Subject Heading (ID)...neral. bisacsh Computers -- Programming -- General. bisacsh Computers -- Data Pr...

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings
Paper図書
Stavros Konstantinidis, Giovanni Pighizzini (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...puter science) Computers -- Programming -- General. bisacsh Computer programming...
  • Subject Heading (ID)...puter science) Computers -- Programming -- General. bisacsh Computer programming...

Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings

Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings
Paper図書
Vladimir P. Gerdt ... [et al.] (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...esign. bisacsh Computers -- Programming -- General. bisacsh Mathematical theory ...
  • Subject Heading (ID)...esign. bisacsh Computers -- Programming -- General. bisacsh Mathematical theory ...

Mathematical software - ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings

Mathematical software - ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings
Paper図書
James H. Davenport ... [et al.] (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Computers -- Programming -- General. bisacsh Computers -- Program...
  • Subject Heading (ID)...neral. bisacsh Computers -- Programming -- General. bisacsh Computers -- Program...
RSS