Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=an:5600'

Votre recherche a retourné 3 résultats.

		Stream Ciphers par Klein, Andreas. Publication : . XIX, 399 p. 71 illus. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5079-4, Ajouter au panier (Supprimer)
		Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Publication : . XXII, 555 p. 90 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08970-6, Ajouter au panier (Supprimer)
		Concrete Semantics With Isabelle/HOL / par Nipkow, Tobias. Publication : . XIII, 298 p. 87 illus., 1 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-319-10542-0, Ajouter au panier (Supprimer)

Vous ne trouvez pas ce que vous cherchez ?