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…
51.

電子ブック
ＥＢ
51. Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Antonio Teixeira, Vera Lucia Strube Lima, Luis Caldas Oliveira, Paulo Quaresma
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5190
オンライン: http://dx.doi.org/10.1007/978-3-540-85980-2
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-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, Angela Barbero
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5228
オンライン: http://dx.doi.org/10.1007/978-3-540-87448-5
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
edited by Jaime G. Carbonell, J¥org Siekmann, Deepak Kapur
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5081
オンライン: http://dx.doi.org/10.1007/978-3-540-87827-8
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Comparative Genomics : International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings
edited by Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Craig E. Nelson, Stephane Vialette
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5267
オンライン: http://dx.doi.org/10.1007/978-3-540-87989-3
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. 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, Carlos Martin-Vide, Friedrich Otto, Henning Fernau
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5196
オンライン: http://dx.doi.org/10.1007/978-3-540-88282-4
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, 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, Stefan Lucks, Ahmad-Reza Sadeghi, Christopher Wolf
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4945
オンライン: http://dx.doi.org/10.1007/978-3-540-88353-1
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 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, Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5324
オンライン: http://dx.doi.org/10.1007/978-3-540-88733-1
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
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 Marinaro, Silvia Scarpetta, Yoko Yamaguchi
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5286
オンライン: http://dx.doi.org/10.1007/978-3-540-88853-6
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Rational Algebraic Curves : A Computer Algebra Approach
by J. Rafael Sendra, Franz Winkler, Sonia Perez-Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Algorithms and Computation in Mathematics ; 22
オンライン: http://dx.doi.org/10.1007/978-3-540-73725-4
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Computer Algebra in Scientific Computing : 10th International Workshop CASC 2007 Bonn Germany September 16-20 2007. Proceedings
edited by Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4770
オンライン: http://dx.doi.org/10.1007/978-3-540-75187-8
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Algebraic Informatics : Second International Conference CAI 2007 Thessaloniki Greece May 21-252007 Revised Selected and Invited Papers
edited by Symeon Bozapalidis George Rahonis
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4728
オンライン: http://dx.doi.org/10.1007/978-3-540-75414-5
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Applied Algebra Algebraic Algorithms and Error-Correcting Codes : 17th International Symposium AAECC-17 Bangalore India December 16-20 2007. Proceedings
edited by Serdar Bozta?E Hsiao-Feng (Francis) Lu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4851
オンライン: http://dx.doi.org/10.1007/978-3-540-77224-8
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Recent Trends in Algebraic Development Techniques : 18th International Workshop WADT 2006 La Roche en Ardenne Belgium June 1-32006 Revised Selected Papers
edited by Jose Luiz Fiadeiro Pierre-Yves Schobbens
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4409
オンライン: http://dx.doi.org/10.1007/978-3-540-71998-4
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Arithmetic of Finite Fields : First International Workshop WAIFI 2007 Madrid Spain June 21-22 2007. Proceedings
edited by Claude Carlet Berk Sunar
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4547
オンライン: http://dx.doi.org/10.1007/978-3-540-73074-3
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Developments in Language Theory : 11th International Conference DLT 2007 Turku Finland July 3-6 2007. Proceedings
edited by Tero Harju Juhani Karhumaki Arto Lepisto
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4588
オンライン: http://dx.doi.org/10.1007/978-3-540-73208-2
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Algebraic Biology : Second International Conference AB 2007 Castle of Hagenberg Austria July 2-4 2007. Proceedings
edited by Hirokazu Anai Katsuhisa Horimoto Temur Kutsia
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4545
オンライン: http://dx.doi.org/10.1007/978-3-540-73433-8
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Term Rewriting and Applications : 18th International Conference RTA 2007 Paris France June 26-28 2007. Proceedings
edited by Franz Baader
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4533
オンライン: http://dx.doi.org/10.1007/978-3-540-73449-9
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Pairing-Based Cryptography ?EPairing 2007 : First International Conference Tokyo Japan July 2-4 2007. Proceedings
edited by Tsuyoshi Takagi Tatsuaki Okamoto Eiji Okamoto Takeshi Okamoto
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4575
オンライン: http://dx.doi.org/10.1007/978-3-540-73489-5
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Mathematics of Surfaces XII : 12th IMA International Conference Sheffield UK September 4-6 2007. Proceedings
edited by Ralph Martin Malcolm Sabin Joab Winkler
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4647
オンライン: http://dx.doi.org/10.1007/978-3-540-73843-5
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Algebra and Coalgebra in Computer Science : Second International Conference CALCO 2007 Bergen Norway August 20-24 2007. Proceedings
edited by Till Mossakowski Ugo Montanari Magne Haveraaen
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4624
オンライン: http://dx.doi.org/10.1007/978-3-540-73859-6
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Types for Proofs and Programs : International Workshop TYPES 2006 Nottingham UK April 18-212006 Revised Selected Papers
edited by Thorsten Altenkirch Conor McBride
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4502
オンライン: http://dx.doi.org/10.1007/978-3-540-74464-1
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Algorithmic Topology and Classification of 3-Manifolds
edited by Sergei Matveev
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Algorithms and Computation in Mathematics ; 9
オンライン: http://dx.doi.org/10.1007/978-3-540-45899-9
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. A Singular Introduction to Commutative Algebra
by Gert-Martin Greuel, Gerhard Pfister
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
オンライン: http://dx.doi.org/10.1007/978-3-540-73542-7
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-49333-6
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Applied Algebra Algebraic Algorithms and Error-Correcting Codes : 16th International Symposium AAECC-16 Las Vegas NV USA February 20-242006 Proceedings
edited by Marc Fossorier Hideki Imai Shu Lin Alain Poli
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3857
オンライン: http://dx.doi.org/10.1007/11617983
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Types for Proofs and Programs : International Workshop TYPES 2004 Jouy-en-Josas France December 15-182004 Revised Selected Papers
edited by Jean-Christophe Filliatre Christine Paulin-Mohring Benjamin Werner
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3839
オンライン: http://dx.doi.org/10.1007/11617990
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra Workshop of COST Action 274: TARSKI St. Catharin
MacCaull Wendy ; Winter Michael ; D-ntsch Ivo ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3929
オンライン: http://dx.doi.org/10.1007/11734673
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Developments in Language Theory (vol. 4036) : 10th International Conference DLT 2006 Santa Barbara CA USA June 26-292006 Proceedings
edited by Oscar H. Ibarra Zhe Dang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4036
オンライン: http://dx.doi.org/10.1007/11779148
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Algebraic Methodology and Software Technology : 11th International Conference AMAST 2006 Kuressaare Estonia July 5-82006 Proceedings
edited by Michael Johnson Varmo Vene
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4019
オンライン: http://dx.doi.org/10.1007/11784180
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Algorithmic Number Theory : 7th International Symposium ANTS-VII Berlin Germany July 23-282006 Proceedings
edited by Florian Hess Sebastian Pauli Michael Pohst
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4076
オンライン: http://dx.doi.org/10.1007/11792086
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings
edited by Frank Pfenning
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4098
オンライン: http://dx.doi.org/10.1007/11805618
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra RelMiCS/AKA 2006 Manchester UK
Schmidt Renate A. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4136
オンライン: http://dx.doi.org/10.1007/11828563
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy
edited by Michael Kohlhase
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4180
オンライン: http://dx.doi.org/10.1007/11826095
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software Castro Urdiales Spain September 1-32006 Proceedings
edited by Andres Iglesias Nobuki Takayama
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4151
オンライン: http://dx.doi.org/10.1007/11832225
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Artificial Intelligence and Symbolic Computation : 8th International Conference AISC 2006 Beijing China September 20-222006 Proceedings
edited by Jaques Calmet Tetsuo Ida Dongming Wang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4120
オンライン: http://dx.doi.org/10.1007/11856290
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Sequences and Their Applications - SETA 2006 : 4th International Conference Beijing China September 24-282006 Proceedings
edited by Guang Gong Tor Helleseth Hong-Yeop Song Kyeongcheol Yang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4086
オンライン: http://dx.doi.org/10.1007/11863854
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Computer Algebra in Scientific Computing (vol. 4194) : 9th International Workshop CASC 2006 Chisinau Moldova September 11-152006 Proceedings
edited by V.G. Ganzha E.W. Mayr E.V. Vorozhtsov
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4194
オンライン: http://dx.doi.org/10.1007/11870814
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Theory and Applications of Relational Structures as Knowledge Instruments II : International Workshops of COST Action 274 TARSKI 2002-2005 Selected Revised Papers
edited by Harrie de Swart Ewa Orlowska Gunther Schmi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4342
オンライン: http://dx.doi.org/10.1007/11964810
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science + Business Media, 2006
オンライン: http://dx.doi.org/10.1007/0-387-31262-5
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Global Optimization : From Theory to Implementation
edited by Leo Liberti, Nelson Maculan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Nonconvex Optimization and Its Applications ; 84
オンライン: http://dx.doi.org/10.1007/0-387-30528-9
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. The Mathematica GuideBook for Symbolics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28815-5
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Computing in Algebraic Geometry : A Quick Start using SINGULAR
by Wolfram Decker, Christoph Lossen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg and Hindustan Book Agency New Delhi, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 16
オンライン: http://dx.doi.org/10.1007/3-540-28993-3
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Algorithms in Real Algebraic Geometry. Second Edition
by Saugata Basu, Richard Pollack, Marie-Francoise Roy
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 10
オンライン: http://dx.doi.org/10.1007/3-540-33099-2
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
edited by Wieb Bosma, John Cannon
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Algorithms and Computation in Mathematics ; 19
オンライン: http://dx.doi.org/10.1007/978-3-540-37634-7
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Parallel Robots. Second Edition
by J. -P. Merlet
出版情報: Dordrecht : Springer, 2006
シリーズ名: Solid Mechanics and Its Applications ; 128
オンライン: http://dx.doi.org/10.1007/1-4020-4133-0
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
edited by Jose Luiz Fiadeiro, Peter Mosses, Fernando Orejas
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3423
オンライン: http://dx.doi.org/10.1007/b107129
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Term Rewriting and Applications (vol. # 3467) : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
edited by Jurgen Giesl
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3467
オンライン: http://dx.doi.org/10.1007/b135673
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
edited by Christophe Jermann, Arnold Neumaier, Djamila Sam
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3478
オンライン: http://dx.doi.org/10.1007/b136292
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Sequences and Their Applications - SETA 2004 : Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
edited by Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Kyeongcheol Yang
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3486
オンライン: http://dx.doi.org/10.1007/b136167
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Advanced Encryption Standard - AES : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3373
オンライン: http://dx.doi.org/10.1007/b137765
所蔵情報: loading…