Sökresultat - integrated computing proceedings programs computing https

1

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...”
Hämta fulltext

Elektronisk E-bok

2

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Hämta fulltext

Elektronisk E-bok

3

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2010

Innehållsförteckning: “... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”
Hämta fulltext

Elektronisk E-bok

5

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”
Hämta fulltext

Elektronisk E-bok

6

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /

Publicerad 2015

Ämnen: “...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”
Hämta fulltext

Elektronisk E-bok

7

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”
Hämta fulltext

Elektronisk E-bok

8

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Hämta fulltext

Elektronisk E-bok

9

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... of Proofs (Abstract) -- The Symbolic Approach to Repeated Games (Abstract) -- Proofs, Programs and Abstract...”
Hämta fulltext

Elektronisk E-bok

10

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”
Hämta fulltext

Elektronisk E-bok

11

Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...) -- Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? -- Fault-Tolerant Algorithms...”
Hämta fulltext

Elektronisk E-bok

12

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Publicerad 2012

Innehållsförteckning: “...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”
Hämta fulltext

Elektronisk E-bok

13

Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”
Hämta fulltext

Elektronisk E-bok

14

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... -- On the Complexity of Computing Optimal Private Park-and-Ride Plans -- Predicting Road Accidents Based on Current...”
Hämta fulltext

Elektronisk E-bok

15

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”
Hämta fulltext

Elektronisk E-bok

16

Intelligent Computing International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I /

Publicerad 2006

Innehållsförteckning: “... Programming -- Case Based Reasoning and Probabilistic Reasoning -- Special Session on Computational...”
Hämta fulltext

Elektronisk E-bok

17

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings /

Publicerad 2013

Innehållsförteckning: “...Distributed algorithms and concurrent data structures -- Integration of heterogeneous wireless...”
Hämta fulltext

Elektronisk E-bok

18

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Hämta fulltext

Elektronisk E-bok

19

Advances in Computer Science - ASIAN 2007. Computer and Network Security 12th Asian Computing...

Publicerad 2007

Innehållsförteckning: “... Static Birthmark of Binary Executables Based on API Call Structure -- Compiling C Programs into a...”
Hämta fulltext

Elektronisk E-bok

20

Cultural Computing Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part...

Publicerad 2010

Innehållsförteckning: “... and Hand-Made Puzzles -- Cultural Computing – Creative Power Integrating Culture, Unconsciousness...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen