|
|
1341.
|
Compressed Data Structures for Strings [electronic resource] : On Searching and Extracting Strings from Compressed Textual Data / by Rossano Venturini.
by Venturini, Rossano [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2014Online access: Click here to access online Availability: No items available
|
|
|
1342.
|
Belief Revision in Non-Classical Logics [electronic resource] / by Márcio Moretto Ribeiro.
by Ribeiro, Márcio Moretto [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1343.
|
From Linear Operators to Computational Biology [electronic resource] : Essays in Memory of Jacob T. Schwartz / edited by Martin Davis, Edmond Schonberg.
by Davis, Martin [editor.] | Schonberg, Edmond [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1344.
|
Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan.
by O’Regan, Gerard [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1345.
|
Logic and Structure [electronic resource] / by Dirk Dalen.
by Dalen, Dirk [author.] | SpringerLink (Online service). Edition: 5th ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1346.
|
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher [electronic resource] : How Mathematics Is Rooted in Life / by Dirk Dalen.
by Dalen, Dirk [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1347.
|
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh.
by Singh, Neeraj Kumar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1348.
|
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.
by Crespi Reghizzi, Stefano [author.] | Breveglieri, Luca [author.] | Morzenti, Angelo [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1349.
|
Social Semantics [electronic resource] : The Search for Meaning on the Web / by Harry Halpin.
by Halpin, Harry [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1350.
|
A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham.
by Cunningham, Daniel W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1351.
|
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba / by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson.
by Subrahmanian, V.S [author.] | Mannes, Aaron [author.] | Sliva, Amy [author.] | Shakarian, Jana [author.] | Dickerson, John P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1352.
|
Distributed Programming [electronic resource] : Theory and Practice / by A. Udaya Shankar.
by Shankar, A. Udaya [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1353.
|
A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava.
by Srivastava, Shashi Mohan [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1354.
|
An Invitation to Abstract Mathematics [electronic resource] / by Béla Bajnok.
by Bajnok, Béla [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1355.
|
A General Framework for Reasoning On Inconsistency [electronic resource] / by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud.
by Martinez, Maria Vanina [author.] | Molinaro, Cristian [author.] | Subrahmanian, V.S [author.] | Amgoud, Leila [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1356.
|
The Mathematics of Paul Erdős II [electronic resource] / edited by Ronald L. Graham, Jaroslav Nešetřil, Steve Butler.
by Graham, Ronald L [editor.] | Nešetřil, Jaroslav [editor.] | Butler, Steve [editor.] | SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1357.
|
Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth.
by Moller, Faron [author.] | Struth, Georg [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
1358.
|
Proofs of the Cantor-Bernstein Theorem [electronic resource] : A Mathematical Excursion / by Arie Hinkis.
by Hinkis, Arie [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013Online access: Click here to access online Availability: No items available
|
|
|
1359.
|
Visual Reasoning with Diagrams [electronic resource] / edited by Amirouche Moktefi, Sun-Joo Shin.
by Moktefi, Amirouche [editor.] | Shin, Sun-Joo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013Online access: Click here to access online Availability: No items available
|
|
|
1360.
|
Towards a General Theory of Classifications [electronic resource] / by Daniel Parrochia, Pierre Neuville.
by Parrochia, Daniel [author.] | Neuville, Pierre [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013Online access: Click here to access online Availability: No items available
|
