MPG.eBooks - Search Results - ((((table bay) OR (table 1a))) or (table b))

Search alternatives:
table bay » table back , table 2a , table bgp
table 1a » table 11a , tables 1a , table 1
table b » table 1 , table 2 , table 3

by Broy, Manfred, Stølen, Ketil
Published 2001

Springer New York

Table of Contents: “... Refinement -- 16.1 Definition -- 16.2 A Priming Convention for Channel Identifiers -- 16.3 Simple Examples...”

by Lang, Jens
Published 2001

Springer Berlin Heidelberg

Table of Contents: “... -- Appendix A. Advanced Tools from Functional Analysis -- §1. Gelfand Triple -- §2. Sesquilinear Forms...”

Published 2022

Springer International Publishing

Table of Contents: “...VeriMon: A Formally Verified Monitoring Tool -- Generalized Test Tables: A Domain-specific...”

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... B.-Enumerate and Expand: New Runtime Bounds for Vertex Cover Variants -- A Detachment Algorithm...”