ugo montanari
Models of Computation
EbookSofort lieferbarThis book presents in their basic form the most important models of computation, their basic prog...
Algebra and Coalgebra in Computer Science
EbookSofort lieferbarA double-pronged approach makes this book an extremely useful addition to the literature on this ...
Formal Methods in Software and Systems Modeling
EbookSofort lieferbarBy presenting state-of-the-art research results on various aspects of formal and visual modeling ...
Graph Transformations
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Third International Conference on Graph Tra...
Recent Trends in Algebraic Development Techniques
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the 19th Internation...
Trustworthy Global Computing
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustwo...
Automata, Languages and Programming
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 27th International Colloquium on Automata, ...
Foundations of Information Technology in the Era of Network and Mobile Computing
EbookSofort lieferbarThis volume contains 45 original and significant contributions addressing these foundational ques...
Models of Computation
BuchBezug 11-15This book presents in their basic form the most important models of computation, their basic p...
TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
TaschenbuchBezug 11-15On the complexity of branching programs and decision trees for clique functions.- Average complex...
Principles and Practice of Constraint Programming - CP ’95
TaschenbuchBezug 11-15This book constitutes the proceedings of the First International Conference on Principles and Pra...
Foundations of Information Technology in the Era of Network and Mobile Computing
BuchBezug 11-15Foundations of Information Technology in the Era of Network and Mobile Computing...
- 1
- 2