本文に飛ぶ

年 〜
年

検索結果 15 件

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
紙図書
Springer[2015]<M17-16-371>
国立国会図書館
  • 件名...e Engineering. Special Purpose and Application-Based Systems. Logics and Meanings of Progr...

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
紙図書
Springerc2013.<M17-14-137>
国立国会図書館
  • 件名...s of Programs. Special Purpose and Application-Based Systems.

Communication technologies for vehicles : 6th international workshop : Nets4Cars/Nets4Trains/Nets4Aircraft 2014 : Offenburg, Germany, May 6-7, 2014 : proceedings : Nets4Cars- Nets4Trains-Nets4Aircraft 2014 : May 2014, Offenburg, Germany. (Lecture Notes in Computer Science ; 8435)

Communication technologies for vehicles : 6th international workshop : Nets4Cars/Nets4Trains/Nets4Aircraft 2014 : Offenburg, Germany, May 6-7, 2014 : proceedings : Nets4Cars- Nets4Trains-Nets4Aircraft 2014 : May 2014, Offenburg, Germany. (Lecture Notes in Computer Science ; 8435)
紙図書
Springer[2014]<M17-15-1511>
国立国会図書館
  • 件名...tion Networks. Special Purpose and Application-Based Systems. System Performance and Evalu...

Embedded systems: design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013 : Paderborn, Germany, June 17-19, 2013 : proceedings : IFIP TC10 working conference : Jun 2013, Paderborn, Germany. (IFIP Advances in Information and Communication Technology ; 403)

Embedded systems: design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013 : Paderborn, Germany, June 17-19, 2013 : proceedings : IFIP TC10 working conference : Jun 2013, Paderborn, Germany. (IFIP Advances in Information and Communication Technology ; 403)
紙図書
Springerc2013.<M17-13-3434>
国立国会図書館
  • 件名... aided design. Special Purpose and Application-Based Systems. System Performance and Evalu...

Wireless sensor networks : 10th European conference, EWSN 2013 : Ghent, Belgium, February 13-15, 2013 : proceedings : Feb 2013, Ghent, Belgium. (Lecture Notes in Computer Science ; 7772)

Wireless sensor networks : 10th European conference, EWSN 2013 : Ghent, Belgium, February 13-15, 2013 : proceedings : Feb 2013, Ghent, Belgium. (Lecture Notes in Computer Science ; 7772)
紙図書
Springerc2013.<M17-13-1643>
国立国会図書館
  • 件名...uter software. Special Purpose and Application-Based Systems. System Performance and Evalu...

Computer safety, reliability, and security : 32nd international conference, SAFECOMP 2013 : Toulouse, France, September 24-27, 2013 : proceedings : Sep 2013, Toulouse, France. (Lecture Notes in Computer Science ; 8153)

Computer safety, reliability, and security : 32nd international conference, SAFECOMP 2013 : Toulouse, France, September 24-27, 2013 : proceedings : Sep 2013, Toulouse, France. (Lecture Notes in Computer Science ; 8153)
紙図書
Springerc2013.<M17-14-765>
国立国会図書館
  • 件名...s and Society. Special Purpose and Application-Based Systems. Computer Security--Congresse...

Multi-agent-based simulation 12 : international workshop, MABS 2011 : Taipei, Taiwan, May 2-6, 2011 : revised selected papers : 10th international conference on autonomous agents and multi-agent systems (AAMAS 2011) : 12th international workshop on multi-agent-based simulation : May 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 7124. Lecture Notes in Artificial Intelligence)

Multi-agent-based simulation 12 : international workshop, MABS 2011 : Taipei, Taiwan, May 2-6, 2011 : revised selected papers : 10th international conference on autonomous agents and multi-agent systems (AAMAS 2011) : 12th international workshop on multi-agent-based simulation : May 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 7124. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2012.<M17-12-2896>
国立国会図書館
  • 件名... and Modeling. Special Purpose and Application-Based Systems.

Euro-Par 2011: parallel processing workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC : Bordeaux, France, August 29-September 2, 2011 : revised selected papers : Euro-Par 2011 workshop : Euro-Par 2011 conference : Aug 2011, Bordeaux, France. (Lecture Notes in Computer Science ; 7155-7156)

