Refine your search
Availability
-
Authors
- Brambilla, Marco (1)
- Brambilla, Marco... ... (1)
- Cabot, Jordi (1)
- Collazos, Nestor Cat... (1)
- Dechokul, Krissada (1)
- Floss, Brianna (1)
- Pasareanu, Corina S. (1)
- Tilley, Scott (2)
- Wimmer, Manuel (1)
- Show more
- Show less
-
Item types
- E-Books (6)
-
Locations
- Online (6)
-
Series
-
Topics
- Algorithmic complexi... (1)
- Apache hadoop (1)
- Application software (1)
- B method (Computer s... (1)
- Cloud computing (2)
- Cluster (1)
- Computer security (1)
- Computer software (5)
- Discrete mathematics (1)
- Formal methods (Comp... (1)
- IOS (Electronic reso... (1)
- Java (Computer progr... (1)
- Model transformation (1)
- Model-driven softwar... (2)
- Probabilistic reason... (1)
- Probabilities (1)
- Reverse engineering (2)
- Software engineering (4)
- Web services (1)
- Show more
- Show less