Tina N. Martin

On the Move to Meaningful Internet Systems: OTM 2008 Workshops

ISBN 9783540888741
Constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey ...

€ 155.00

Algebraic Methodology and Software Technology

ISBN 9783540654629
AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis ...

€ 49.99

New Media and Intercultural Communication

ISBN 9781433113642
Offers theoretical insights, fresh evidence and applications as it assesses nature of digital culture(s) in ...

€ 35.70

Where Mathematics, Computer Science, Linguistics and Biology Meet

ISBN 9789048156078
In the last years, it was observed an increasing interest of computer scientists in the structure of ...

€ 99.99

Systems and Control in the Twenty-First Century

ISBN 9781461286622
The mathematical theory of networks and systems has a long, and rich history, with antecedents in circuit ...

€ 155.00

Advances in Databases

ISBN 9783540632634
This book consists of the refereed proceedings of the 15th British National Conference on Databases, BNCOD ...

€ 49.99

Adapting Proofs-as-Programs

ISBN 9781441920140
We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing ...

€ 155.00