Jump to main content

yr 〜
yr

Search results 1,176

Programming Languages and Systems

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

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

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2020
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
  • Subject HeadingProgramming languages (Electronic computers) Parall...

プログラミング言語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)

プログラミング言語の概念と構造 新装版

プログラミング言語の概念と構造 新装版
Paper図書
ラビ・セシィ 著, 神林靖 訳ピアソン・エデュケーション2002.9<M159-G4712>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）プログラミング言語 プログラム言語 アセンブラ言語 Programming languages (Electronic computers)
  • Note (General)原タイトル: Programming languages
  • Additional TitleProgramming languages

Programming Languages and Systems

Programming Languages and Systems
Digital電子書籍・電子雑誌図書
2019
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: 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II
Digital電子書籍・電子雑誌図書
2025
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

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 I

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 I
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library

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......r programming. Programming languages (Electronic computers)

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

プログラミング言語Rust公式ガイド
Paper図書
Steve Klabnik, Carol Nichols 著, 尾崎亮太 訳ドワンゴ2019.6<M159-M155>
National Diet LibraryOther Libraries in Japan

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

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...

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...
RSS