בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programmed construction » programmed instruction, program construction, programed instruction
computing processing » computing proceeding, computing proceedings, computer processing
interval computing » intervals comparing, internet computing, interval counting
construction https » instruction https, conservation https, construction history
programmed construction » programmed instruction, program construction, programed instruction
computing processing » computing proceeding, computing proceedings, computer processing
interval computing » intervals comparing, internet computing, interval counting
construction https » instruction https, conservation https, construction history
1
יצא לאור 2013
תוכן הענינים:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2012
תוכן הענינים:
“... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2006
תוכן הענינים:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2012
תוכן הענינים:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני