Jump to main content

yr 〜
yr

Search results 6

Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) Third edition. (Lecture notes in computer science ; 8339)

Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) Third edition. (Lecture notes in computer science ; 8339)
Paper図書
S. Tucker Taft [and five others] (eds.).Springer[2012]<X>
National Diet Library
  • DDC005.133

Datalog reloaded : first international workshop, Datalog 2010 : Oxford, UK, March 16-19, 2010 : revised selected papers : Datalog 2.0 : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 6702)

Datalog reloaded : first international workshop, Datalog 2010 : Oxford, UK, March 16-19, 2010 : revised selected papers : Datalog 2.0 : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 6702)
Paper図書
Springerc2011.<M17-12-2105>
National Diet Library
  • DDC005.133

Concurrent and real-time programming in Ada 2005 / Alan Burns and Andy Wellings.

Concurrent and real-time programming in Ada 2005 / Alan Burns and Andy Wellings.
Paper図書
Cambridge University Press2007.<M159-B80>
National Diet Library
  • DDC005.133

Ada 2005 rationale : the language, the standard libraries / John Barnes. (Lecture notes in computer science ; 5020)

Ada 2005 rationale : the language, the standard libraries / John Barnes. (Lecture notes in computer science ; 5020)
Paper図書
Springerc2008.<X>
National Diet Library
  • DDC005.133

Ada 2005 reference manual : language and standard libraries : international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / S. Tucker Taft ... [et al.] (eds.). [2005 ed.]. (Lecture notes in computer science ; 4348)

Ada 2005 reference manual : language and standard libraries : international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / S. Tucker Taft ... [et al.] (eds.). [2005 ed.]. (Lecture notes in computer science ; 4348)
Paper図書
Springer[c2006]<X>
National Diet Library
  • DDC005.133

ZB 2002: formal specification and development in Z and B : 2nd international conference of B and Z users : Grenoble, France, January 23-25, 2002 : proceedings. : 13th international Z user meeting : 4th international conference on the B method : Jan 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2272)

ZB 2002: formal specification and development in Z and B : 2nd international conference of B and Z users : Grenoble, France, January 23-25, 2002 : proceedings. : 13th international Z user meeting : 4th international conference on the B method : Jan 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2272)
Paper図書
Springerc2002.<M17-07-787>
National Diet Library
  • DDC005.133

Reached to the end of result.

RSS