1
Argitaratua 2010
Aurkibidea: ... -- Modeling and Analyzing Security in the Presence of Compromising Adversaries -- On Bounding Problems...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2007
Aurkibidea: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Testu osoa
Baliabide elektronikoa eBook
3
Aurkibidea: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
Testu osoa
Baliabide elektronikoa eBook
4
nork Lopez, Cesar., Lopez, Cesar.
Argitaratua 2014
Gaiak: ...Programming languages (Electronic computers)....
Testu osoa
Baliabide elektronikoa eBook
5
Aurkibidea: ... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2006
Aurkibidea: ... Satisfaction Problems -- Static and Dynamic Structural Symmetry Breaking -- The Modelling Language Zinc -- A...
Testu osoa
Baliabide elektronikoa eBook