בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
processing properties » processing proceedings
processing language » assessing language, processing large, programming language
properties array » properties air, properties akira, properties a.a
https » http
processing properties » processing proceedings
processing language » assessing language, processing large, programming language
properties array » properties air, properties akira, properties a.a
https » http
1
יצא לאור 2005
תוכן הענינים:
“...String Processing and Information Retrieval 2005 -- Enhanced Byte Codes with Restricted Prefix...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים:
“... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
יצא לאור 2010
תוכן הענינים:
“... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
Prosody and Language in Contact L2 Acquisition, Attrition and Languages in Multilingual Situations /
יצא לאור 2015
תוכן הענינים:
“...Introduction -- Language varieties and Contact situations -- Markedness considerations in L2...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“... Counter Propagation Neural Network for Abnormal Retinal Image Classification -- A Language Independent...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2007
תוכן הענינים:
“... Retrieval -- Session 7: Data Compression II -- Compressed Text Indexes with Fast Locate -- Processing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2012
תוכן הענינים:
“... Approach -- 7. Case Inversion in Georgian: Syntactic Properties and Sentence Processing -- 8. The Impact...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2012
תוכן הענינים:
“... and Models in Image Analysis A P System Model for Contextual Array Languages -- Rectangular Arrays and Petri...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים:
“... Noisy Projections -- Combinatorics and Computational Models -- Hexagonal Pattern Languages -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2013
תוכן הענינים:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים:
“...Contextual Implications between Attributes and Some Representation Properties for Finite Lattices...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים:
“... for Attribute Reduction in Decision Tables -- Fuzzy-Rough Hybridization -- Algebraic Properties of Adjunction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2013
תוכן הענינים:
“..., point sets, and arrays.- Non-trivial combinatorial properties of such structures.- Problems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני