|
|
81.
|
Indiscrete Thoughts [electronic resource] / by Gian-Carlo Rota ; edited by Fabrizio Palombi.
by Rota, Gian-Carlo | Palombi, Fabrizio | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Birkhäuser Boston, 2008Online access: Click here to access online Availability: No items available
|
|
|
82.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
83.
|
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.
by Dowek, Gilles | Lévy, Jean-Jacques | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
84.
|
Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
by Cheng, Daizhan | Qi, Hongsheng | Li, Zhiqiang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
85.
|
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
by Dowek, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
86.
|
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy.
by Alagar, V.S | Periyasamy, K | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
87.
|
The Selected Correspondence of L.E.J. Brouwer [electronic resource] / by Dirk Dalen.
by Dalen, Dirk | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
88.
|
Quaternions for Computer Graphics [electronic resource] / by John Vince.
by Vince, John | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
89.
|
Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
by Schwartz, Jacob T | Cantone, Domenico | Omodeo, Eugenio G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
90.
|
Language, Meaning, Interpretation [electronic resource] / edited by Guttorm Fløistad.
by Fløistad, Guttorm | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
91.
|
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
by Kamareddine, Fairouz | Laan, Twan | Nederpelt, Rob | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
92.
|
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by E. D. Solojentsev.
by Solojentsev, E. D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
93.
|
Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner.
by Gabbay, D.M | Guenthner, F | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
94.
|
New Algorithms, Architectures and Applications for Reconfigurable Computing [electronic resource] / edited by Patrick Lysaght, Wolfgang Rosenstiel.
by Lysaght, Patrick | Rosenstiel, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
95.
|
Trends in Continuum Mechanics of Porous Media [electronic resource] / by Reint Boer.
by Boer, Reint | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
96.
|
Logic, Thought and Action [electronic resource] / edited by Daniel Vanderveken.
by Vanderveken, Daniel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
97.
|
Visualization, Explanation and Reasoning Styles in Mathematics [electronic resource] / edited by Paolo Mancosu, Klaus Frovin Jørgensen, Stig Andur Pedersen.
by Mancosu, Paolo | Jørgensen, Klaus Frovin | Pedersen, Stig Andur | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
98.
|
Analogy in Indian and Western Philosophical Thought [electronic resource] / by David B. Zilberman ; edited by Helena Gourko, Robert S. Cohen.
by Zilberman, David B | Gourko, Helena | Cohen, Robert S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
|
|
|
99.
|
The Dynamics of Thought [electronic resource] / by Peter Gärdenfors.
by Gärdenfors, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
100.
|
Handbook of Philosophical Logic, 2nd Edition [electronic resource] / edited by D.M. Gabbay, F. Guenthner.
by Gabbay, D.M | Guenthner, F | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
