Rezultati - constructability method https functionality net https

1

Izdano 2006

Kazalo: “... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...”
Polni tekst

Elektronski eKnjiga

2

Supervisory Control of Concurrent Systems A Petri Net Structural Approach /

od Iordache, Marian., Iordache, Marian., Antsaklis, Panos J.
Izdano 2006

Kazalo: “...An Introduction to Petri Nets -- The Supervision of Petri Nets -- Enforcing General Specifications...”
Polni tekst

Elektronski eKnjiga

3

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

Izdano 2014

Kazalo: “... -- Improved Net Reductions for LTL-X Model-Checking -- Formalizing and Implementing Types in MSVL -- Present...”
Polni tekst

Elektronski eKnjiga

4

Monte Carlo and Quasi-Monte Carlo Methods 2006

Izdano 2008

Kazalo: “... Digital Nets -- Construction of Low-Discrepancy Point Sets of Small Size by Bracketing Covers...”
Polni tekst

Elektronski eKnjiga

5

cDNA Libraries Methods and Applications /

Izdano 2011

Kazalo: “... with the Vector-Capping Method -- Construction of Improved Yeast Two-Hybrid Libraries -- Normalization of Full...”
Polni tekst

Elektronski eKnjiga

6

Roles, Trust, and Reputation in Social Media Knowledge Markets Theory and Methods /

Izdano 2015

Kazalo: “..., Functional Roles, Adhocratic Leadership Styles, and Credibility in Online Organizations and Knowledge Markets...”
Polni tekst

Elektronski eKnjiga

7

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Izdano 2013

Kazalo: “... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”
Polni tekst

Elektronski eKnjiga

8

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Izdano 2006

Kazalo: “... Monad over Stably Compact Spaces -- Analysis of Properties of Petri Synthesis Net -- A Tree Construction...”
Polni tekst

Elektronski eKnjiga

9

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Izdano 2010

Kazalo: “...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”
Polni tekst

Elektronski eKnjiga

10

Complex Systems Design & Management Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 /

Izdano 2013

Kazalo: “... method Praxeme -- PBS : a major enabler for Systems Engineering - A thematic thinking by Thales Systèmes...”
Polni tekst

Elektronski eKnjiga

11

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Izdano 2008

Kazalo: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Polni tekst

Elektronski eKnjiga

12

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Izdano 2005

Kazalo: “... of Inductive Constructions -- Linear Logic and Ludics -- L-Nets, Strategies and Proof-Nets -- Permutative Logic...”
Polni tekst

Elektronski eKnjiga

13

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Izdano 2005

Kazalo: “... for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction...”
Polni tekst

Elektronski eKnjiga

14

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings /

Izdano 2005

Kazalo: “...Free-Form Surface Construction in a Commercial CAD/CAM System -- Polyhedral Gauss Maps...”
Polni tekst

Elektronski eKnjiga

15

Advanced Techniques in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Polni tekst

Elektronski eKnjiga

16

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings /

Izdano 2008

Kazalo: “... Functional Taxonomies for Interoperable Semantic Search -- Ontology Modeling and Management -- ROC: A Method...”
Polni tekst

Elektronski eKnjiga

17

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Izdano 2015

Kazalo: “... Algorithms with Different Transfer Functions for Solving Set Covering Problems -- Binarization Methods...”
Polni tekst

Elektronski eKnjiga

18

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Izdano 2005

Kazalo: “... Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection...”
Polni tekst

Elektronski eKnjiga

19

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Izdano 2007

Kazalo: “... Method Based on Received Signal Strength -- Optimization of the Switches in Storage Networks -- Migration...”
Polni tekst

Elektronski eKnjiga

20

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Izdano 2012

Kazalo: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje