1
Publicerad 2005
Innehållsförteckning: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2013
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2005
Innehållsförteckning: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2008
Innehållsförteckning: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2007
Innehållsförteckning: ... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2006
Innehållsförteckning: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2014
Innehållsförteckning: ... -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2011
Innehållsförteckning: ... -- Wireless Sensor Network System for the Real-time Health Monitoring -- Study of Automatic Construction...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2012
Innehållsförteckning: ... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2014
Innehållsförteckning: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2006
Innehållsförteckning: ... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2005
Innehållsförteckning: ... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2005
Innehållsförteckning: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hämta fulltext
Elektronisk E-bok