Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 190pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書

Technologies and Applications for Big Data Value  Hardcover,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 114pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書

Technologies and Applications for Big Data Value  Paperback,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 95pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 152pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 133pt
  • 海外取次在庫
4 Farben, 1 Bild : Grundwissen für die Farbbildverarbeitung von der Eingabe bis zum Proof mit Photoshop,  QuarkXPress, InDesign und PDF/X (x.media.press) (4., überarb. u. erg. Aufl. 2004. 122 S. m. zahlr. meist farb. Abb)
  • 洋書
Die Fortentwicklung des Datenschutzes : Zwischen Systemgestaltung und Selbstregulierung (Dud-fachbeiträge) (1. Aufl. 2018)
  • 洋書

Die Fortentwicklung des Datenschutzes : Zwischen Systemgestaltung und Selbstregulierung (Dud-fachbeiträge) (1. Aufl. 2018)  Paperback,  言語:GER

Roßnagel, Alexander (EDT)/ Friedewald, Michael (EDT)/ Hansen, Marit (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Vieweg(2018/10発売)
  • ポイント 190pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Big Data : DFG Priority Program 1736 (Lecture Notes in Computer Science)
  • 洋書

Algorithms for Big Data : DFG Priority Program 1736 (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bast, Hannah (EDT)/ Korzen, Claudius (EDT)/ Meyer, Ulrich (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 95pt
  • 海外取次在庫
Advances in Social Network Mining and Analysis : Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5498) (2010. XI, 131 S.)
  • 洋書

Advances in Social Network Mining and Analysis : Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5498) (2010. XI, 131 S.)  Paperback,  言語:ENG

Herausgegeben von Giles, C. Lee/ Smith, Marc/ Yen, John/ Zhang, Haizheng

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 121pt
  • 海外取次在庫
Evolutionary and Biologically Inspired Music, Sound, Art and Design : First International Conference, EvoMUSART 2012, M (Lecture Notes in Computer Science Vol.7247) (2012. XII, 236 p. 235 mm)
  • 洋書

Evolutionary and Biologically Inspired Music, Sound, Art and Design : First International Conference, EvoMUSART 2012, M (Lecture Notes in Computer Science Vol.7247) (2012. XII, 236 p. 235 mm)  Paperback

Herausgegeben von Machado, Penousal/ Romero, Juan J./ Carballal, Adrian

  • ウェブストア価格 ¥12,316(本体¥11,197)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Colinet, Margot (EDT)/ Katrenko, Sophia (EDT)/ Rendsvig, Rasmus K. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/07発売)
  • ポイント 104pt
  • 海外取次在庫
Innopolis University - from Zero to Hero : Ten Years of Challenges and Victories
  • 洋書

Innopolis University - from Zero to Hero : Ten Years of Challenges and Victories  Paperback,  言語:ENG

Mazzara, Manuel/ Succi, Giancarlo/ Tormasov, Alexander

  • ウェブストア価格 ¥7,969(本体¥7,245)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 72pt
  • 海外取次在庫
Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6479) (2012. 2012. X, 185 S. 46 SW-Abb. 235 mm)
  • 洋書

Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6479) (2012. 2012. X, 185 S. 46 SW-Abb. 235 mm)  Paperback

Herausgegeben von Horimoto, Katsuhisa/ Nakatsui, Masahiko/ Popov, Nikolaj

  • ウェブストア価格 ¥12,316(本体¥11,197)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
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,316(本体¥11,197)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Methodenlehre der therapeutisch-klinischen Forschung (4. Aufl. 2014. viii, 496 S. VIII, 496 S. 244 mm)
  • 洋書

Methodenlehre der therapeutisch-klinischen Forschung (4. Aufl. 2014. viii, 496 S. VIII, 496 S. 244 mm)  Paperback

Martini, P./ Oberhoffer, G./ Welte, E.

  • ウェブストア価格 ¥17,514(本体¥15,922)
  • SPRINGER, BERLIN; SPRINGER(2014発売)
  • ポイント 159pt
  • 海外取次在庫
Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Gelenbe, Erol (EDT)/ Jankovic, Marija (EDT)/ Kehagias, Dionysios (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 95pt
  • 海外取次在庫
Parameterized and Exact Computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7112) (2012. 2012. VIII, 273 S. 235 mm)
  • 洋書
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 10th European Conference, EvoBIO 2012, M (Lecture Notes in Computer Science Vol.7246) (2012. XIII, 255 p. 235 mm)
  • 洋書

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 10th European Conference, EvoBIO 2012, M (Lecture Notes in Computer Science Vol.7246) (2012. XIII, 255 p. 235 mm)  Paperback

Herausgegeben von Giacobini, Mario/ Vanneschi, Leonardo/ Bush, William S.

  • ウェブストア価格 ¥12,316(本体¥11,197)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Evolutionary Computation in Combinatorial Optimization : 12th European Conference, EvoCOP 2012, M (Lecture Notes in Computer Science Vol.7245) (2012. XII, 264 p. 235 mm)
  • 洋書

Evolutionary Computation in Combinatorial Optimization : 12th European Conference, EvoCOP 2012, M (Lecture Notes in Computer Science Vol.7245) (2012. XII, 264 p. 235 mm)  Paperback

Herausgegeben von Hao, Jin-Kao/ Middendorf, Martin

  • ウェブストア価格 ¥12,316(本体¥11,197)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Genetic Programming : 15th European Conference, EuroGP 2012, M (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7244) (2012. 2012. XII, 279 S. 91 SW-Abb. 235 mm)
  • 洋書

Genetic Programming : 15th European Conference, EuroGP 2012, M (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7244) (2012. 2012. XII, 279 S. 91 SW-Abb. 235 mm)  Paperback

Herausgegeben von Moraglio, Alberto/ Silva, Sara/ Krawiec, Krzysztof/ Machado, Penousal/ Cotta, Carlos

  • ウェブストア価格 ¥12,316(本体¥11,197)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