1
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... (IBBB 2010) -- Hashimoto’s Thyroiditis with Petri Nets -- Modelling of the Temporomandibular Joints...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study -- A Framework for Information...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models -- Practical Investigation...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ...Preface -- Foreword -- Never Fear--You Already Model! -- A Collaborative Process...
View full text
Electronic eBook