Euro-Par 2011: parallel processing workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC : Bordeaux, France, August 29-September 2, 2011 : revised selected papers : Euro-Par 2011 workshop : Euro-Par 2011 conference : Aug 2011, Bordeaux, France. (Lecture Notes in Computer Science ; 7155-7156)
紙図書
Springerc2012.<M17-13-23>
国立国会図書館
  • 件名...ng Techniques. Special Purpose and Application-Based Systems.

Multicore software engineering, performance, and tools : international conference, MSEPT 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7303)

Multicore software engineering, performance, and tools : international conference, MSEPT 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7303)
紙図書
Springerc2012.<M17-13-529>
国立国会図書館
  • 件名...s (Computers). Special Purpose and Application-Based Systems. System Performance and Evalu...

Latent variable analysis and signal separation : 10th international conference, LVA/ICA 2012 : Tel Aviv, Israel, March 12-15, 2012 : proceedings : signal separation evaluation campaign (SiSEC) : SiSEC2011 : Mar 2012, Tel Aviv, Israel. (Lecture Notes in Computer Science ; 7191)

Latent variable analysis and signal separation : 10th international conference, LVA/ICA 2012 : Tel Aviv, Israel, March 12-15, 2012 : proceedings : signal separation evaluation campaign (SiSEC) : SiSEC2011 : Mar 2012, Tel Aviv, Israel. (Lecture Notes in Computer Science ; 7191)
紙図書
Springerc2012.<M17-12-2915>
国立国会図書館
  • 件名...puter Science. Special Purpose and Application-Based Systems.

Testing software and systems : 27th IFIP WG 6.1 international conference, ICTSS 2015 : Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings : Nov 2015, Sharjah, United Arab Emirates. (Lecture Notes in Computer Science ; 9447)

Testing software and systems : 27th IFIP WG 6.1 international conference, ICTSS 2015 : Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings : Nov 2015, Sharjah, United Arab Emirates. (Lecture Notes in Computer Science ; 9447)
紙図書
Springer[2015]<M17-16-816>
国立国会図書館
  • 件名... Interpreters. Special Purpose and Application-Based Systems. Logics and Meanings of Progr...

Economics of grids, clouds, systems, and services : 8th international workshop, GECON 2011 : Paphos, Cyprus, December 5, 2011 : revised selected papers : Dec 2011, Paphos, Cyprus. (Lecture Notes in Computer Science ; 7150)

Economics of grids, clouds, systems, and services : 8th international workshop, GECON 2011 : Paphos, Cyprus, December 5, 2011 : revised selected papers : Dec 2011, Paphos, Cyprus. (Lecture Notes in Computer Science ; 7150)
紙図書
Springerc2012.<M17-13-68>
国立国会図書館
  • 件名...and Retrieval. Special Purpose and Application-Based Systems. System Performance and Evalu...

Haptics : science, technology, and applications : 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings pt. 1 : pbk pt. 2 : pbk

Haptics : science, technology, and applications : 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings pt. 1 : pbk pt. 2 : pbk
紙図書
Domenico Prattichizzo, Hiroyuki Shinoda, Hong Z. Tan, Emanuele Ruffaldi, Antonio Frisoli (eds.)Springer2018
全国の図書館
  • 件名...omputer Vision Special Purpose and Application-Based Systems Artificial Intelligence (incl...
  • 件名（識別子）...omputer Vision Special Purpose and Application-Based Systems Artificial Intelligence (incl...

Springer handbook of global navigation satellite systems :electronic bk

Springer handbook of global navigation satellite systems :electronic bk
記録メディア電子資料
Peter J.G. Teunissen, Oliver Montenbruck (Eds.)Springerc2017
全国の図書館
  • 件名...d Astronautics Special Purpose and Application-Based Systems Transportation Technology & E...
  • 件名（識別子）...d Astronautics Special Purpose and Application-Based Systems Transportation Technology & E...

Large-scale scientific computing : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017 : revised selected papers

Large-scale scientific computing : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017 : revised selected papers
紙図書
Ivan Lirkov, Svetozar Margenov (eds.)Springerc2018
全国の図書館
  • 件名...Implementation Special Purpose and Application-Based Systems Computers -- Programming -- A...
  • 件名（識別子）...Implementation Special Purpose and Application-Based Systems Computers -- Programming -- A...

検索結果は以上です。

RSS