|
|
|
Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
by Gorrieri, Roberto [author.] | Versari, Cristian [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Petri Net Synthesis [electronic resource] / by Eric Badouel, Luca Bernardinello, Philippe Darondeau.
by Badouel, Eric [author.] | Bernardinello, Luca [author.] | Darondeau, Philippe [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Turing Computability [electronic resource] : Theory and Applications / by Robert I. Soare.
by Soare, Robert I [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Recent advances in real complexity and computation : [electronic resource] UIMP-RSME Lluis A. Santal�o Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Men�endez Pelayo, Santander, Spain / Jose Luis Monta�na, Luis M. Pardo, editors.
by UIMP-RSME Lluis Santal�o Summer (2012 : Santander, Spain) | Monta�na, Jose Luis, 1961- [editor of compilation.] | Pardo, L. M. (Luis M.) [editor of compilation.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : [Madrid] : American Mathematical Society ; Real Sociedad Matematica Espa�nola, [2013]Online access: Contents | Contents Availability: No items available
|
|
|
|
A panorama of mathematics : [electronic resource] pure and applied : Conference on Mathematics and Its Applications, November 14-17, 2014, Kuwait University, Safat, Kuwait / Carlos M. da Fonseca [and three others], editors.
by Fonseca, Carlos M. da, 1968- [editor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2016]Online access: Contents | Contents Availability: No items available
|
|
|
|
Selected Topics in Probabilistic Safety Assessment [electronic resource] : Methodology and Practice in Nuclear Power Plants / by Dan Serbanescu, Anatoli Paul Ulmeanu.
by Serbanescu, Dan [author.] | Ulmeanu, Anatoli Paul [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory [electronic resource] / edited by Susanne Saminger-Platz, Radko Mesiar.
by Saminger-Platz, Susanne [editor.] | Mesiar, Radko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Towards Paraconsistent Engineering [electronic resource] / edited by Seiki Akama.
by Akama, Seiki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Intuitionistic Fuzzy Logics [electronic resource] / by Krassimir T. Atanassov.
by T. Atanassov, Krassimir [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Problem Solving In Operation Management [electronic resource] / edited by Patricia Esperanza Balderas-Cañas, Gabriel De Las Nieves Sánchez-Guerrero.
by Balderas-Cañas, Patricia Esperanza [editor.] | Sánchez-Guerrero, Gabriel De Las Nieves [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Springer Handbook of Model-Based Science [electronic resource] / edited by Lorenzo Magnani, Tommaso Bertolotti.
by Magnani, Lorenzo [editor.] | Bertolotti, Tommaso [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Adaptive Systems Using Auto Contractive Maps [electronic resource] : Theory, Applications and Extensions / by Paolo Massimo Buscema, Giulia Massini, Marco Breda, Weldon A. Lodwick, Francis Newman, Masoud Asadi-Zeydabadi.
by Buscema, Paolo Massimo [author.] | Massini, Giulia [author.] | Breda, Marco [author.] | Lodwick, Weldon A [author.] | Newman, Francis [author.] | Asadi-Zeydabadi, Masoud [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic [electronic resource] / by Enric Trillas.
by Trillas, Enric [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
