Jump to main content

yr 〜
yr

Search results 3,243

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2023
Available onlineNational Diet Library

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2022
Available onlineNational Diet Library

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2021
Available onlineNational Diet Library

XcalableMP PGAS Programming Language

XcalableMP PGAS Programming Language
Digital電子書籍・電子雑誌図書
2021
Available onlineNational Diet Library

XcalableMP PGAS programming language : from programming model to applications

XcalableMP PGAS programming language : from programming model to applications
Paper図書
Mitsuhisa Sato, editorSpringer[2021]<M159-D13>
National Diet LibraryOther Libraries in Japan
  • ContentsChapter 1: XcalableMP programming model and lang......Mixed-language programming with XMP and P......iew Data Model Programming of Nuclear Fus...... 9: Multi-SPMD programming model with YML and XcalableMP...
  • Subject HeadingProgramming languages (Electronic computers) Parallel programming (Computer science)

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2020
Available onlineNational Diet Library

プログラミング言語AWK 第2版

プログラミング言語AWK 第2版
Paper図書
Alfred V.Aho, Brian W.Kernighan, Peter J.Weinberger 著, 千住治郎 訳オライリー・ジャパン2024.5<M159-R100>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）プログラミング言語 プログラム言語 アセンブラ言語 Programming languages (Electronic computers)
  • Note (General)原タイトル: The AWK Programming Language 原著第2版の翻訳
  • Additional TitleThe AWK Programming Language

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2019
Available onlineNational Diet Library

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library

プログラミング言語の形式的意味論入門

プログラミング言語の形式的意味論入門
Paper図書
G.ウィンスケル 著, 末永幸平 監訳, 勝股審也 [ほか] 訳丸善出版2023.1<M159-M1057>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）プログラミング言語 意義論 プログラム言語 アセンブラ言語 Programming languages (Electronic computers) セマンティク...
  • Note (General)原タイトル: THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION
  • Additional TitleTHE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)
Paper図書
Springer[2020]<M17-23-81>
National Diet Library
  • Summary, etc....n Symposium on Programming Languages and Systems, APLAS 2020, held...
  • Subject HeadingProgramming languages (Electronic co......sses. Computer programming--Congresses. P......rès. Computer programming. Programming languages (Electronic computers)
  • Title HeadingLNCS sublibrary. SL 2, Programming and software engineering.

プログラミング言語Rust公式ガイド

プログラミング言語Rust公式ガイド
Paper図書
Steve Klabnik, Carol Nichols 著, 尾崎亮太 訳ドワンゴ2019.6<M159-M155>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）コンピュータプログラミング プログラミング (電子計算機) Computer programming
  • Note (General)原タイトル: The Rust Programming Language
  • Additional TitleThe Rust Programming Language

ASPLOS XXIII : twenty-third international conference on architectural support for programming languages and operating systems : March 24-28, 2018 : Williamsburg, VA, USA : Mar 2018, Williamsburg, VA.

ASPLOS XXIII : twenty-third international conference on architectural support for programming languages and operating systems : March 24-28, 2018 : Williamsburg, VA, USA : Mar 2018, Williamsburg, VA.
Paper図書
The Association for Computing Machinery[2018]<M17-20-241>
National Diet Library
  • Subject Heading...e--Congresses. Programming languages (Electronic co......ms (Computers) Programming languages (Electronic computers)
  • Alternative Title...al support for programming languages and operating ......al support for programming languages and operating systems--March ...
  • Alternative Title...al support for programming languages and operating ......al support for programming languages and operating systems--March ...

プログラミング言語Go

プログラミング言語Go
Paper図書
アラン・ドノバン, ブライアン・カーニハン 著, 柴田芳樹 訳丸善出版2016.6<M159-L938>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）コンピュータプログラミング プログラミング (電子計算機) Computer programming
  • Note (General)原タイトル: GO PROGRAMMING LANGUAGE
  • Additional TitleGO PROGRAMMING LANGUAGE

ASPLOS XXII : twenty-second international conference on architectural support for programming languages and operating systems : April 8-12, 2017 : Xi'an, China : Apr 2017, Xi'an, China.

ASPLOS XXII : twenty-second international conference on architectural support for programming languages and operating systems : April 8-12, 2017 : Xi'an, China : Apr 2017, Xi'an, China.
Paper図書
The Association for Computing Machinery[2017]<M17-19-623>
National Diet Library
  • Subject Heading...e--Congresses. Programming languages (Electronic co......ms (Computers) Programming languages (Electronic computers)
  • Alternative Title...al support for programming languages and operating systems : April...
  • Alternative Title...al support for programming languages and operating systems : April...

Programming languages : 19th Brazilian symposium SBLP 2015 : Belo Horizonte, Brazil, September 24-25, 2015 : proceedings : Sep 2015, Belo Horizonte, Brazil. (Lecture Notes in Computer Science ; 9325)

Programming languages : 19th Brazilian symposium SBLP 2015 : Belo Horizonte, Brazil, September 24-25, 2015 : proceedings : Sep 2015, Belo Horizonte, Brazil. (Lecture Notes in Computer Science ; 9325)
Paper図書
Springer[2015]<M17-16-638>
National Diet Library
  • Summary, etc.... on Progamming Languages, SBLP 2015, he......lementation of programming languages and systems. .
  • Subject HeadingProgramming languages (Electronic co......puter science. Programming languages (Electronic co......puter Science. Programming Languages, Compilers, Interpreters.
  • Title Heading...library. SL 2, Programming and software engineering.

ASPLOS XIX : nineteenth international conference on architectural support for programming languages and operating systems : March 1-5, 2014 : Salt Lake City, Utah, USA : 2014 ACM international conference on architectural support for programming languages and operating systems : ASPLOS-19 : Mar 2014, Salt Lake City, UT.

ASPLOS XIX : nineteenth international conference on architectural support for programming languages and operating systems : March 1-5, 2014 : Salt Lake City, Utah, USA : 2014 ACM international conference on architectural support for programming languages and operating systems : ASPLOS-19 : Mar 2014, Salt Lake City, UT.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3276>
National Diet Library
  • Subject Heading...e--Congresses. Programming languages (Electronic computers)--Congr...
  • Alternative Title...al support for programming languages and operating ......al support for programming languages & operating systems : March 1...
  • Alternative Title...al support for programming languages and operating ......al support for programming languages & operating systems : March 1...

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Digital電子書籍・電子雑誌図書
2018
Available onlineNational Diet Library

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)
Paper図書
Springer[2014]<M17-15-624>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers)--Congresses. Computer programming--Congresses.
  • Title Heading...library. SL 2, Programming and software engineering.

Programming languages : 18th Brazilian symposium, SBLP 2014 : Maceio, Brazil, October 2-3, 2014 : proceedings : Brazilian conference on software (CBSoft) : Oct 2014, Maceio, Brazil. (Lecture Notes in Computer Science ; 8771)

Programming languages : 18th Brazilian symposium, SBLP 2014 : Maceio, Brazil, October 2-3, 2014 : proceedings : Brazilian conference on software (CBSoft) : Oct 2014, Maceio, Brazil. (Lecture Notes in Computer Science ; 8771)
Paper図書
Springer[2014]<M17-15-615>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers)--Congr...
  • Title Heading...library. SL 2, Programming and software engineering.
RSS