Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Schmidt, Renate A. (EDT)/ Nalon, Cláudia (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 278pt
  • 海外取次在庫
SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Csöndes, Tibor (EDT)/ Kovács, Gábor (EDT)/ Réthy, György (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Future and Emerging Trends in Language Technology. Machine Learning and Big Data : Second International Workshop, FETLT 2016, Seville, Spain, November 30 -December 2, 2016, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Future and Emerging Trends in Language Technology. Machine Learning and Big Data : Second International Workshop, FETLT 2016, Seville, Spain, November 30 -December 2, 2016, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Quesada, José F (EDT)/ Martín Mateos, Francisco-Jesús (EDT)/ López Soto, Teresa (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • 海外取次在庫
Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Da Silveira, Marcos (EDT)/ Pruski, Cédric (EDT)/ Schneider, Reinhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The 2-tuple Linguistic Model : Computing with Words in Decision Making
  • 洋書
  • ポイントキャンペーン

The 2-tuple Linguistic Model : Computing with Words in Decision Making  Paperback,  言語:ENG

Martínez, Luis/ Rodriguez, Rosa M./ Herrera, Francisco

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2019/03発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Feistel Ciphers : Security Proofs and Cryptanalysis
  • 洋書
  • ポイントキャンペーン

Feistel Ciphers : Security Proofs and Cryptanalysis  Paperback,  言語:ENG

Nachef, Valerie/ Patarin, Jacques/ Volte, Emmanuel

  • ウェブストア価格 ¥43,927(本体¥39,934)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 798pt
  • 海外取次在庫
SAP on the Cloud (Management for Professionals)
  • 洋書
  • ポイントキャンペーン

SAP on the Cloud (Management for Professionals)  Paperback,  言語:ENG

Missbach, Michael/ Stelzel, Josef/ Gardiner, Cameron

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/02発売)
  • ご注文いただけません
Gestensteuerung zur Optimierung der Informationsprozesse : Einsatz zwischen Fertigungsplanung und Shopfloor (Autouni - Schriftenreihe)
  • 洋書
  • ポイントキャンペーン

Gestensteuerung zur Optimierung der Informationsprozesse : Einsatz zwischen Fertigungsplanung und Shopfloor (Autouni - Schriftenreihe)  Paperback,  言語:GER

Fleischmann, Anna-Charlotte

  • ウェブストア価格 ¥13,988(本体¥12,717)
  • Springer Fachmedien Wiesbaden(2016/09発売)
  • ポイント 254pt
  • 海外からお取り寄せ(通常6~9週間)
Ontology Matching (2ND)
  • 洋書
  • ポイントキャンペーン

Ontology Matching (2ND)  Paperback,  言語:ENG

Euzenat, Jérôme/ Shvaiko, Pavel

  • ウェブストア価格 ¥43,927(本体¥39,934)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 798pt
  • 海外取次在庫
Crowdsourcing : Cloud-Based Software Development (Progress in Is)
  • 洋書
  • ポイントキャンペーン

Crowdsourcing : Cloud-Based Software Development (Progress in Is)  Paperback,  言語:ENG

Li, Wei (EDT)/ Huhns, Michael N. (EDT)/ Tsai, Wei-Tek (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Warehouse Systems : Design and Implementation (Data-centric Systems and Applications)
  • 洋書
  • ポイントキャンペーン

Data Warehouse Systems : Design and Implementation (Data-centric Systems and Applications)  Paperback,  言語:ENG

Vaisman, Alejandro/ Zimányi, Esteban

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 358pt
  • 海外取次在庫
Cyber Situational Awareness in Public-Private-Partnerships : Organisationsübergreifende Cyber-Sicherheitsvorfälle effektiv bewältigen (1. Aufl. 2018)
  • 洋書
  • ポイントキャンペーン

Cyber Situational Awareness in Public-Private-Partnerships : Organisationsübergreifende Cyber-Sicherheitsvorfälle effektiv bewältigen (1. Aufl. 2018)  Hardcover,  言語:GER

Skopik, Florian (EDT)/ Páhi, Tímea (EDT)/ Leitner, Maria (EDT)

  • Springer Vieweg(2018/10発売)
  • ご注文いただけません
Land Use Cover Datasets and Validation Tools : Validation Practices with QGIS
  • 洋書
  • ポイントキャンペーン

Land Use Cover Datasets and Validation Tools : Validation Practices with QGIS  Hardcover,  言語:ENG

García-Álvarez, David (EDT)/ Camacho Olmedo, María Teresa (EDT)/ Paegelow, Martin (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 238pt
  • 海外取次在庫
Parallel Problem Solving from Nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Parallel Problem Solving from Nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rudolph, Günter (EDT)/ Kononova, Anna V. (EDT)/ Aguirre, Hernán (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 558pt
  • 海外取次在庫
Genetic Programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書
  • ポイントキャンペーン

Genetic Programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Machado, Penousal (EDT)/ Heywood, Malcolm I. (EDT)/ McDermott, James (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書
  • ポイントキャンペーン

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Blanchette, Jasmin Christian (EDT)/ Kosmatov, Nikolai (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Hernández-Quiroz, Francisco (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Cornélio, Márcio (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥9,881(本体¥8,983)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 178pt
  • 海外取次在庫
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa
  • 洋書
  • ポイントキャンペーン

Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa  Paperback,  言語:ENG

Hildebrandt, Thomas (EDT)/ Ravara, António (EDT)/ van der Werf, Jan Martijn (EDT)

  • ウェブストア価格 ¥9,881(本体¥8,983)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 178pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Image Analysis and Recognition : 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Image Analysis and Recognition : 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Campilho, Aurélio (EDT)/ Karray, Fakhri (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 398pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。