|
261 |
Algorithms and Models for the Web Graph Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
262 |
Computer Network Security Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
263 |
Coordination Models and Languages Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
264 |
Critical Infrastructure Protection Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
265 |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Danos, Vincent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
266 |
Model Driven Engineering Languages and Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
267 |
Models in Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
268 |
Objects, Models, Components, Patterns Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
269 |
On the equational consistency of order-theoretic models of the lambda-calculus Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
270 |
Semi-Numerical Solution of some partial differential equation models Kolebaje, Olusola. - Saarbrücken : LAP LAMBERT Academic Publishing, 2012, 1. Aufl.
|
|