1
יצא לאור 2005
תוכן הענינים: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
מאת Taler, Jan., Taler, Jan., Duda, Piotr.
יצא לאור 2006
תוכן הענינים: ...-Equations System -- Variable Change -- Exercises. Solving Heat Conduction Problems -- Heat Transfer...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... Therapy for preschool children with conduct problems -- Parent Management Programs for Children...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים: ...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
מאת Thomas, Adrian., Thomas, Adrian.
יצא לאור 2008
תוכן הענינים: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2013
תוכן הענינים: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים: ...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2012
תוכן הענינים: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני