Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Núñez, Manuel (EDT)/ Güdemann, Matthias (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
e-Infrastructure and e-Services for Developing Countries : 6th International Conference, AFRICOMM 2014, Kampala, Uganda, November 24-25, 2014, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telec (2015)
  • 洋書
  • 電子版あり

e-Infrastructure and e-Services for Developing Countries : 6th International Conference, AFRICOMM 2014, Kampala, Uganda, November 24-25, 2014, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telec (2015)  Paperback

Nungu, Amos (EDT)/ Pehrson, Bjorn (EDT)/ Sansa-Otim, Julianne (EDT)

  • Springer International Publishing AG(2015/05発売)
  • ご注文いただけません
Wireless Sensor Networks : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Wireless Sensor Networks : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Abdelzaher, Tarek (EDT)/ Pereira, Nuno (EDT)/ Tovar, Eduardo (EDT)

  • Springer International Publishing AG(2015/02発売)
  • ご注文いただけません
Computational Processing of the Portuguese Language : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Computational Processing of the Portuguese Language : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Baptista, Jorge (EDT)/ Mamede, Nuno (EDT)/ Candeias, Sara (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)
  • 洋書

Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Counsell, Steve (EDT)/ Núñez, Manuel (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 110pt
  • 海外取次在庫
Technological Innovation for Collective Awareness Systems : 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April 7-9, 2014, Proceedings (Ifip Advances in Informa (2014)
  • 洋書

Technological Innovation for Collective Awareness Systems : 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April 7-9, 2014, Proceedings (Ifip Advances in Informa (2014)  Hardcover,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Barrento, Nuno S. (EDT)/ Mendonça, Ricardo (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ご注文いただけません
Efficient Topology Estimation for Large Scale Optical Mapping (Springer Tracts in Advanced Robotics) (2013)
  • 洋書

Efficient Topology Estimation for Large Scale Optical Mapping (Springer Tracts in Advanced Robotics) (2013)  Paperback

Elibol, Armagan/ Gracias, Nuno/ Garcia, Rafael

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 221pt
  • 海外取次在庫
Advanced Mathematical Methods for Finance (2011)
  • 洋書

Advanced Mathematical Methods for Finance (2011)  Paperback

Di Nunno, Julia (EDT)/ Øksendal, Bernt (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 221pt
  • 海外取次在庫
Precision Spectroscopy in Astrophysics : Proceedings of the ESO/Lisbon/Aveiro Conference held in Aveiro, Portugal, 11-15 September 2006 (Eso Astrophysics Symposia) (2008)
  • 洋書

Precision Spectroscopy in Astrophysics : Proceedings of the ESO/Lisbon/Aveiro Conference held in Aveiro, Portugal, 11-15 September 2006 (Eso Astrophysics Symposia) (2008)  Paperback

Santos, Nuno C. (EDT)/ Pasquini, Luca (EDT)/ Correia, Alexandre C. M. (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 221pt
  • 海外取次在庫
Technological Innovation for Value Creation : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012, Proceedings (Ifip Advances in Information an
  • 洋書

Technological Innovation for Value Creation : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012, Proceedings (Ifip Advances in Information an  Paperback,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Shahamatnia, Ehsan (EDT)/ Nunes, Gonçalo (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ご注文いただけません
Sphingolipid-Mediated Signal Transduction (Molecular Biology Intelligence Unit)
  • 洋書

Sphingolipid-Mediated Signal Transduction (Molecular Biology Intelligence Unit)  Paperback,  言語:ENG

Hannun, Yusuf A. (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 110pt
  • 海外取次在庫
Advances in Intelligent Systems and Applications- Volume 2 : Proceedings of the International Computer Symposium ICS 2012 held at Hualien, Taiwan, Dec. 12-14, 2012 (Smart Innovation, Systems and Technologies .21) (2012. 2012. 800 S. 235 mm)
  • 洋書
Gösta Mittag-Leffler : A Man of Conviction (2010. 800 p. w. 65 ills. (8 col.). 23,5 cm)
  • 洋書

Gösta Mittag-Leffler : A Man of Conviction (2010. 800 p. w. 65 ills. (8 col.). 23,5 cm)  Hardcover

Stubhaug, Arild/ Transl. by Tina Nunnally

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 126pt
  • 海外からお取り寄せ(通常6~9週間)
Et voil : Etica ed estetica nell'era delle macchine (I blu) (2010. X, 150 S.)
  • 洋書

Et voil : Etica ed estetica nell'era delle macchine (I blu) (2010. X, 150 S.)  Paperback

Bonifati, Nunzia/ Vorwort: Longo, Giuseppe O.

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)
  • 洋書

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Manuel Nunez, Zakaaria Maamar a. Fernando Pelayo

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th  IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)
  • 洋書

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by David de Frutos-Escrig a. Manuel Nunez

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