Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Feng, Xinyu (EDT)/ Park, Sungwoo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • 海外取次在庫
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Sierra-Rodríguez, José-Luis (EDT)/ Leal, José-Paulo (EDT)/ Simões, Alberto (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reliable Software Technologies - Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings (Programming and Software Engineering)
  • 洋書

Reliable Software Technologies - Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings (Programming and Software Engineering)  Paperback

Bertogna, Marko (EDT)/ Pinho, Luís Miguel (EDT)/ Quiñones, Eduardo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Euro-Par 2016: Parallel Processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Euro-Par 2016: Parallel Processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dutot, Pierre-François (EDT)/ Trystram, Denis (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Igarashi, Atsushi (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Lierler, Yuliya (EDT)/ Taha, Walid (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Ding, Chen (EDT)/ Criswell, John (EDT)/ Wu, Peng (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Rivera, Francisco F. (EDT)/ Pena, Tomas F. (EDT)/ Cabaleiro, Jose C. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,  Paperback

Petrucci, Laure (EDT)/ Seceleanu, Cristina (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chang, Bor-Yuh Evan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
UNIX-Netzwerkprogrammierung mit Threads, Sockets und SSL (X.systems.press) (2006. XV, 434 S. m. 44 Abb. 24 cm)
  • 洋書

UNIX-Netzwerkprogrammierung mit Threads, Sockets und SSL (X.systems.press) (2006. XV, 434 S. m. 44 Abb. 24 cm)  Hardcover

Zahn, Markus

  • SPRINGER, BERLIN(2006発売)
  • ご注文いただけません
'UML' 2003 - The Unified Modeling Language : Modeling Languages and Applications. 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science Vol.2863) (2003. XIV, 415 p. 23,5 cm)
  • 洋書

'UML' 2003 - The Unified Modeling Language : Modeling Languages and Applications. 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science Vol.2863) (2003. XIV, 415 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Perdita Stevens, Jon Whittle, Grady Booch et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
CASL User Manual, w. CD-ROM : Introduction to Using the Common Algebraic Specification Language CASL (Lecture Notes in Computer Science Vol.2900) (2004. XIII, 240 p.)
  • 洋書

CASL User Manual, w. CD-ROM : Introduction to Using the Common Algebraic Specification Language CASL (Lecture Notes in Computer Science Vol.2900) (2004. XIII, 240 p.)  Paperback

Bidoit, M./ Mosses, P. D.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
CASL Reference Manual, w. CD-ROM : The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science Vol.2960) (2004. XVII, 528 p. 23,5 cm)
  • 洋書

CASL Reference Manual, w. CD-ROM : The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science Vol.2960) (2004. XVII, 528 p. 23,5 cm)  Paperback

Ed. by P. D. Mosses

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 240pt
  • 海外取次在庫
Interfacing with C++ : Programming Real-World Applications (2006. 500 p. 23,5 cm)
  • 洋書

Interfacing with C++ : Programming Real-World Applications (2006. 500 p. 23,5 cm)  Hardcover

Katupitiya, Jayantha/ Bentley, Kim

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 120pt
  • 海外取次在庫
Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings (Lecture Notes in Computer Science, Volume 598) (2007. 520 S. 235 mm)
  • 洋書

Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings (Lecture Notes in Computer Science, Volume 598) (2007. 520 S. 235 mm)  Paperback

Herausgeber: Melton, Austin, Main, Michael, Brookes, Stephen, Schmidt, David, Mislove, Michael

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 120pt
  • 海外取次在庫
Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Spain, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5937〉
  • 洋書
Reliable Software Technologies - Ada-Europe 2010 (Lecture Notes in Computer Science / Programming and Software Engineering 6106) (2010. XII, 277 S.)
  • 洋書

Reliable Software Technologies - Ada-Europe 2010 (Lecture Notes in Computer Science / Programming and Software Engineering 6106) (2010. XII, 277 S.)  Paperback

Herausgegeben von Real, Jorge/ Vardanega, Tullio

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外からお取り寄せ(通常6~9週間)
Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, USA, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6548〉
  • 洋書

Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, USA, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6548〉  Paperback

Cooper, K. (EDT)/ Mellor-Crummey, J. (EDT)

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • Springer(2011発売)
  • ポイント 120pt
  • 海外取次在庫
The NCL Natural Constraint Language
  • 洋書

The NCL Natural Constraint Language  Hardcover,  言語:ENG

Zhou, J.

  • Springer(2012/01発売)
  • ご注文いただけません