Sciweavers

10447 search results - page 343 / 2090
» The Philosophy of Computer Science
Sort
View
GG
2010
Springer
15 years 7 months ago
A Hoare Calculus for Graph Programs
el of abstraction). Refereed Conference and Workshop Papers
Christopher M. Poskitt, Detlef Plump
134
Voted
GG
2008
Springer
15 years 7 months ago
A Modal-Logic Based Graph Abstraction
Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...
GI
2008
Springer
15 years 7 months ago
IHE based Interoperability for Service Oriented Architectures
Florian Wozak, Elske Ammenwerth, Alexander Hö...
CSR
2010
Springer
15 years 7 months ago
The max quasi-independent set Problem
Nicolas Bourgeois, Aristotelis Giannakos, Giorgio ...