富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Symbolic and Algebraic Manipulation)
該当件数:38件
Algorithms and Complexity : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / edited by Marios Mavronicolas
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13898)
電子ブック
SOFSEM 2023: Theory and Practice of Computer Science : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings / edited by Leszek Gąsieniec
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13878)
Algorithms and Data Structures : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023, Proceedings / edited by Pat Morin, Subhash Suri
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14079)
Graph-Theoretic Concepts in Computer Science : 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28–30, 2023, Revised Selected Papers / edited by Daniël Paulusma, Bernard Ries
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14093)
Arithmetic of Finite Fields : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers / edited by Sihem Mesnager, Zhengchun Zhou
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13638)
Integration in Finite Terms: Fundamental Sources / edited by Clemens G. Raab, Michael F. Singer
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. ISSN:21978409)
Computing and Combinatorics : 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings / edited by Yong Zhang, Dongjing Miao, Rolf Möhring
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13595)
Formal Methods for Software Engineering : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Texts in Theoretical Computer Science. An EATCS Series. ISSN:18624502)
Graph-Theoretic Concepts in Computer Science : 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / edited by Michael A. Bekos, Michael Kaufmann
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13453)
Approximation and Online Algorithms : 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / edited by Parinya Chalermsook, Bundit Laekhanukit
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13538)
Computer Algebra in Scientific Computing : 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings / edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4194)
Algorithmic Number Theory : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings / edited by Florian Hess, Sebastian Pauli, Michael Pohst
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Computer Science. ISSN:16113349 ; 4076)
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 3839)
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 Schmidt, Marc Roubens
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 4342)
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 4120)
Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / edited by Andres Iglesias, Nobuki Takayama
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4151)
Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4098)
Continuous System Simulation / by François E. Cellier, Ernesto Kofman
1st ed. 2006.. - (New York, NY : Springer US : Imprint: Springer , 2006)
Developments in Language Theory : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings / edited by Oscar H. Ibarra, Zhe Dang
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4036)
Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / edited by Michael Johnson, Varmo Vene
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 4019)