Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bonacina, Maria Paola (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 108pt
  • 海外取次在庫
Recent Trends in Applied Artificial Intelligence : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013, Proceedings (Lecture Notes (2013)
  • 洋書

Recent Trends in Applied Artificial Intelligence : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013, Proceedings (Lecture Notes (2013)  Paperback,  言語:ENG

Ali, Moonis (EDT)/ Bosse, Tibor (EDT)/ Hindriks, Koen V. (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 108pt
  • 海外取次在庫
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, (2013)
  • 洋書

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, (2013)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Boreale, Michele (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 108pt
  • 海外取次在庫
The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Bonizzoni, Paola (EDT)/ Brattka, Vasco (EDT)/ Löwe, Benedikt (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 108pt
  • 海外取次在庫
Information Security and Privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013, Proceedings (Security and Cryptology) (2013)
  • 洋書

Information Security and Privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013, Proceedings (Security and Cryptology) (2013)  Paperback,  言語:ENG

Boyd, Colin (EDT)/ Simpson, Leonie (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 108pt
  • 海外取次在庫
Web Information Retrieval (Data-centric Systems and Applications)
  • 洋書

Web Information Retrieval (Data-centric Systems and Applications)  Hardcover,  言語:ENG

Ceri, Stefano/ Bozzon, Alessandro/ Brambilla, Marco

  • ウェブストア価格 ¥17,343(本体¥15,767)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 157pt
  • 海外取次在庫
Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Binder, Walter (EDT)/ Bodden, Eric (EDT)/ Löwe, Welf (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 108pt
  • 海外取次在庫
Web Reasoning and Rule Systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Web Reasoning and Rule Systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

Faber, Wolfgang (EDT)/ Lembo, Domenico (EDT)

  • ウェブストア価格 ¥10,839(本体¥9,854)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 98pt
  • 海外取次在庫
Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II (Lecture Notes in Computer Science) (2013)
  • 洋書

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Wilson, Richard (EDT)/ Hancock, Edwin (EDT)/ Bors, Adrian (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 108pt
  • 海外取次在庫
Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Wilson, Richard (EDT)/ Hancock, Edwin (EDT)/ Bors, Adrian (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 108pt
  • 海外取次在庫
Database Systems for Advanced Applications : 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Database Systems for Advanced Applications : 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Hong, Bonghee (EDT)/ Meng, Xiaofeng (EDT)/ Chen, Lei (EDT)

  • ウェブストア価格 ¥10,839(本体¥9,854)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 98pt
  • 海外取次在庫
Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2013 Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Golden Coast, QLD, Australia, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2013 Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Golden Coast, QLD, Australia, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Li, Jiuyong (EDT)/ Cao, Longbing (EDT)/ Wang, Can (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 108pt
  • 海外取次在庫
Algorithms - ESA 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Algorithms - ESA 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Bodlaender, Hans L. (EDT)/ Italiano, Giuseppe F. (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 108pt
  • 海外取次在庫
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,839(本体¥9,854)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 98pt
  • 海外取次在庫
Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Rauber Du Bois, Andre (EDT)/ Trinder, Phil (EDT)

  • ウェブストア価格 ¥15,827(本体¥14,389)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 143pt
  • 海外取次在庫
Evaluating AAL Systems through Competitive Benchmarking : International Competitions and Final Workshop, July and September 2013. Proceedings (Communications in Computer and Information Science) (2013)
  • 洋書

Evaluating AAL Systems through Competitive Benchmarking : International Competitions and Final Workshop, July and September 2013. Proceedings (Communications in Computer and Information Science) (2013)  Paperback,  言語:ENG

Botia, Juan A. (EDT)/ Alvarez-Garcia, Juan Antonio (EDT)/ Fujinami, Kaori (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 108pt
  • 海外取次在庫
Critical Information Infrastructure Security : 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers (Security and Cryptology) (2013)
  • 洋書

Critical Information Infrastructure Security : 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers (Security and Cryptology) (2013)  Paperback,  言語:ENG

Bologna, Sandro (EDT)/ Hämmerli, Bernhard (EDT)/ Gritzalis, Dimitris (EDT)

  • ウェブストア価格 ¥10,839(本体¥9,854)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 98pt
  • 海外取次在庫
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Christianson, Bruce (EDT)/ Malcolm, James (EDT)/ Stajano, Frank (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 108pt
  • 海外取次在庫
Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I (Lecture Notes in Computer Science) (2013)
  • 洋書

Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bebis, George (EDT)/ Boyle, Richard (EDT)/ Parvin, Bahram (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 108pt
  • 海外取次在庫
Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II (Lecture Notes in Computer Science) (2013)
  • 洋書

Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bebis, George (EDT)/ Boyle, Richard (EDT)/ Parvin, Bahram (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 108pt
  • 海外取次在庫