Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 11 results. Subscribe to this search

|
Logic and complexity / Richard Lassaigne, Michel de Rougemont Monografia Publication London : Springer, cop. 2004 Description X, 359 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon Monografia Publication Amsterdam : North-Holland, 1993 Description XIII, 568 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / ed. Marco Bernardo, Rocco De Nicola, Jane Hillston Monografia Publication [Cham] : Springer, cop. 2016 Description VII, 261 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Formal methods for multicore programming : 15th International School on Formal Methods fo the Design of Computer, Communication, and Software Systems, SFM 2015... / ed. Marco Bernardo, Einar Broch Johnsen Monografia Publication Cham : Springer, 2015 Description 210, [4] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / ed. Carlo A. Furia, Kirsten Winter Monografia Publication Cham : Springer, cop. 2018 Description XVI, 420 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün Monografia Publication Cham : Springer, cop. 2019 Description XVIII, 550 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
An introduction to fuzzy logic and fuzzy sets / James J. Buckley, Esfandiar Eslami Monografia Publication New York : Physica-Verlag, cop. 2002 Description X, 284 p. : il ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Modelling and verification of secure exams / Rosario Giustolisi Monografia Publication Cham : Springer, cop. 2018 Description XI, 138 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Exploring paraconsistent logics for quantum programs [Documento eletrónico] : paraconsistent transition systems : modal paraconsistent logic / Ana Luzia Cruz ; orient. Luís Soares Barbosa, Alexandre Madeira Produtos Computador Publication [Braga : s.n.], 2021 Online resource Acesso livre Availability No copies available

Add to cart
Logic-based artificial intelligence / ed. Jack Minker Monografia Publication Boston : Kluwer Academic, cop. 2000 Description XXIII, 606 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink Monografia Publication Cham : Springer, cop. 2017 Description XII, 389, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart