|
|
1.
|
MATLAB C Math Library Users Guide
by Math Works Inc. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: The Math Works Inc., 1999Availability: Items available for loan: [Call number: 005.13 MAT] (1).
|
|
|
2.
|
MATLAB The Language of Technical Computing
by Math Works Inc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: The Math Works Inc., 2000Availability: Items available for loan: [Call number: 005.13 MAT] (1).
|
|
|
3.
|
In the light of logic
by Feferman, Solomon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 1998Availability: Items available for loan: [Call number: 511.3 FEF] (1).
|
|
|
4.
|
Concepts, techniques and models of computer programming
by Roy, Peter Van | Haridi, Seif. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: MIT Press, 2004Availability: Items available for loan: [Call number: 005.1 ROY] (1).
|
|
|
5.
|
Using MPI: Portable parallel programming with the message-passing interfaces
by Gropp, William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1999Availability: Items available for loan: [Call number: 005.275 GRO] (1).
|
|
|
6.
|
Using MPI-2: Advanced features of the message passing interface
by Lusk, Ewing | Thakur, Rajeev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1999Availability: Items available for loan: [Call number: 005.275 GRO] (1).
|
|
|
7.
|
Beowulf cluster computing with windows
by Sterling, Thomas Lawrence. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2002Availability: Items available for loan: [Call number: 005.35 STE] (1).
|
|
|
8.
|
Computation engineering : applied automata theory and logic
by Gopalakrishnan, Ganesh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.35 GOP] (1).
|
|
|
9.
|
Future generation grids : proceedings of the Workshop on Future Generation Grids, November 1-5, 2004 Dagstuhl, Germany
by Getov, Vladimir | Getov, Vladimir | Laforenza, Domenico | Laforenza, Domenico | Reinefeld, Alexander | Reinefeld, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.36 GET] (2).
|
|
|
10.
|
Abstraction refinement for large scale model checking.
by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1).
|
|
|
11.
|
Analytical engine : an introduction to computer science using the Internet
by Decker, Rick | Hirshfield, Stuart. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thompson Learning, 2004Availability: Items available for loan: [Call number: 004 DEC] (2).
|
|
|
12.
|
Analytical engine : an introduction to computer science using the Internet
by Decker, Rick | Hirshfield, Stuart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: PWS Publishing, 1998Availability: Items available for loan: [Call number: 004 DEC] (2).
|
|
|
13.
|
Evolutionary computation : the fossil record
by Fogel, David B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 1998Availability: Items available for loan: [Call number: 005.1 FOG] (1).
|
|
|
14.
|
Applications and science of neural networks, fuzzy systems, and evolutionary computation VI : 5-6 August, 2003, San Diego, California, USA
by Bosacchi, Bruno | Bezdek, James C | Fogel, David B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: SPIE, 2003Availability: Items available for loan: [Call number: 006.32 BOS] (1).
|
|
|
15.
|
Exploring new frontiers of theoretical informatics
by Levy, Jean | Mayr, Jean-Jacques | Mitchell, John C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2004Availability: Items available for loan: [Call number: 004.01 LEV] (1).
|
|
|
16.
|
Theoretical introduction to programming
by Mills, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.1 MIL] (1).
|
|
|
17.
|
Spatially Structured Eevolutionary Algorithms : artificial evolution in space and time
by Tomassini, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 TOM] (1).
|
|
|
18.
|
Evolutionary computation in combinatorial optimization : fifth European conference, EVOCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings
by Gottlieb, Jens | Raidl, Gunther R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
|
|
|
19.
|
Applications of evolutionary computing : EvoWorkshops 2005 : EvoCOMNET, EvoHOT EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings
by Rothlauf, Franz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 ROT] (1).
|
|
|
20.
|
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
by Rust, Heinrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
|
