Jump to main content

yr 〜
yr

Search results 17

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

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...ages: general. Computer programming / software development. Mathematical theory of comput...

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 Heading... Java. bisacsh Computer programming / software development. bicssc Programming & scriptin...

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...neral. bisacsh Computer programming / software development. bicssc Compilers. bicssc Comp...

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

Snake charming : the musical Python : [pbk.]

Snake charming : the musical Python : [pbk.]
Paper図書
Iain GraySpringerc2017
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Computer programming / software development. bicssc

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...igence. bicssc Computer programming / software development. bicssc Natural language & mac...

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...neral. bisacsh Computer programming / software development. bicssc Electronic books

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...neral. bisacsh Computer programming / software development. bicssc Electronic books Confe...

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...ctures. bicssc Computer programming / software development. bicssc Software engineering C...

Systems programming in Unix/Linux

Systems programming in Unix/Linux
Paper図書
K.C. WangSpringerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Computer programming / software development. bicssc Computer Science Progr...

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...design. bicssc Computer programming / software development. bicssc

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...eering. bicssc Computer programming / software development. bicssc Discrete mathematics. ...

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...neral. bisacsh Computer programming / software development. bicssc Electronic books Confe...

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...design. bicssc Computer programming / software development. bicssc Computer software Soft...

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...curity. bicssc Computer programming / software development. bicssc Programming & scriptin...

Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018 : proceedings

Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018 : proceedings
Paper図書
Marco Aldinucci, Luca Padovani, Massimo Torquati (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...design. bicssc Computer programming / software development. bicssc

Learning Java with games

Learning Java with games
Paper図書
Chong-wei XuSpringerc2018
Other Libraries in Japan
  • Subject Heading...eneral. bicssc Computer programming / software development. bicssc Games development & pr...

Reached to the end of result.

RSS