富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.9.A43)
該当件数:36件
Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings / edited by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13967)
電子ブック
String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26–28, 2023, Proceedings / edited by Franco Maria Nardini, Nadia Pisanti, Rossano Venturini
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14240)
Theory and Applications of Models of Computation : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings / edited by Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13571)
Revolutions and Revelations in Computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings / edited by Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13359)
String Processing and Information Retrieval : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings / edited by Diego Arroyuelo, Barbara Poblete
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13617)
Machines, Computations, and Universality : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / edited by Jérôme Durand-Lose, György Vaszil
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13419)
Algorithm Theory - SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings / edited by Lars Arge, Rusins Freivalds
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4059)
Ant Colony Optimization and Swarm Intelligence : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4150)
Subspace, Latent Structure and Feature Selection : Statistical and Optimization Perspectives Workshop, SLSFS 2005 Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers / edited by Craig Saunders, Marko Grobelnik, Steve Gunn, John Shawe-Taylor
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3940)
Parameterized and Exact Computation : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings / edited by Hans L. Bodlaender, Michael A. Langston
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4169)
Efficient Approximation and Online Algorithms : Recent Progress on Classical Combinatorial Optimization Problems and New Applications / edited by Evripidis Bampis, Klaus Jansen, Claire Kenyon
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3484)
Algorithms and Complexity : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings / edited by Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3998)
Graph-Theoretic Concepts in Computer Science : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers / edited by Fedor V. Fomin
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4271)
Research in Computational Molecular Biology : 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings / edited by Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel Pevzner, Michael Waterman
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Bioinformatics. ISSN:23666331 ; 3909)
Modular Algorithms in Symbolic Summation and Symbolic Integration / by Jürgen Gerhard
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Lecture Notes in Computer Science. ISSN:16113349 ; 3218)
Combinatorial Pattern Matching : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Kunsoo Park
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3537)
Computer Algebra and Geometric Algebra with Applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / edited by Hongbo Li, Peter J. Olver, Gerald Sommer
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3519)
Computing and Combinatorics : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / edited by Lusheng Wang
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3595)
Evolutionary Multi-Criterion Optimization : Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings / edited by Carlos Coello Coello, Arturo Hernández Aguirre, Eckart Zitzler
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3410)
Algorithms and Data Structures : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / edited by Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3608)