close
1.

電子ブック
ＥＢ
1. Mobility in Process Calculi and Natural Computing
by Bogdan Aman, Gabriel Ciobanu
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Natural Computing Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-24867-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7052
オンライン: http://dx.doi.org/10.1007/978-3-642-24971-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Genetic Programming Theory and Practice VIII
edited by Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Genetic and Evolutionary Computation ; 8
オンライン: http://dx.doi.org/10.1007/978-1-4419-7747-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Optical Supercomputing : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
edited by Shlomi Dolev, Mihai Oltean
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6748
オンライン: http://dx.doi.org/10.1007/978-3-642-22494-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
edited by Klaus Ambos-Spies, Benedikt Lowe, Wolfgang Merkle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5635
オンライン: http://dx.doi.org/10.1007/978-3-642-03073-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, R. Ramanujam, Sundar Sarukkai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5378
オンライン: http://dx.doi.org/10.1007/978-3-540-92701-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Quantum Interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Peter Bruza, Donald Sofge, William Lawless, Keith Rijsbergen, Matthias Klusch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5494
オンライン: http://dx.doi.org/10.1007/978-3-642-00834-4
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Lowe
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5489
オンライン: http://dx.doi.org/10.1007/978-3-642-03092-5
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
edited by Jean-Raymond Abrial, Uwe Glasser
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5115
オンライン: http://dx.doi.org/10.1007/978-3-642-11447-2
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Optical SuperComputing : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings
edited by Shlomi Dolev, Mihai Oltean
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5882
オンライン: http://dx.doi.org/10.1007/978-3-642-10442-8
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Lowe
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5028
オンライン: http://dx.doi.org/10.1007/978-3-540-69407-6
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
edited by Wilfrid Hodges, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5110
オンライン: http://dx.doi.org/10.1007/978-3-540-69937-8
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4800
オンライン: http://dx.doi.org/10.1007/978-3-540-78127-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4978
オンライン: http://dx.doi.org/10.1007/978-3-540-79228-4
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Computer Science ?ETheory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5010
オンライン: http://dx.doi.org/10.1007/978-3-540-79709-8
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Optical SuperComputing : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Shlomi Dolev, Tobias Haist, Mihai Oltean
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5172
オンライン: http://dx.doi.org/10.1007/978-3-540-85673-3
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Theory and Applications of Models of Computation : 4th International Conference TAMC 2007 Shanghai China May 22-25 2007. Proceedings
edited by Jin-Yi Cai S. Barry Cooper Hong Zhu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4484
オンライン: http://dx.doi.org/10.1007/978-3-540-72504-6
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Computation and Logic in the Real World : Third Conference on Computability in Europe CiE 2007 Siena Italy June 18-232007 Proceedings
edited by S. Barry Cooper Benedikt Lowe Andrea Sorbi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4497
オンライン: http://dx.doi.org/10.1007/978-3-540-73001-9
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Logic Language Information and Computation : 14th International Workshop WoLLIC 2007 Rio de Janeiro Brazil July 2-5 2007. Proceedings
edited by Daniel Leivant Ruy Queiroz
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4576
オンライン: http://dx.doi.org/10.1007/978-3-540-73445-1
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Computer Science ?ETheory and Applications : Second International Symposium on Computer Science in Russia CSR 2007 Ekaterinburg Russia September 3-7 2007. Proceedings
edited by Volker Diekert Mikhail V. Volkov Andrei
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4649
オンライン: http://dx.doi.org/10.1007/978-3-540-74510-5
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Theory and Applications of Models of Computation : Third International Conference TAMC 2006 Beijing China May 15-202006 Proceedings
edited by Jin-Yi Cai S. Barry Cooper Angsheng Li
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3959
オンライン: http://dx.doi.org/10.1007/11750321
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia CSR 2006 St. Petersburg Russia June 8-122006 Proceedings
edited by Dima Grigoriev John Harrison Edward A.
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3967
オンライン: http://dx.doi.org/10.1007/11753728
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Algebra Meaning and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
edited by Kokichi Futatsugi Jean-Pierre Jouannaud Jos- Meseguer
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4060
オンライン: http://dx.doi.org/10.1007/11780274
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Logical Approaches to Computational Barriers : Second Conference on Computability in Europe CiE 2006 Swansea UK June 30-July 52006 Proceedings
edited by Arnold Beckmann Ulrich Berger Benedikt L-we John V. Tucke
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3988
オンライン: http://dx.doi.org/10.1007/11780342
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Computer and Information Seciences - ISCIS 2006 : 21th International Symposium Istanbul Turkey Novenber 1-32006 Proceedings
edited by Albert LeviErkay Savas H-sn- Yenig-n Selim Balcisoy et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4263
オンライン: http://dx.doi.org/10.1007/11902140
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
edited by Barry S. Cooper, Benedikt Lowe
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3526
オンライン: http://dx.doi.org/10.1007/b136981
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Computer and Information Sciences - ISCIS 2005 : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
edited by Tunga Gungor, Fikret Gurgen, Can Ozturan, Pinar Yolum
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3733
オンライン: http://dx.doi.org/10.1007/11569596
所蔵情報: loading…