|
401.
|
Applications of membrane computing
by Paun, Gheorghe | Ciobanu, Gabriel | Perez-Jimenez, Mario J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.1 CIO] (1).
|
|
402.
|
Introduction to fuzzy logic using MATLAB
by Sumathi, S | Deepa, S. N | Sivanandam, S. N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 511.3130285 SIV] (1).
|
|
403.
|
Principles of Data Mining and Knowledge Discovery
by Zytkov, Jan. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.3 ZYT] (1).
|
|
404.
|
Temporal logic and state systems
by Merz, Stephan | Kroger, Fred. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 160 KRO] (1).
|
|
405.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
406.
|
Decision procedures : an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
|
|
407.
|
Management of knowledge imperfection in building intelligent systems
by Roventa, Eugene | Spircu, Tiberiu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.3 ROV] (1).
|
|
408.
|
Trust Management III
by Ferrari, Elena. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005 FER] (1).
|
|
409.
|
Stochastic coalgebraic logic
by Doberkat, Ernst-Erich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 519.22 DOB] (1).
|
|
410.
|
Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
by Calude, Cristian S | Sassone, Vladimiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).
|
|
411.
|
Correctness-by-Construction Approach to Programming
by Kourie, Derrick G | Watson, Bruce W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2012Availability: Items available for loan: [Call number: 005.1 KOU] (1).
|
|
412.
|
Information from processes : about the nature of information creation, use, and representation
by Losee, Robert M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 003.54 LOS] (1).
|
|
413.
|
Symbolic-numeric computation
by Wang, Dongming | Zhi, Lihong. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2007Availability: Items available for loan: [Call number: 511.352 WAN] (1).
|
|
414.
|
Structured computer organization
by Tanenbaum, Andrew S. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2007Availability: Items available for loan: [Call number: 004.22 TAN] (20).
|
|
415.
|
Fundamentals of discrete mathematical structures
by Chowdhary, K. R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2008Availability: Items available for loan: [Call number: 511 CHO] (1).
|
|
416.
|
Machine learning with SVM and other kernel methods
by Soman, K. P | Ajay, V | Loganathan, R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: PHI Learning, 2009Availability: Items available for loan: [Call number: 006.31 SOM] (2).
|
|
417.
|
Structured computer organization
by Tanenbaum, Andrew S | Austin, Todd. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: PHI Learning, 2013Availability: Items available for loan: [Call number: 004.22 TAN] (2).
|
|
418.
|
Infinity and the mind : the science and philosophy of the infinite
by Rucker, Rudy Von B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2007Availability: Items available for loan: [Call number: 111.6 RUC] (1).
|
|
419.
|
Mathematical introduction to logic
by Enderton, Herbert B. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 2006Availability: No items available Checked out (1).
|
|
420.
|
Fundamentals of logic design
by Roth, Charles H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Stanford: Cengage Learning, 2010Availability: Items available for loan: [Call number: 621.395 ROT] (1).
|