|
|
|
Software Testing for Conventional and Logic Programming / Oliver Jack.
by Jack, Oliver [author.]. Edition: Reprint 2011Source: DGBA Physical Sciences 1990 - 1999Material type:  Book; Format:
available online
 ; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2011]Copyright date: ©1996Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
|
MATLAB for Engineering and the Life Sciences [electronic resource] / by Joe Tranquillo.
by Tranquillo, Joe [author.] | SpringerLink (Online service). Edition: 2nd ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Numerical Analysis with MATLAB®/Simulink® [electronic resource] : For Engineers and Scientists / by Farzin Asadi.
by Asadi, Farzin [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings / edited by Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Independent Component Analysis and Signal Separation [electronic resource] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings / edited by Tulay Adali, Christian Jutten, Joao Marcos Travassos Romano, Allan Kardec Barros.
by Adali, Tulay [editor.] | Jutten, Christian [editor.] | Romano, Joao Marcos Travassos [editor.] | Barros, Allan Kardec [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / edited by Andres Iglesias, Nobuki Takayama.
by Iglesias, Andres [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Alan Bundy / by Michael Kohlhase.
by Kohlhase, Michael [author.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Self-organising multi-agent systems [electronic resource] : algorithmic foundations of cyber-anarcho-socialism / Jeremy Pitt.
by Pitt, Jeremy. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: New Jersey : World Scientific Europe, 2021Online access: Access to full text is restricted to subscribers. Availability: No items available
|
