Arama Sonuçları - ((function computation) or (structure computational)) programming defining cases text*

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”
Tam Metin Erişim

Elektronik Ekitap

2

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Dynamic Environments -- Shaky Ladders, Hyperplane-Defined Functions and Genetic Algorithms: Systematic...”
Tam Metin Erişim

Elektronik Ekitap

3

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
Tam Metin Erişim

Elektronik Ekitap

4

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”
Tam Metin Erişim

Elektronik Ekitap

5

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Tam Metin Erişim

Elektronik Ekitap

6

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Parsing for Grammars with Contexts -- On Compiling Structured CNFs to OBDDs -- Satisfiability of ECTL...”
Tam Metin Erişim

Elektronik Ekitap

7

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Ontological Structures from Portuguese Written Texts -- Speech Processing -- On the Use of Machine Learning...”
Tam Metin Erişim

Elektronik Ekitap

8

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... of EEG Signals Using Vector Quantization -- Offline Text-Independent Handwriting Identification and Shape...”
Tam Metin Erişim

Elektronik Ekitap

9

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

Yazar: Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...”
Tam Metin Erişim

Elektronik Ekitap

10

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Tam Metin Erişim

Elektronik Ekitap

11

Validated Designs for Object-oriented Systems

Yazar: Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”
Tam Metin Erişim

Elektronik Ekitap

12

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...”
Tam Metin Erişim

Elektronik Ekitap

13

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Tam Metin Erişim

Elektronik Ekitap

14

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...”
Tam Metin Erişim

Elektronik Ekitap

15

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA / BSBT 2010, Held as Part of the Future Generation Information Technology Conference,...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Representation and Reasoning -- On Defining Functional Dependencies in XML Schema -- The Lower and the Upper...”
Tam Metin Erişim

Elektronik Ekitap