|
|
21.
|
From mathematical beauty to the truth of nature : to Jerzy Tiuryn on his 60th birthday.
by Gambin, Anna | Niwinski, Damian | Urzyczyn, Pawel. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 510 GAM] (1).
|
|
|
22.
|
Biological petri nets
by Wingender, Edgar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 572.80285 WIN] (1).
|
|
|
23.
|
Formal concept analysis and tag recommendations in collaborative tagging systems
by Jaschke, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 025.04 JAS] (1).
|
|
|
24.
|
Software and systems safety : specification and verification
by Broy, Manfred | Hoare, Tony | Leuxner, Christian | NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 005.8 BRO] (1).
|
|
|
25.
|
Formal models and techniques for analyzing security protocols
by Cortier, Veronique | Kremer, Steve. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 005.82 COR] (1).
|
|
|
26.
|
Process-oriented semantic web search
by Tran, Duc Thanh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 025.04 TRA] (1).
|
|
|
27.
|
Granularity analysis for tutoring mathematical proofs
by Schiller, Marvin R. G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: IOS Press, 2011Availability: Items available for loan: [Call number: 511.36028563 SCH] (1).
|
|
|
28.
|
Biology, computation and linguistics : new interdisciplinary paradigms
by Bel-Enguix, Gemma | Dahl, Veronica | Jimenez Lopez, Maria Dolores. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 410.285 BEL] (1).
|
|
|
29.
|
Change-oriented architecture for mathematical authoring assistance
by Wagner, Marc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: IOS Press, 2011Availability: Items available for loan: [Call number: 004.2 WAG] (1).
|
|
|
30.
|
Active mining : new directions of data mining
by Motoda, Hiroshi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2002Availability: Items available for loan: [Call number: 006.3 MOT] (1).
|
|
|
31.
|
Computer-based support for clinical guidelines and protocols : proceedings of the symposium on computerized guidelines and protocols (CGP 2004)
by Miksch, Silvia | Kaiser, Katharina | Tu, Samson W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2004Availability: Items available for loan: [Call number: 610.285 KAI] (1).
|
|
|
32.
|
Knowledge transformation for the semantic web
by Omelayenko, Borys | Klein, Michel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2003Availability: Items available for loan: [Call number: 006.33 OME] (1).
|
|
|
33.
|
Internet, telematics and health
by Sosa-Iudicissa , Marcelo | Gamboa, Carlos A | Oliveri, Nora | Roberts, Jean. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 1997Availability: Items available for loan: [Call number: 362.10285 SOS] (2).
|
