yr 〜
yr

Search results 31

Languages and compilers for parallel computing : 22nd international workshop, LCPC 2009 : Newark, DE, USA, October 8-10, 2009 : revised selected papers. : tutorial on "SSA-based register allocation" : Oct 2009, Newark, DE. (Lecture Notes in Computer Science ; 5898)

Languages and compilers for parallel computing : 22nd international workshop, LCPC 2009 : Newark, DE, USA, October 8-10, 2009 : revised selected papers. : tutorial on "SSA-based register allocation" : Oct 2009, Newark, DE. (Lecture Notes in Computer Science ; 5898)
Paper図書
Springerc2010.<M17-10-3381>
National Diet Library
  • Subject HeadingParallelverarbeitung. Programmiersprache. Compiler. Newark <Del., 2009...

Practical aspects of declarative languages : 13th international symposium, PADL 2011 : Austin, TX, USA, January 24-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6539)

Practical aspects of declarative languages : 13th international symposium, PADL 2011 : Austin, TX, USA, January 24-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6539)
Paper図書
Springerc2011.<M17-11-1900>
National Diet Library
  • Subject Heading...s. Deklarative Programmiersprache. Austin <Tex., 2011> Kongress...

Implementation and application of functional languages : 21st international symposium, IFL 2009 : South Orange, NJ, USA, September 23-25, 2009 : revised selected papers. : Sep 2009, South Orange, NJ. (Lecture Notes in Computer Science ; 6041)

Implementation and application of functional languages : 21st international symposium, IFL 2009 : South Orange, NJ, USA, September 23-25, 2009 : revised selected papers. : Sep 2009, South Orange, NJ. (Lecture Notes in Computer Science ; 6041)
Paper図書
Springerc2010.<M17-11-2029>
National Diet Library
  • Subject Heading...s. Funktionale Programmiersprache. South Orange <NJ, 2009> Kong...

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)
Paper図書
Springerc2011.<M17-11-2114>
National Diet Library
  • Subject Heading...rogrammierung. Programmiersprache. Entwurfssprache. Modelltrans...

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 5937)

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 5937)
Paper図書
Springerc2010.<M17-10-2789>
National Diet Library
  • Subject Heading...s. Deklarative Programmiersprache. Kongress. Madrid (2010)

Domain-specific languages : IFIP TC 2 working conference, DSL 2009 : Oxford, UK, July 15-17, 2009 : proceedings. : IFIP WC DSL : Jul 2009, Oxford, UK. (Lecture Notes in Computer Science ; 5658)

Domain-specific languages : IFIP TC 2 working conference, DSL 2009 : Oxford, UK, July 15-17, 2009 : proceedings. : IFIP WC DSL : Jul 2009, Oxford, UK. (Lecture Notes in Computer Science ; 5658)
Paper図書
Springerc2009.<M17-10-1541>
National Diet Library
  • Subject Heading...nenspezifische Programmiersprache -- Kongress -- Oxford <2009> ...

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)
Paper図書
Springerc2011.<M17-11-1891>
National Diet Library
  • Subject Heading...ektorientierte Programmiersprache. Paris <2010> Kongress.

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5700. Festschrift)

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5700. Festschrift)
Paper図書
Springerc2009.<M17-10-1995>
National Diet Library
  • Subject Heading...fsatzsammlung. Programmiersprache -- Semantik --......rmale Methode. Programmiersprache. Semantik. Aufsatzsammlung.

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)
Paper図書
Springer[2014]<M17-15-1523>
National Diet Library
  • Subject Heading...che Informatik Programmiersprache Künstliche Intelligenz Berec...

Die elektronische Person : Entwurf eines Zurechnungs- und Haftungssubjekts für den Einsatz autonomer Systeme im Rechtsverkehr : print 1. Aufl

Die elektronische Person : Entwurf eines Zurechnungs- und Haftungssubjekts für den Einsatz autonomer Systeme im Rechtsverkehr : print 1. Aufl
Paper図書
Cornelius KleinerNomos2021
Other Libraries in Japan
  • Subject Heading...Programmierung Programmiersprache Deterministische Systeme Blan...
  • Subject Heading (ID)...Programmierung Programmiersprache Deterministische Systeme Blan...

