Jump to main content

yr 〜
yr

Search results 80

Handbook of real-time computing. Volume 1 (Springer Nature. reference)

Handbook of real-time computing. Volume 1 (Springer Nature. reference)
Paper図書
Yu-Chu Tian, David C. Levy, editorsSpringer[2022]<M154-D45>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingReal-time data processing Real-time programming Real-time data processing. Real-time programming.

Industrie 4.0 und Echtzeit : Echtzeit 2014 : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungs-technik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) : Boppard, 20. und 21. November 2014 : Nov 2014, Boppard, Germany. (Informatik aktuell)

Industrie 4.0 und Echtzeit : Echtzeit 2014 : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungs-technik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) : Boppard, 20. und 21. November 2014 : Nov 2014, Boppard, Germany. (Informatik aktuell)
Paper図書
Springer Vieweg[2014]<M17-15-3355>
National Diet Library
  • Subject HeadingReal-time programming. Computer science. Software en...

2016 28th Euromicro conference on real-time systems : (ECRTS 2016) : Toulouse, France : 5-8 July 2016 : Jul 2016, Toulouse, France.

2016 28th Euromicro conference on real-time systems : (ECRTS 2016) : Toulouse, France : 5-8 July 2016 : Jul 2016, Toulouse, France.
Paper図書
IEEE[2016]<M17-18-1202>
National Diet Library
  • Subject Heading...ta processing. Real-time programming.

2015 27th Euromicro conference on real-time systems : (ECRTS 2015) : Lund, Sweden : 8-10 July 2015 : ECRTS 2015 workshops : Jul 2015, Lund, Sweden.

2015 27th Euromicro conference on real-time systems : (ECRTS 2015) : Lund, Sweden : 8-10 July 2015 : ECRTS 2015 workshops : Jul 2015, Lund, Sweden.
Paper図書
IEEE[2015]<M17-17-1677>
National Diet Library
  • Subject Heading...ta processing. Real-time programming.

2014 26th Euromicro conference on real-time systems : (ECRTS 2014) : Madrid, Spain : 8-11 July 2014 : Jul 2014, Madrid, Spain. E5223 CFP14376-CDR

2014 26th Euromicro conference on real-time systems : (ECRTS 2014) : Madrid, Spain : 8-11 July 2014 : Jul 2014, Madrid, Spain. E5223 CFP14376-CDR
Paper図書
IEEE[2014]<M17-16-1843>
National Diet Library
  • Subject Heading...ta processing. Real-time programming.

2012 24th Euromicro conference on real-time systems : (ECRTS 2012) : Pisa, Italy : 11-13 July 2012 : Jul 2012, Pisa, Italy.

2012 24th Euromicro conference on real-time systems : (ECRTS 2012) : Pisa, Italy : 11-13 July 2012 : Jul 2012, Pisa, Italy.
Paper図書
IEEEc2012.<M17-13-1105>
National Diet Library

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
  • Subject HeadingAda (Computer program language) Parallel programming (Computer science) Real-time programming.

2011 23rd Euromicro conference on real-time systems : (ECRTS 2011) : Porto, Portugal : 5-8 July 2011 : Jul 2011, Porto, Portugal.

2011 23rd Euromicro conference on real-time systems : (ECRTS 2011) : Porto, Portugal : 5-8 July 2011 : Jul 2011, Porto, Portugal.
Paper図書
IEEEc2011.<M17-12-1926>
National Diet Library

8th international workshop on java technologies for real-time and embedded systems 2010 : (JTRES 2010) : Prague, Czech Republic : 19-21 August 2010. : Aug 2010, Prague, Czech Republic. (ACM International Conference Proceedings Series)

8th international workshop on java technologies for real-time and embedded systems 2010 : (JTRES 2010) : Prague, Czech Republic : 19-21 August 2010. : Aug 2010, Prague, Czech Republic. (ACM International Conference Proceedings Series)
Paper図書
Association for Computing Machineryc2010.<M17-11-2254>
National Diet Library

Handbook of real-time computing

Handbook of real-time computing
Paper図書
Yu-Chu Tian, David C. Levy, editorsSpringerc2022
Other Libraries in Japan

