Sökresultat - program code program developing complexity https

Menade du:
developing complexity » development complexity , developing complex , exploring complexity
program developing » programs developing , programme developing , programmes developing
program code » program model , program models , program c
code program » coe program , core program , cone program
https » http

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques /

av Štuikys, Vytautas., Štuikys, Vytautas., Damaševičius, Robertas.
Publicerad 2013

Innehållsförteckning: “... Program Scenarios -- Meta-Program Development as a Model Transformation -- Complexity Evaluation...”
Hämta fulltext

Elektronisk E-bok

Algorithms and Programming Problems and Solutions /

av Shen, Alexander., Shen, Alexander.
Publicerad 2010

Innehållsförteckning: “... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
Hämta fulltext

Elektronisk E-bok

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Hämta fulltext

Elektronisk E-bok

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention /

Publicerad 2006

Innehållsförteckning: “... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”
Hämta fulltext

Elektronisk E-bok

Rigorous Development of Complex Fault-Tolerant Systems

Publicerad 2006

Innehållsförteckning: “...-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault...”
Hämta fulltext

Elektronisk E-bok

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...: Renormalization Program -- Computational Complexity Aspects in Membrane Computing -- Computable Ordered Abelian...”
Hämta fulltext

Elektronisk E-bok

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /

Publicerad 2012

Ämnen: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Hämta fulltext

Elektronisk E-bok

Working with Assumptions in International Development Program Evaluation With a Foreword by Michael Bamberger /

av Nkwake, Apollo M., Nkwake, Apollo M.
Publicerad 2013

Ämnen: “...Business Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/526000...”
Hämta fulltext

Elektronisk E-bok

Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings /

Publicerad 2014

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

Elektronisk E-bok

Program Management of Technology Endeavours Lateral Thinking in Large Scale Government Program Management /

av Al Khouri, Ali., Al Khouri, Ali.
Publicerad 2015

Ämnen: “...Development Economics. https://scigraph.springernature.com/ontologies/product-market-codes/W42000...”
Hämta fulltext

Elektronisk E-bok

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings /

Publicerad 2013

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

Elektronisk E-bok

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Hämta fulltext

Elektronisk E-bok

Approximation Algorithms and Semidefinite Programming

av Gärtner, Bernd., Gärtner, Bernd., Matousek, Jiri.
Publicerad 2012

Innehållsförteckning: “...Part I (by Bernd Gärtner): 1 Introduction: MAXCUT via Semidefinite Programming -- 2 Semidefinite...”
Hämta fulltext

Elektronisk E-bok

Introduction to Reliable Distributed Programming

av Guerraoui, Rachid., Guerraoui, Rachid., Rodrigues, Luís.
Publicerad 2006

Ämnen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

Integer Programming and Combinatorial Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings /

Publicerad 2011

Ämnen: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Hämta fulltext

Elektronisk E-bok

Adapting Proofs-as-Programs The Curry--Howard Protocol /

av Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Publicerad 2005

Innehållsförteckning: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Hämta fulltext

Elektronisk E-bok

Nonlinear Integer Programming

av Li, Duan., Li, Duan., Sun, Xiaoling.
Publicerad 2006

Innehållsförteckning: “... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
Hämta fulltext

Elektronisk E-bok

Introduction to Reliable and Secure Distributed Programming

av Cachin, Christian., Cachin, Christian., Guerraoui, Rachid., Rodrigues, Luís.
Publicerad 2011

Ämnen: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Hämta fulltext

Elektronisk E-bok

Complexity Theory Exploring the Limits of Efficient Algorithms /

av Wegener, Ingo., Wegener, Ingo.
Publicerad 2005

Innehållsförteckning: “...Algorithmic Problems & Their Complexity -- Fundamental Complexity Classes -- Reductions...”
Hämta fulltext

Elektronisk E-bok

packetC Programming

av Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicerad 2011

Ämnen: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Hämta fulltext

Elektronisk E-bok

1
2
3
4
5
6
7
8
9
10
11
Nästa »
[56]

Begränsa sökningen