Ruby in a nutshell : a desktop quick reference / Yukihiro Matsumoto ; with translated text by David L. Reynolds, Jr. 1st ed.

Ruby in a nutshell : a desktop quick reference / Yukihiro Matsumoto ; with translated text by David L. Reynolds, Jr. 1st ed.
Paper図書
O'Reilly2002.<M159-A207>
National Diet Library
  • Subject HeadingRuby <Programmiersprache> -- Befehlsvorrat -- Verzeich...

Language engineering and rigorous software development : international LerNet ALFA summer school 2008 : Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures. : alpha lernet summer school : Feb 2008, Piriapolis, Uruguay. (Lecture Notes in Computer Science ; 5520. Tutorial)

Language engineering and rigorous software development : international LerNet ALFA summer school 2008 : Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures. : alpha lernet summer school : Feb 2008, Piriapolis, Uruguay. (Lecture Notes in Computer Science ; 5520. Tutorial)
Paper図書
Springerc2009.<M17-10-1719>
National Diet Library
  • Subject Heading...-- Congresses. Programmiersprache -- Typentheori......rmale Methode. Programmiersprache. Softwareentwicklung. Typenth...

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)
Paper図書
Springerc2009.<M17-10-1776>
National Diet Library
  • Subject Heading...- Seoul <2009> Programmiersprache -- Formale Met......grammierlogik. Programmiersprache. Programmoptimierung. Program...

Rule interchange and applications : international symposium, RuleML 2009 : Las Vegas, Nevada, USA, November 5-7, 2009 : proceedings. : Nov 2009, Las Vegas, NV. (Lecture Notes in Computer Science ; 5858)

Rule interchange and applications : international symposium, RuleML 2009 : Las Vegas, Nevada, USA, November 5-7, 2009 : proceedings. : Nov 2009, Las Vegas, NV. (Lecture Notes in Computer Science ; 5858)
Paper図書
Springerc2009.<M17-10-1607>
National Diet Library
  • Subject Heading...emantic Web -- Programmiersprache -- Produktions......nsregelsystem. Programmiersprache. Semantic Web. Kongress. Las ...

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings
Paper図書
Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)Springerc2018
Other Libraries in Japan
  • Subject HeadingLogik Theoretische Informatik Programmiersprache (Produktform)Paperback / soft...
  • Subject Heading (ID)Logik Theoretische Informatik Programmiersprache (Produktform)Paperback / soft...

Processing

Processing
Paper図書
Erik BartmannO'Reilly2010
Other Libraries in Japan
  • Subject HeadingProcessing <Programmiersprache>
  • Subject Heading (ID)Processing <Programmiersprache>

A primer on scientific programming with Python 4th ed

A primer on scientific programming with Python 4th ed
Paper図書
Hans Petter LangtangenSpringer Berlin2014
Other Libraries in Japan
  • Subject HeadingPython (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>
  • Subject Heading (ID)Python (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>

A primer on scientific programming with Python 2nd ed

A primer on scientific programming with Python 2nd ed
Paper図書
Hans Petter LangtangenSpringerc2011
Other Libraries in Japan
  • Subject HeadingPython (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>
  • Subject Heading (ID)Python (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>

Beginning Ruby : from novice to professional 2nd ed

Beginning Ruby : from novice to professional 2nd ed
Paper図書
Peter CooperApressc2009
Other Libraries in Japan
  • Subject HeadingRuby (Computer program language) Ruby (Programmiersprache) swd
  • Subject Heading (ID)Ruby (Computer program language) Ruby (Programmiersprache) swd

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures
Paper図書
Alessandro Aldini ... [et al.] (eds.)Springerc2010
Other Libraries in Japan
  • Subject Heading...le Methode swd Programmiersprache swd Programmanalyse swd Berti...
  • Subject Heading (ID)...le Methode swd Programmiersprache swd Programmanalyse swd Berti...