2010 22nd Euromicro conference on real-time systems : (ECRTS 2010) : Brussels, Belgium : 6-9 July 2010 : Jul 2010, Brussels, Belgium.

2010 22nd Euromicro conference on real-time systems : (ECRTS 2010) : Brussels, Belgium : 6-9 July 2010 : Jul 2010, Brussels, Belgium.
Paper図書
IEEEc2010.<M17-12-350>
National Diet Library

7th international workshop on java technologies for real-time and embedded systems 2009 : (JTRES 2009) : Madrid, Spain : 23-25 September 2009. : Sep 2009, Madrid, Spain. (ACM International Conference Proceedings Series)

7th international workshop on java technologies for real-time and embedded systems 2009 : (JTRES 2009) : Madrid, Spain : 23-25 September 2009. : Sep 2009, Madrid, Spain. (ACM International Conference Proceedings Series)
Paper図書
Association for Computing Machineryc2009.<M17-10-1434>
National Diet Library

Real-time programming 2003 : (WRTP 2003) : a proceedings volume from the 26th IFAC/IFIP/IEEE workshop, Lagow, Poland, 14-17 May 2003. : May 2003, Lagow, Poland. 1st ed. (IFAC Proceedings)

Real-time programming 2003 : (WRTP 2003) : a proceedings volume from the 26th IFAC/IFIP/IEEE workshop, Lagow, Poland, 14-17 May 2003. : May 2003, Lagow, Poland. 1st ed. (IFAC Proceedings)
Paper図書
Elsevier2003.<M17-06-1097>
National Diet Library

2009 21st Euromicro conference on real-time systems : (ECRTS 2009) : Dublin, Ireland : 1-3 July 2009. : Jul 2009, Dublin, Ireland.

2009 21st Euromicro conference on real-time systems : (ECRTS 2009) : Dublin, Ireland : 1-3 July 2009. : Jul 2009, Dublin, Ireland.
Paper図書
IEEEc2009.<M17-11-210>
National Diet Library

Proceedings of the 20th Euromicro conference on real-time systems : July 2-4, 2008 : Prague, Czech Republic. : Jul 2008, Prague, Czech Republic.

Proceedings of the 20th Euromicro conference on real-time systems : July 2-4, 2008 : Prague, Czech Republic. : Jul 2008, Prague, Czech Republic.
Paper図書
IEEE Computer Societyc2008.<M17-11-2693>
National Diet Library

5th international workshop on java technologies for real-time and embedded systems : JTRES 2007 : September 26-28, 2007 : Vienna, Austria. : JTRES 07 : Sep 2007, Vienna, Austria. (ACM International Conference Proceedings Series ; 319)

5th international workshop on java technologies for real-time and embedded systems : JTRES 2007 : September 26-28, 2007 : Vienna, Austria. : JTRES 07 : Sep 2007, Vienna, Austria. (ACM International Conference Proceedings Series ; 319)
Paper図書
Association for Computing Machineryc2007.<M17-09-1044>
National Diet Library

4th international workshop on java technologies for real-time and embedded systems : JTRES '06 : October 11-13, 2006 : Paris, France. : 4th international workshop on java technology for real-time and embedded systems : Oct 2006, Paris, France. (ACM International Conference Proceedings Series ; 177)

4th international workshop on java technologies for real-time and embedded systems : JTRES '06 : October 11-13, 2006 : Paris, France. : 4th international workshop on java technology for real-time and embedded systems : Oct 2006, Paris, France. (ACM International Conference Proceedings Series ; 177)
Paper図書
ACMc2006.<M17-07-2298>
National Diet Library

Debugging embedded and real-time systems : the art, science, technology, and tools of real-time system debugging : pbk

Debugging embedded and real-time systems : the art, science, technology, and tools of real-time system debugging : pbk
Paper図書
Arnold S. BergerNewnes, an imprint of Elsevierc2020
Other Libraries in Japan

Real time programming : languages, specification and verification

Real time programming : languages, specification and verification
Paper図書
R.K. Shyamasundar, S. RameshWorld Scientificc2010
Other Libraries in Japan

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3185. Tutorial)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3185. Tutorial)
Paper図書
Springerc2004.<M17-04-3745>
National Diet Library
RSS