Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
There has been considerable interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in the works of Rotem, Rogers, and Knuth in the 1970s.
Bemærk: Kan ikke leveres før jul.
The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines geometric, algebraic, homological and combinatorial ideas.
Bemærk: Kan ikke leveres før jul.
The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Bemærk: Kan ikke leveres før jul.
Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012.
Bemærk: Kan ikke leveres før jul.
The papers are organized in topical sections on invited talk abstracts,... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the Second International Conference... Læs mere
Bemærk: Kan ikke leveres før jul.
Here is a concise and comprehensive introduction to business intelligence (BI). This book combines traditional BI technologies with new topics such as business semantics, Big Data analysis, and multicriteria decision making.
Bemærk: Kan ikke leveres før jul.
The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 10th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.