close
1.

電子ブック
ＥＢ
1. Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 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, Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5625
オンライン: http://dx.doi.org/10.1007/978-3-642-02614-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Fast Software Encryption : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers
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, Orr Dunkelman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5665
オンライン: http://dx.doi.org/10.1007/978-3-642-03317-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 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, Sergei Artemov, Anil Nerode
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5407
オンライン: http://dx.doi.org/10.1007/978-3-540-92687-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, ?pindler?v Mlyn, Czech Republic, January 24-30, 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, Mogens Nielsen, Antonin Ku?era, Peter Bro Miltersen, Catuscia Palamidessi, Petr T?ma, Frank Valencia
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5404
オンライン: http://dx.doi.org/10.1007/978-3-540-95891-8
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 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, Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5457
オンライン: http://dx.doi.org/10.1007/978-3-642-00982-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 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, Maria Bras-Amoros, Tom Hoholdt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5527
オンライン: http://dx.doi.org/10.1007/978-3-642-02181-7
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 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, Pierre-Louis Curien
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5608
オンライン: http://dx.doi.org/10.1007/978-3-642-02273-9
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 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, Ralf Treinen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5595
オンライン: http://dx.doi.org/10.1007/978-3-642-02348-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
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, Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5497
オンライン: http://dx.doi.org/10.1007/978-3-642-02444-3
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 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, Volker Diekert, Dirk Nowotka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5583
オンライン: http://dx.doi.org/10.1007/978-3-642-02737-6
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Pairing-Based Cryptography ? Pairing 2009 : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
edited by Hovav Shacham, Brent Waters
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5671
オンライン: http://dx.doi.org/10.1007/978-3-642-03298-1
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
edited by Martin Leucker, Carroll Morgan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5684
オンライン: http://dx.doi.org/10.1007/978-3-642-03466-4
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
edited by Symeon Bozapalidis, George Rahonis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5725
オンライン: http://dx.doi.org/10.1007/978-3-642-03564-7
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings
edited by Irit Dinur, Klaus Jansen, Joseph Naor, Jose Rolim
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5687
オンライン: http://dx.doi.org/10.1007/978-3-642-03685-9
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5728
オンライン: http://dx.doi.org/10.1007/978-3-642-03741-2
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5689
オンライン: http://dx.doi.org/10.1007/978-3-642-03754-2
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. String Processing and Information Retrieval : 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings
edited by Jussi Karlgren, Jorma Tarhio, Heikki Hyyro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5721
オンライン: http://dx.doi.org/10.1007/978-3-642-03784-9
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks : Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings
edited by Olivier Markowitch, Angelos Bilas, Jaap-Henk Hoepman, Chris J. Mitchell, Jean-Jacques Quisquater
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5746
オンライン: http://dx.doi.org/10.1007/978-3-642-03944-7
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
edited by Erich Gradel, Reinhard Kahle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5771
オンライン: http://dx.doi.org/10.1007/978-3-642-04027-6
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Cryptographic Hardware and Embedded Systems - CHES 2009 : 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
edited by Christophe Clavier, Kris Gaj
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5747
オンライン: http://dx.doi.org/10.1007/978-3-642-04138-9
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Selected Areas in Cryptography : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers
edited by Roberto Maria Avanzi, Liam Keliher, Francesco Sica
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5381
オンライン: http://dx.doi.org/10.1007/978-3-642-04159-4
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
edited by Jens Palsberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5700
オンライン: http://dx.doi.org/10.1007/978-3-642-04164-8
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
edited by Joel Ouaknine, Frits W. Vaandrager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5813
オンライン: http://dx.doi.org/10.1007/978-3-642-04368-0
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Computer Algebra in Scientific Computing : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
edited by Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5743
オンライン: http://dx.doi.org/10.1007/978-3-642-04103-7
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Algorithmic Decision Theory : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
edited by Francesca Rossi, Alexis Tsoukias
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5783
オンライン: http://dx.doi.org/10.1007/978-3-642-04428-1
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5827
オンライン: http://dx.doi.org/10.1007/978-3-642-04639-1
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Provable Security : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
edited by Josef Pieprzyk, Fangguo Zhang
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5848
オンライン: http://dx.doi.org/10.1007/978-3-642-04642-1
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Comparative Genomics : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings
edited by Francesca D. Ciccarelli, Istvan Miklos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5817
オンライン: http://dx.doi.org/10.1007/978-3-642-04744-2
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
edited by Xiangdong He, John Horty, Eric Pacuit
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5834
オンライン: http://dx.doi.org/10.1007/978-3-642-04893-7
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Cryptography and Coding : 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings
edited by Matthew G. Parker
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5921
オンライン: http://dx.doi.org/10.1007/978-3-642-10868-6
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
edited by Jianer Chen, Fedor V. Fomin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5917
オンライン: http://dx.doi.org/10.1007/978-3-642-11269-0
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Bilinear Control Systems : Matrices in Action
by David Elliott
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Mathematical Sciences ; 169
オンライン: http://dx.doi.org/10.1023/b101451
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Approximate Commutative Algebra
edited by Lorenzo Robbiano, John Abbott
出版情報: Vienna : Springer-Verlag Vienna, 2009
シリーズ名: Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria ;
オンライン: http://dx.doi.org/10.1007/978-3-211-99314-9
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Advances in Combinatorial Mathematics : Proceedings of the Waterloo Workshop in Computer Algebra 2008
edited by Ilias S. Kotsireas, Eugene V. Zima
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-642-03562-3
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Selected Areas in Cryptography : 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers
edited by Michael J. Jacobson, Vincent Rijmen, Reihaneh Safavi-Naini
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5867
オンライン: http://dx.doi.org/10.1007/978-3-642-05445-7
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Combinatorial Algorithms : 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28?July 2, 2009, Revised Selected Papers
edited by Ji?i Fiala, Jan Kratochvil, Mirka Miller
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5874
オンライン: http://dx.doi.org/10.1007/978-3-642-10217-2
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4941
オンライン: http://dx.doi.org/10.1007/978-3-540-68103-8
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5065
オンライン: http://dx.doi.org/10.1007/978-3-540-68679-8
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 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, Joachim Gathen, Jose Luis Imana, Cetin Kaya Koc
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5130
オンライン: http://dx.doi.org/10.1007/978-3-540-69499-1
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 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, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5117
オンライン: http://dx.doi.org/10.1007/978-3-540-70590-1
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germ
Berghammer, Rudolf ; Moller, Bernhard ; Struth, Georg ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4988
オンライン: http://dx.doi.org/10.1007/978-3-540-78913-0
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Algorithmic Number Theory : 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
edited by Alfred J. Poorten, Andreas Stein
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5011
オンライン: http://dx.doi.org/10.1007/978-3-540-79456-1
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 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, Jose Meseguer, Grigore Ro?u
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5140
オンライン: http://dx.doi.org/10.1007/978-3-540-79980-1
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 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, Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5147
オンライン: http://dx.doi.org/10.1007/978-3-540-85101-1
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
edited by Jaime G. Carbonell, J¥org Siekmann, Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5144
オンライン: http://dx.doi.org/10.1007/978-3-540-85110-3
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Pairing-Based Cryptography ?EPairing 2008 : Second International Conference, Egham, UK, September 1-3, 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, Steven D. Galbraith, Kenneth G. Paterson
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5209
オンライン: http://dx.doi.org/10.1007/978-3-540-85538-5
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
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, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5045
オンライン: http://dx.doi.org/10.1007/978-3-540-85521-7
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 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, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5160
オンライン: http://dx.doi.org/10.1007/978-3-540-85762-4
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 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, Masami Ito, Masafumi Toyama
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5257
オンライン: http://dx.doi.org/10.1007/978-3-540-85780-8
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Sequences and Their Applications - SETA 2008 : 5th International Conference Lexington, KY, USA, September 14-18, 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, Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5203
オンライン: http://dx.doi.org/10.1007/978-3-540-85912-3
所蔵情報: loading…