Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 218pt
  • 海外取次在庫
Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

De Lucia, Andrea (EDT)/ Ferrucci, Filomena (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 198pt
  • 海外取次在庫
Information Retrieval Meets Information Visualization : PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書
  • ポイントキャンペーン

Information Retrieval Meets Information Visualization : PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

Agosti, Maristella (EDT)/ Ferro, Nicola (EDT)/ Forner, Pamela (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 198pt
  • 海外取次在庫
Personal Satellite Services : 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Personal Satellite Services : 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2013)  Paperback,  言語:ENG

Pillai, Prashant (EDT)/ Shorey, Rajeev (EDT)/ Ferro, Erina (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/03発売)
  • ポイント 218pt
  • 海外取次在庫
Natural and Artificial Computation in Engineering and Medical Applications : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II (Theoreti (2013)
  • 洋書
  • ポイントキャンペーン

Natural and Artificial Computation in Engineering and Medical Applications : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II (Theoreti (2013)  Paperback,  言語:ENG

Ferrandez Vicente, Jose Manuel (EDT)/ Alvarez Sanchez, Jose Ramon (EDT)/ de la Paz Lopez, Felix (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 218pt
  • 海外取次在庫
Natural and Artificial Models in Computation and Biology : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I (Theoretical Computer Scienc (2013)
  • 洋書
  • ポイントキャンペーン

Natural and Artificial Models in Computation and Biology : 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I (Theoretical Computer Scienc (2013)  Paperback,  言語:ENG

Ferrandez Vicente, Jose Manuel (EDT)/ Alvarez Sanchez, Jose Ramon (EDT)/ de la Paz Lopez, Felix (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 218pt
  • 海外取次在庫
Algorithms  - ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7501) (2012. 2012. XX, 839 S. 235 mm)
  • 洋書
Computational Topology in Image Context : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7309) (2012. 2012. X, 157 S.)
  • 洋書
  • ポイントキャンペーン

Computational Topology in Image Context : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7309) (2012. 2012. X, 157 S.)  Paperback

Herausgegeben von Ferri, Massimo/ Frosini, Patrizio/ Landi, Claudia/ Cerri, Andrea/ Di Fabio, Barbara

  • ウェブストア価格 ¥12,879(本体¥11,709)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 234pt
  • 海外取次在庫
Arithmetic of Finite Fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7369) (2012. 2012. XII, 247 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Arithmetic of Finite Fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7369) (2012. 2012. XII, 247 S. 235 mm)  Paperback

Herausgegeben von OEzbudak, Ferruh/ Rodriguez-Henriquez, Francisco

  • ウェブストア価格 ¥12,879(本体¥11,709)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 234pt
  • 海外取次在庫
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)  Paperback

Herausgegeben von Beckert, Bernhard/ Damiani, Ferruccio/ Gurov, Dilian

  • ウェブストア価格 ¥12,879(本体¥11,709)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 234pt
  • 海外取次在庫
Privacy in Statistical Databases : UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science .7556) (2012. 2012. XII, 365 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Privacy in Statistical Databases : UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science .7556) (2012. 2012. XII, 365 S. 235 mm)  Paperback

Herausgegeben von Domingo-Ferrer, Josep/ Tinnirello, Ilenia

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)
  • 洋書
  • ポイントキャンペーン

Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)  Paperback,  言語:ENG

Herausgegeben von Ferreira, Fernando/ Loewe, Benedikt/ Mayordomo, Elvira/ Mendes Gomes, Lu

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 254pt
  • 海外取次在庫