Search Results - f.4.1 mathematical login: login AND constraint programming

Weak Alphabet Merging of Partial Behavior Models.

Authors: Fischbein, Dario D'Ippolito, Nicolas Brunet, Greg et al.

Source: ACM Transactions on Software Engineering & Methodology; Mar2012, Vol. 21 Issue 2, p9-9.47, 47p

Subject Terms: SEMANTICS, INFORMATION theory, SOFTWARE engineering, ALGORITHMS, ALPHABETS

Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Authors: Christian Bessiere

Resource Type: eBook.

Subjects: Constraint programming (Computer science)--Congr

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

ORDER CANCELLATION

METHOD AND SYSTEM FOR ORDER MANAGEMENT

Method and system for order management

Principles and Practice of Constraint Programming - CP98

Authors: Michael Maher Jean-Francois Puget

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Handbook Of Mathematical Concepts And Formulas For Students In Science And Engineering

Authors: Mohammad Asadzadeh Reimond Emanuelsson

Resource Type: eBook.

Subjects: Mathematics, Science--Mathematics, Engineering mathematics

Categories: MATHEMATICS / Applied, MATHEMATICS / Numerical Analysis, MATHEMATICS / Optimization

Mathematical Foundations of Computer Science 2013

Authors: Krishnendu Chatterjee Jirí Sgall

Resource Type: eBook.

Subjects: Algorithms, Computer science—Mathematics, Discrete mathematics, Numerical analysis, Artificial intelligence—Data processing, Machine theory

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Modern Data Science with R

Authors: Benjamin S. Baumer Daniel T. Kaplan Nicholas J. Horton

Resource Type: eBook.

Subjects: Big data, Data mining, Mathematical statistics--Data processing, R (Computer program language)

Categories: BUSINESS & ECONOMICS / Statistics, COMPUTERS / Machine Theory, COMPUTERS / Mathematical & Statistical Software, MATHEMATICS / Probability & Statistics / General

Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Authors: Kazunori Ueda

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Co

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General

Abstract State Machines, Alloy, B, VDM, and Z

Authors: John Derrick John Fitzgerald Stefania Gnesi et al.

Resource Type: eBook.

Subjects: Machine learning--Congresses, Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics

Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Authors: Shengchao Qin

Resource Type: eBook.

Subjects: Computer programming, Computer science, Software engineering, Compilers (Computer programs), Machine theory, Artificial intelligence

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures

Authors: Pieter Koopman Doaitse Swierstra

Resource Type: eBook.

Subjects: Heijen (2008), Kongress, Functional programming (Computer science)--Congr, Funktionale Programmierung

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

Authors: Marcello Balduccini Tran Cao Son

Resource Type: eBook.

Subjects: Artificial intelligence, Machine theory, Computer programming

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General

AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings

Authors: Wayne Wobcke Mengjie Zhang

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, MATHEMATICS / Probability & Statistics / General

Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

Authors: G. Ramalingam

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Co, Formale Spezifikationstechnik--Bangalore <2008>, Java --Bangalore <2008>--K, Nebenla¨ufigkeit--Bisimulation--Bangalore <200, Programmiersprache--Bangalore <2008>--Kongress, Programmverifikation--Bangalore <2008>--Kongre

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

Authors: Zhong Shao

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Computer science, Operating systems (Computers), Computer programming, Machine theory

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Statistical Intervals : A Guide for Practitioners and Researchers

Authors: William Q. Meeker Gerald J. Hahn Luis A. Escobar

Resource Type: eBook.

Subjects: Mathematical statistics

Categories: MATHEMATICS / Probability & Statistics / General

Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Authors: Shaoying Liu

Resource Type: eBook.

Subjects: Computer science, Software engineering, Compilers (Computer programs), Machine theory, Computer programming, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Authors: Robert M. Hierons Mercedes G. Merayo Mario Bravetti

Resource Type: eBook.

Subjects: Software engineering, Computer science, Compilers (Computer programs), Machine theory, Computer networks, Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General