1
יצא לאור 2008
תוכן הענינים: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2013
תוכן הענינים: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2015
תוכן הענינים: ...Propositional Proofs in Frege and Extended Frege Systems -- Circuit Complexity Meets Ontology-Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים: ... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים: ...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... for Variational Problems in Computer Vision -- An Experimental Study of Color-Based Segmentation Algorithms Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים: ... of Portuguese Based on Variable Length Markov Chains -- From Syntactical Analysis to Textual Segmentation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים: ... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים: ... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2007
תוכן הענינים: ... -- Applications to Faces and Text -- A Pupil Localization Algorithm Based on Adaptive Gabor Filtering and Negative...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2013
תוכן הענינים: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
תוכן הענינים: ...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... -- Computing the Quartet Distance Between Trees of Arbitrary Degree -- Using Semi-definite Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים: ..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ... Information in Compression-Based Text Clustering -- Simple Deterministically Constructed Recurrent Neural...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני