1
出版事項 2015
目次: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
全文の入手
電子媒体 eBook
2
出版事項 2011
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook
3
出版事項 2012
主題: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
全文の入手
電子媒体 eBook
4
出版事項 2013
目次: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
全文の入手
電子媒体 eBook
5
出版事項 2014
主題: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
全文の入手
電子媒体 eBook
6
出版事項 2012
目次: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
全文の入手
電子媒体 eBook
7
目次: ...Discrete stochastic processes and time series -- Trend definition -- Finite AR(1) stochastic...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
全文の入手
電子媒体 eBook
9
出版事項 2011
目次: ...Series Preface: Gabriele Kaiser and Gloria Stillman -- Chapter 1: Trends in Teaching and Learning...
全文の入手
電子媒体 eBook
10
出版事項 2014
目次: ..., Isabelle Stengers -- Questions Socialement Vives and Socio-Scientific Issues: New Trends of Research...
全文の入手
電子媒体 eBook
11
出版事項 2013
目次: ... on carcinogenesis.-  The regulation of the jnk cascade and programmed cell death by nf-κb: mechanisms and functions...
全文の入手
電子媒体 eBook
12
出版事項 2013
目次: ... to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing...
全文の入手
電子媒体 eBook
13
出版事項 2007
目次: ... of Retimed Software Loops under Timing and Resource Constraints -- Identification and Removal of Program...
全文の入手
電子媒体 eBook
14
出版事項 2015
目次: ... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...
全文の入手
電子媒体 eBook
15
出版事項 2005
目次: ... -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal...
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... Differentiable Programs -- Slice Convergence of Sums of Convex functions in Banach Spaces and Saddle Point...
全文の入手
電子媒体 eBook
17
出版事項 2010
目次: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
全文の入手
電子媒体 eBook
18
出版事項 2012
目次: ... Algebraic Geometry -- Non-Commutative Differential Geometry and Probability -- Modern Trends in Robust...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...
全文の入手
電子媒体 eBook
20
目次: ... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...
全文の入手
電子媒体 eBook