|
281 |
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
282 |
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
283 |
Model Driven Engineering Languages and Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
284 |
Models and Modeling Dordrecht : Springer Netherlands, 2011
|
|
|
285 |
Models in Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
286 |
Models of Computation in Context Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
287 |
Objects, Models, Components, Patterns Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
288 |
Stochastic Linear Programming Boston, MA : Springer US, 2011, 2
|
|
|
289 |
System Analysis and Modeling: About Models Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
290 |
Theory and Applications of Models of Computation Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|