Recoverable Mutual Exclusion (Synthesis Lectures on Distributed Computing Theory) (2023)
  • 洋書

Recoverable Mutual Exclusion (Synthesis Lectures on Distributed Computing Theory) (2023)  Hardcover,  言語:ENG

Dhoked, Sahil/ Golab, Wojciech/ Mittal, Neeraj

  • ウェブストア価格 ¥9,513(本体¥8,649)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 86pt
  • 海外からお取り寄せ(通常6~9週間)
Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2011, Philadelphia, PA, January 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7149) (2012. 2012. 314 S.)
  • 洋書

Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2011, Philadelphia, PA, January 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7149) (2012. 2012. 314 S.)  Paperback

Herausgegeben von Russo, Claudio/ Zhou, Neng-Fa

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7395) (2012. 2012. X, 290 S.)
  • 洋書

Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7395) (2012. 2012. X, 290 S.)  Paperback

Herausgegeben von de Groote, Philippe/ Nederhof, Mark-Jan

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
対テロリズムの計算的手法<br>Computational Methods for Counterterrorism (2009. XXVIII, 306 S. 135 SW-Abb., 8 Farbabb., 40 Tabellen. 235 mm)
  • 洋書

対テロリズムの計算的手法
Computational Methods for Counterterrorism (2009. XXVIII, 306 S. 135 SW-Abb., 8 Farbabb., 40 Tabellen. 235 mm)
 Hardcover,  言語:ENG

Herausgegeben von Argamon, Shlomo/ Howard, Newton

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • SPRINGER, BERLIN(2009発売)
  • ポイント 246pt
  • 海外からお取り寄せ(通常6~9週間)
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Programming and Software Engineering) (2013)
  • 洋書

NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Brat, Guillaume (EDT)/ Rungta, Neha (EDT)/ Venet, Arnaud (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 106pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7386) (2012. 2012. X, 320 S. 235 mm)
  • 洋書

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7386) (2012. 2012. X, 320 S. 235 mm)  Paperback

Herausgegeben von Kutrib, Martin/ Moreira, Nelma/ Reis, Rog

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Information Systems Security : 18th International Conference, ICISS 2022, Tirupati, India, December 16-20, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Information Systems Security : 18th International Conference, ICISS 2022, Tirupati, India, December 16-20, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Badarla, Venkata Ramana (EDT)/ Nepal, Surya (EDT)/ Shyamasundar, Rudrapatna K. (EDT)

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 136pt
  • 海外取次在庫
Integer Programming and Combinatorial Optimization, IPCO 2004 : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3064) (2004. XI, 445 p. 23,5 cm)
  • 洋書

Integer Programming and Combinatorial Optimization, IPCO 2004 : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3064) (2004. XI, 445 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Daniel Bienstock and George Nemhauser

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Spatial Cognition XII : 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26-28, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Spatial Cognition XII : 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26-28, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Šķilters, Jurǵis (EDT)/ Newcombe, Nora S. (EDT)/ Uttal, David (EDT)

  • ウェブストア価格 ¥18,188(本体¥16,535)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 165pt
  • 海外取次在庫
Multimedia and Ubiquitous Engineering (Lecture Notes in Electrical Engineering) (2014)
  • 洋書

Multimedia and Ubiquitous Engineering (Lecture Notes in Electrical Engineering) (2014)  Hardcover,  言語:ENG

Park, James J. (Jong Hyuk) (EDT)/ Chen, Shu-Ching (EDT)/ Gil, Joon-Min (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ご注文いただけません
Blockchain - ICBC 2019 : Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Blockchain - ICBC 2019 : Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Joshi, James (EDT)/ Nepal, Surya (EDT)/ Zhang, Qi (EDT)

  • Springer Nature Switzerland AG(2019/06発売)
  • ご注文いただけません
Agile Methods : 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Agile Methods : 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Meirelles, Paulo (EDT)/ Nelson, Maria Augusta (EDT)/ Rocha, Carla (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Artemov, Sergei (EDT)/ Nerode, Anil (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Smart Card Research and Advanced Applications : 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Smart Card Research and Advanced Applications : 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Liardet, Pierre-Yvan (EDT)/ Mentens, Nele (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
High Performance Computing : 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

High Performance Computing : 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Mocskos, Esteban (EDT)/ Nesmachnow, Sergio (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Building the e-World Ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Building the e-World Ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Skersys, Tomas (EDT)/ Butleris, Rimantas (EDT)/ Nemuraite, Lina (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 106pt
  • 海外取次在庫
Stabilization, Safety, and Security of Distributed Systems : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Stabilization, Safety, and Security of Distributed Systems : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Devismes, Stéphane (EDT)/ Mittal, Neeraj (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Agriculture-Centric Computation : First International Conference, ICA 2023, Chandigarh, India, May 11-13, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Agriculture-Centric Computation : First International Conference, ICA 2023, Chandigarh, India, May 11-13, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Saini, Mukesh Kumar (EDT)/ Goel, Neeraj (EDT)/ Shekhawat, Hanumant Singh (EDT)

  • ウェブストア価格 ¥18,188(本体¥16,535)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 165pt
  • 海外取次在庫
Agricultural-Centric Computation : Second International Conference, ICA 2024, Delhi, India, May 21-24, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2025)
  • 洋書
  • 電子版あり

Agricultural-Centric Computation : Second International Conference, ICA 2024, Delhi, India, May 21-24, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2025)  Paperback

Saini, Mukesh Kumar (EDT)/ Goel, Neeraj (EDT)/ Miguez, Matias (EDT)

  • ウェブストア価格 ¥29,907(本体¥27,189)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 271pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Neural Networks in Pattern Recognition : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 5998) (2010. XII, 280 S.)
  • 洋書

Artificial Neural Networks in Pattern Recognition : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 5998) (2010. XII, 280 S.)  Paperback

Herausgegeben von Schwenker, Friedhelm/ El Gayar, Neamat

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