Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
programming parsing » programming learning, programming planning, programming using
parsing based » sparsity based, sensing based
based text » based test
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
programming parsing » programming learning, programming planning, programming using
parsing based » sparsity based, sensing based
based text » based test
1
Được phát hành 2008
Mục lục:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2013
Mục lục:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2013
Mục lục:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2010
Mục lục:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2015
Mục lục:
“...Propositional Proofs in Frege and Extended Frege Systems -- Circuit Complexity Meets Ontology-Based...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2007
Mục lục:
“... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2008
Mục lục:
“...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... for Variational Problems in Computer Vision -- An Experimental Study of Color-Based Segmentation Algorithms Based...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2006
Mục lục:
“... of Portuguese Based on Variable Length Markov Chains -- From Syntactical Analysis to Textual Segmentation...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2006
Mục lục:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2008
Mục lục:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2007
Mục lục:
“... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2013
Mục lục:
“... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2007
Mục lục:
“... -- Applications to Faces and Text -- A Pupil Localization Algorithm Based on Adaptive Gabor Filtering and Negative...”lấy văn bản
Điện tử
eBook
15
Bằng Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Được phát hành 2007
Mục lục:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Được phát hành 2007
lấy văn bản
Điện tử
eBook
16
Được phát hành 2005
Mục lục:
“... -- Computing the Quartet Distance Between Trees of Arbitrary Degree -- Using Semi-definite Programming...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2007
Mục lục:
“..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2013
Mục lục:
“... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2014
Mục lục:
“... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2010
Mục lục:
“... Information in Compression-Based Text Clustering -- Simple Deterministically Constructed Recurrent Neural...”lấy văn bản
Điện tử
eBook
- 1
- 2
- Tiếp theo »
- [2]



