Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: 004.0151)
Results:378items
Modern approaches to discrete curvature / editors, Laurent Najman, Pascal Romon
: [pbk.]. - Cham : Springer , c2017. - (Lecture notes in mathematics ; 2184)
Books
Game Theory for Cyber Deception : From Theory to Applications / by Jeffrey Pawlick, Quanyan Zhu
1st ed. 2021.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2021). - (Static & Dynamic Game Theory: Foundations & Applications. ISSN:23638524)
E-Book
Mathematical Modeling and Numerical Simulation in Continuum Mechanics : Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan / edited by Ivo Babuska, Philippe G. Ciarlet, Tetsuhiko Miyoshi
1st ed. 2002.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2002). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 19)
Numerical Methods in Computational Electrodynamics : Linear Systems in Practical Applications / by Ursula van Rienen
1st ed. 2001.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2001). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 12)
Advances in Software Tools for Scientific Computing / edited by Hans P. Langtangen, Are M. Bruaset, Ewald Quak
1st ed. 2000.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2000). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 10)
Recent Mathematical Methods in Dynamic Programming : Proceedings of the Conference held in Rome, Italy, March 26-28, 1984 / edited by Italo Capuzzo Dolcetta, Wendell H. Fleming, Tullio Zolezzi
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Mathematics. ISSN:16179692 ; 1119)
The Pillars of Computation Theory : State, Encoding, Nondeterminism / by Arnold L. Rosenberg
1st ed. 2010.. - (New York, NY : Springer New York : Imprint: Springer , 2010). - (Universitext. ISSN:21916675)
Research in Data Science / edited by Ellen Gasparovic, Carlotta Domeniconi
1st ed. 2019.. - (Cham : Springer International Publishing : Imprint: Springer , 2019). - (Association for Women in Mathematics Series. ISSN:23645741 ; 17)
Modern Computer Arithmetic / Richard P. Brent, Paul Zimmermann
Cambridge : Cambridge University Press , 2010. - (Cambridge Monographs on Applied and Computational Mathematics ; 18)
Data Structures for Computational Statistics / by Sigbert Klinke
1st ed. 1997.. - (Heidelberg : Physica-Verlag HD : Imprint: Physica , 1997). - (Contributions to Statistics. ISSN:26288966)
Algorithms and Computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings / edited by Ding-Zhu Du, Xiang-Sun Zhang
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 834)
Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 812)
Application and Theory of Petri Nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings / edited by Robert Valette
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 815)
Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering : 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13 - 16, 1994 Proceedings / edited by Pericles Loucopoulos
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 881)
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings / edited by David L. Dill
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 818)
Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings / edited by Igor Privara, Branislav Rovan, Peter Ruzicka
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 841)
Entity-Relationship Approach - ER '93 : 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings / edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 823)
Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings / edited by P.S. Thiagarajan
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 880)
Parallel Problem Solving from Nature - PPSN III : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings / edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 866)
Trees in Algebra and Programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings / edited by Sophie Tison
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 787)