|
|
41.
|
Discrete Mathematics Using a Computer [electronic resource] / by John O’Donnell, Cordelia Hall, Rex Page.
by O’Donnell, John | Hall, Cordelia | Page, Rex | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
42.
|
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson.
by Makinson, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
43.
|
Mathematical Linguistics [electronic resource] / by András Kornai.
by Kornai, András | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
44.
|
A Concise Introduction to Languages and Machines [electronic resource] / by Alan P. Parkes.
by Parkes, Alan P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
45.
|
Line Drawing Interpretation [electronic resource] / by Martin Cooper.
by Cooper, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
46.
|
A Course in Formal Languages, Automata and Groups [electronic resource] / by Ian M. Chiswell.
by Chiswell, Ian M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
|
47.
|
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi.
by Crespi Reghizzi, Stefano | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
|
48.
|
Computable Models [electronic resource] / by Raymond Turner.
by Turner, Raymond | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
|
49.
|
Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
by Boca, Paul | Bowen, Jonathan P | Siddiqi, Jawed | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
50.
|
Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog.
by Apt, Krzysztof R | Boer, Frank S | Olderog, Ernst-Rüdiger | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
|
51.
|
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels.
by Sturmfels, Bernd | SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2008Online access: Click here to access online Availability: No items available
|
|
|
52.
|
Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla.
by David, René | Alla, Hassane | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
53.
|
Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter.
by Hutter, Marcus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
54.
|
Comprehensive Mathematics for Computer Scientists 2 [electronic resource] : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann.
by Mazzola, Guerino | Milmeister, Gérard | Weissmann, Jody | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
55.
|
A Theory of Distributed Objects [electronic resource] : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio.
by Caromel, Denis | Henrio, Ludovic | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
56.
|
Complexity Theory [electronic resource] : Exploring the Limits of Efficient Algorithms / by Ingo Wegener.
by Wegener, Ingo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
57.
|
Transactions on Rough Sets II [electronic resource] : Rough Sets and Fuzzy Sets / edited by James F. Peters, Andrzej Skowron, Didier Dubois, Jerzy W. Grzymała-Busse, Masahiro Inuiguchi, Lech Polkowski.
by Peters, James F | Skowron, Andrzej | Dubois, Didier | Grzymała-Busse, Jerzy W | Inuiguchi, Masahiro | Polkowski, Lech | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
58.
|
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum.
by Ebbinghaus, Heinz-Dieter | Flum, Jörg | SpringerLink (Online service). Edition: Second Revised and Enlarged Edition 1999.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
59.
|
Applications of Membrane Computing [electronic resource] / edited by Gabriel Ciobanu, Gheorghe Păun, Mario J. Pérez-Jiménez.
by Ciobanu, Gabriel | Păun, Gheorghe | Pérez-Jiménez, Mario J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
60.
|
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe.
by Flum, Jörg | Grohe, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
