381～400件／全841件 セーフサーチON


Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) （2013）
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,205（本体¥9,278）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ポイント 92pt
  • 海外取次在庫
Progress in Artificial Intelligence : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013, Proceedings (Lecture Notes in Artificial Intelligence) （2013）
  • 洋書

Progress in Artificial Intelligence : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013, Proceedings (Lecture Notes in Artificial Intelligence) （2013）  Paperback,  言語：ENG

Correia, Luis Miguel (EDT)/ Reis, Luís Paulo (EDT)/ Cascalho, José Manuel (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ポイント 102pt
  • 海外取次在庫
Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Lecture Notes in Computer Science) （2013）
  • 洋書

Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Fontaine, Pascal (EDT)/ Ringeissen, Christophe (EDT)/ Schmidt, Renate (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/09発売）
  • ポイント 102pt
  • 海外取次在庫
Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings (Security and Cryptology) （2013）
  • 洋書

Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings (Security and Cryptology) （2013）  Paperback,  言語：ENG

Susilo, Willy (EDT)/ Reyhanitabar, Reza (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/09発売）
  • ポイント 102pt
  • 海外取次在庫
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,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 102pt
  • 海外取次在庫
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers (Ifip Advances in Information an
  • 洋書

VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers (Ifip Advances in Information an  Paperback,  言語：ENG

Ayala, Jose L. (EDT)/ Atienza Alonso, David (EDT)/ Reis, Ricardo (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/04発売）
  • ご注文いただけません
Graph-Theoretic Concepts in Computer Science : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers (Theoretical Computer Science and General Issues) （2013）
  • 洋書

Graph-Theoretic Concepts in Computer Science : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers (Theoretical Computer Science and General Issues) （2013）  Paperback,  言語：ENG

Brandstädt, Andreas (EDT)/ Jansen, Klaus (EDT)/ Reischuk, Rüdiger (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/11発売）
  • ポイント 102pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes i （2014）
  • 洋書

Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes i （2014）  Paperback,  言語：ENG

Gnesi, Stefania (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 102pt
  • 海外取次在庫
VLSI-SoC: from Algorithms to Circuits and System-on-Chip Design : 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers (Ifip Advances in Infor
  • 洋書

VLSI-SoC: from Algorithms to Circuits and System-on-Chip Design : 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers (Ifip Advances in Infor  Hardcover,  言語：ENG

Burg, Andreas (EDT)/ Coskun, Ayse (EDT)/ Guthaus, Matthew (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/11発売）
  • ご注文いただけません
Image and Video Technology : 6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Image and Video Technology : 6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語：ENG

Klette, Reinhard (EDT)/ Rivera, Mariano (EDT)/ Satoh, Shin`ichi (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/01発売）
  • ポイント 102pt
  • 海外取次在庫
Algebraic and Algorithmic Aspects of Differential and Integral Operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers (Lect
  • 洋書

Algebraic and Algorithmic Aspects of Differential and Integral Operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers (Lect  Paperback,  言語：ENG

Barkatou, Moulay (EDT)/ Cluzeau, Thomas (EDT)/ Regensburger, Georg (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 102pt
  • 海外取次在庫
Formal Grammar : 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings (Theoretical Computer Science and General Issues) （2014）
  • 洋書

Formal Grammar : 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings (Theoretical Computer Science and General Issues) （2014）  Paperback,  言語：ENG

Morrill, Glyn (EDT)/ Muskens, Reinhard (EDT)/ Osswald, Rainer (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/08発売）
  • ポイント 102pt
  • 海外取次在庫
Disease Control through Social Network Surveillance (Lecture Notes in Social Networks)
  • 洋書

Disease Control through Social Network Surveillance (Lecture Notes in Social Networks)  Paperback

Bourlai, Thirimachos (EDT)/ Karampelas, Panagiotis (EDT)/ Alhajj, Reda (EDT)

  • ウェブストア価格 ¥27,359（本体¥24,872）
  • Springer International Publishing AG（2023/09発売）
  • ポイント 248pt
  • 海外からお取り寄せ（通常6～9週間）
Electronic Voting: 8th International Joint Conference, E-Vote-Id 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science") 〈1423〉
  • 洋書

Electronic Voting: 8th International Joint Conference, E-Vote-Id 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science") 〈1423〉  Paperback

Volkamer, Melanie(EDT)/ Duenas-Cid, David(EDT)/ Rønne, Peter(EDT)

  • ウェブストア価格 ¥10,205（本体¥9,278）
  • Springer（2023/09発売）
  • ポイント 92pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2991) （2004. X, 315 p. 23,5 cm）
  • 洋書

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2991) （2004. X, 315 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Rene Alt, Andreas Frommer, R. Baker Kearfott et al.

  • ウェブストア価格 ¥12,697（本体¥11,543）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 115pt
  • 海外取次在庫
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings (Lecture Notes in Computer Science Vol.3011) （2004. XI, 415 p. 23,5 cm）
  • 洋書

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings (Lecture Notes in Computer Science Vol.3011) （2004. XI, 415 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Jean-Charles Regin a. Michel Rueher

  • SPRINGER, BERLIN（2004発売）
  • ご注文いただけません
Combinatorial Image Analysis : 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3322) （2004. XII, 760 p. 23,5 cm）
  • 洋書

Combinatorial Image Analysis : 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3322) （2004. XII, 760 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Reinhard Klette and Jovisa Zunic

  • ウェブストア価格 ¥25,396（本体¥23,088）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 230pt
  • 海外取次在庫
Analysis, Architectures and Modelling of Embedded Systems (IFIP Advances in Information and Communication Technology .310) （2009. 2013. XI, 315 S. 235 mm）
  • 洋書

Analysis, Architectures and Modelling of Embedded Systems (IFIP Advances in Information and Communication Technology .310) （2009. 2013. XI, 315 S. 235 mm）  Paperback

Herausgegeben von Rettberg, Achim/ Zanella, Mauro C./ Amann, Michael/ Keckeisen, Michael/ Rammig, Franz J.

  • SPRINGER, BERLIN（2013発売）
  • ご注文いただけません
Eine kurze Geschichte der Technischen Informatik : Wie ein Computer funktioniert - anschaulich erklärt (essentials)
  • 洋書

Eine kurze Geschichte der Technischen Informatik : Wie ein Computer funktioniert - anschaulich erklärt (essentials)  Paperback,  言語：GER

Reichl, Peter

  • ウェブストア価格 ¥3,671（本体¥3,338）
  • Springer Vieweg（2023/06発売）
  • ポイント 33pt
  • 海外取次在庫
VLSI-SoC: Technology Advancement on SoC Design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers (Ifip Advances in Information and Comm
  • 洋書

VLSI-SoC: Technology Advancement on SoC Design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers (Ifip Advances in Information and Comm  Paperback

Grimblatt, Victor (EDT)/ Chang, Chip Hong (EDT)/ Reis, Ricardo (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer International Publishing AG（2023/10発売）
  • ポイント 102pt
  • 海外取次在庫
381～400件／全841件