Suchergebnisse - f.4.1 mathematical login: login and constraint programming*

Weak Alphabet Merging of Partial Behavior Models.

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

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

Schlagwörter: SEMANTICS, INFORMATION theory, SOFTWARE engineering, ALGORITHMS, ALPHABETS

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

Autoren: Mohammad Asadzadeh Reimond Emanuelsson

Resource Type: eBook.

Schlagworte: Mathematics, Science--Mathematics, Engineering mathematics

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

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

Autoren: Christian Bessiere

Resource Type: eBook.

Schlagworte: Constraint programming (Computer science)--Congr

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

Mathematical Foundations of Computer Science 2013

Autoren: Krishnendu Chatterjee Jirí Sgall

Resource Type: eBook.

Schlagworte: 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

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

Resource Type: eBook.

Schlagworte: 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

Autoren: Kazunori Ueda

Resource Type: eBook.

Schlagworte: 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

Autoren: John Derrick John Fitzgerald Stefania Gnesi et al.

Resource Type: eBook.

Schlagworte: 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

Autoren: Shengchao Qin

Resource Type: eBook.

Schlagworte: 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

Autoren: Pieter Koopman Doaitse Swierstra

Resource Type: eBook.

Schlagworte: 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

Autoren: Marcello Balduccini Tran Cao Son

Resource Type: eBook.

Schlagworte: 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

Autoren: Wayne Wobcke Mengjie Zhang

Resource Type: eBook.

Schlagworte: 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

Autoren: G. Ramalingam

Resource Type: eBook.

Schlagworte: 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

Autoren: Zhong Shao

Resource Type: eBook.

Schlagworte: 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

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

Resource Type: eBook.

Schlagworte: 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

Autoren: Shaoying Liu

Resource Type: eBook.

Schlagworte: 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

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

Resource Type: eBook.

Schlagworte: 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

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Autoren: Margus Veanes Luca Vigano

Resource Type: eBook.

Schlagworte: Software engineering, Computer programming, Computer science, Machine theory, Compilers (Computer programs), Computer simulation

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

Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Autoren: Naoki Kobayashi

Resource Type: eBook.

Schlagworte: 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

Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

Autoren: Esra Erdem Fangzhen Lin Torsten Schaub

Resource Type: eBook.

Schlagworte: Artificial intelligence, Discrete mathematics, Computer science, Computer science—Mathematics, Machine theory

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, MATHEMATICS / Discrete Mathematics

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Autoren: Viktor Kuncak Andrey Rybalchenko

Resource Type: eBook.

Schlagworte: Computer science, Software engineering, Compilers (Computer programs), Algorithms, Machine theory, Computer programming

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