本文に飛ぶ

年 〜
年

検索結果 33 件

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)
紙図書
Springerc2010.<M17-10-3381>
国立国会図書館
  • 件名Parallelverarbeitung. 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)
紙図書
Springerc2011.<M17-11-1900>
国立国会図書館
  • 件名...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)
紙図書
Springerc2010.<M17-11-2029>
国立国会図書館
  • 件名...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)
紙図書
Springerc2011.<M17-11-2114>
国立国会図書館
  • 件名...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)
紙図書
Springerc2010.<M17-10-2789>
国立国会図書館
  • 件名...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)
紙図書
Springerc2009.<M17-10-1541>
国立国会図書館
  • 件名...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)
紙図書
Springerc2011.<M17-11-1891>
国立国会図書館
  • 件名...ektorientierte Programmiersprache. Paris <2010> Kongress.

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
紙図書
Cornelius KleinerNomos2021
全国の図書館
  • 件名...Programmierung Programmiersprache Deterministische Systeme Blan...
  • 件名（識別子）...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.
紙図書
O'Reilly2002.<M159-A207>
国立国会図書館
  • 件名Ruby <Programmiersprache> -- Befehlsvorrat -- Verzeich...

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)
紙図書
Springerc2009.<M17-10-1995>
国立国会図書館
  • 件名...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)
紙図書
Springer[2014]<M17-15-1523>
国立国会図書館
  • 件名...che Informatik Programmiersprache Künstliche Intelligenz Berec...

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)
紙図書
Springerc2009.<M17-10-1719>
国立国会図書館
  • 件名...-- 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)
紙図書
Springerc2009.<M17-10-1776>
国立国会図書館
  • 件名...- Seoul <2009> Programmiersprache -- Formale Met......grammierlogik. Programmiersprache. Programmoptimierung. Program...

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
紙図書
Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)Springerc2018
全国の図書館
  • 件名Logik Theoretische Informatik Programmiersprache (Produktform)Paperback / soft...
  • 件名（識別子）Logik Theoretische Informatik Programmiersprache (Produktform)Paperback / soft...

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)
紙図書
Springerc2009.<M17-10-1607>
国立国会図書館
  • 件名...emantic Web -- Programmiersprache -- Produktions......nsregelsystem. Programmiersprache. Semantic Web. Kongress. Las ...

A primer on scientific programming with Python 4th ed

A primer on scientific programming with Python 4th ed
紙図書
Hans Petter LangtangenSpringer Berlin2014
全国の図書館
  • 件名Python (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>
  • 件名（識別子）Python (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>

Processing

Processing
紙図書
Erik BartmannO'Reilly2010
全国の図書館
  • 件名Processing <Programmiersprache>
  • 件名（識別子）Processing <Programmiersprache>

Effective Python : 90 specific ways to write better Python 2nd ed

Effective Python : 90 specific ways to write better Python 2nd ed
紙図書
Brett SlatkinAddison-Wesleyc2020
全国の図書館
  • 件名...ung gnd Python Programmiersprache gnd
  • 件名（識別子）...ung gnd Python Programmiersprache gnd

A primer on scientific programming with Python 2nd ed

A primer on scientific programming with Python 2nd ed
紙図書
Hans Petter LangtangenSpringerc2011
全国の図書館
  • 件名Python (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>
  • 件名（識別子）Python (Computer program language) Wissenschaftliches Rechnen -- Python <Programmiersprache>

Beginning Ruby : from novice to professional 2nd ed

Beginning Ruby : from novice to professional 2nd ed
紙図書
Peter CooperApressc2009
全国の図書館
  • 件名Ruby (Computer program language) Ruby (Programmiersprache) swd
  • 件名（識別子）Ruby (Computer program language) Ruby (Programmiersprache) swd
RSS