Results of search for 'ccl=Provider:IOS ;'

Results
	101.	Agents and ambient intelligence [electronic resource] : achievements and challenges in the intersection of agent technology and ambient intelligence / edited by Tibor Bosse. by Bosse, Tibor IOS Press (Firm) Series: Ambient intelligence and smart environments ; v.12. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, 2012 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	102.	Applications, tools and techniques on the road to exascale computing [electronic resource] / edited by Koen De Bosschere...[et al.]. by ParCo 2011 (2011 : Ghent, Belgium) Bosschere, Koen de IOS Press (Press) Series: Advances in parallel computing ; v.22. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2012 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	103.	Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann. by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) Nipkow, Tobias, 1958- Grumberg, Orna Hauptmann, Benedikt IOS Press (Firm) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v.33. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2012 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	104.	Information modelling and knowledge bases XXIII [electronic resource] / edited by Jaak Henno ... [et al.]. by Henno, Jaak Series: Frontiers in artificial intelligence and applications ; v. 237. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington DC : Ios Press, c2012 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	105.	Software agents, agent systems and their applications [electronic resource] / edited by Mohammad Essaaidi, Maria Ganzha and Marcin Paprzycki. by NATO Advanced Study Institute on Software Agents, Agent Systems and their Applications (2010 : Tangiers, Morocco) Essaaidi, Mohamed Ganzha, M. (Maria) Paprzycki, Marcin NATO Science for Peace and Security Programme Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 32. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington DC : IOS Press, c2012 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	106.	Neural Nets WIRN11 [electronic resource] : proceedings of the 21st Italian Workshop on Neural Nets / edited by Bruno Apolloni...[et al.]. by Italian Workshop on Neural Nets (21st) Apolloni, Bruno, 1946- IOS Press Series: Frontiers in artificial intelligence and applications ; v.234. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2011 Other title: WIRN11 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	107.	Biologically Inspired Cognitive Architectures 2011 : Proceedings of the Second Annual Meeting of the BICA Society / edited by Alexei V. Samsonovich and Kamilla R. Jóhannsdóttir. by BICA Society. Annual Meeting (2nd : 2011 : Arlington, Va.) Samsonovich, Alexei V Jóhannsdóttir, Kamilla R IOS Press Series: Frontiers in artificial intelligence and applications ; v. 233. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	108.	Artificial intelligence research and development : proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence / edited by Cèsar Fernández, Hector Geffner and Felip Manyà. by Catalonian Conference on AI (14th : 2011 : Universitat de Lleida) Fernández, Cèsar Gaffner, Hector Manyà, Felip IOS Press Series: Frontiers in artificial intelligence and applications ; v. 232. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	109.	Use of risk analysis in computer-aided persuasion / edited by Ekrem Duman and Amir F. Atiya. by NATO Advanced Research Workshop on the Use of Risk Analysis to Protect Against Intelligent Threats (2011 : Antalya, Turkey) Duman, Ekrem Atiya, Amir F IOS Press Series: NATO science for peace and security series. E, Human and societal dynamics ; ; v. 88. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	110.	Workshop Proceedings of the 7th International Conference on Intelligent Environments [electronic resource] / edited by J.C. Augusto ... [et al.]. by IET International Conference on Intelligent Environments (7th : 2011 : Nottingham, England) Aghajan, H Augusto, J. C Callaghan, V Series: Ambient intelligence and smart environments ; v. 10. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	111.	New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova. by International Conference on New Trends in Software Methodologies, Tools and Techniques (10th : 2011 : Saint Petersburg, Russia) Fujita, Hamido Gavrilova, T. A. (Tatʹiana Alʹbertovna) Series: Frontiers in artificial intelligence and applications ; v. 231. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2011 Other title: SoMeT_11 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	112.	High Performance Computing [electronic resource] / edited by Ian Foster...[et al.]. by Foster, I Gentzsch, W Grandinetti, L Series: Advances in parallel computing ; v.20. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	113.	Modular Ontologies : Proceedings of the Fifth International Workshop (WoMO 2011) / Edited by Oliver Kutz and Thomas Schneider. by Kutz, Oliver Schneider, Thomas, 1976- Series: Frontiers in artificial intelligence and applications ; v. 230. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Other title: WoMO 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	114.	Formal Ontologies Meet Industry [electronic resource] : Proceedings of the 5th International Workshop (FOMI 2011) / edited by Pieter E. Vermaas and Virginia Dignum. by International Workshop on Formal Ontologies Meet Industry (5th : 2011 : Delft, Netherlands) Vermaas, Pieter E Dignum, V Series: Frontiers in artificial intelligence and applications ; v.229. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Other title: FOMI 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	115.	Communicating Process Architectures 2011 [electronic resource] : WoTUG-33 / edited by Peter H. Welch...[et al.]. by WoTUG Technical Meeting (33rd : 2011 : Limerick, Ireland) Welch, Peter H Series: Concurrent systems engineering series ; v.68. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	116.	Eleventh Scandinavian Conference on Artificial Intelligence [electronic resource] : SCAI 2011 / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth. by Scandinavian Conference on Artificial Intelligence (11th : 2011 : Trondheim, Norway) Kofod-Petersen, Anders Heintz, Fredrik Langseth, Helge IOS Press Series: Frontiers in artificial intelligence and applications ; v. 227. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS, c2011 Other title: SCAI 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	117.	Behaviour Monitoring and Interpretation - BMI : Well Being / edited by Björn Gottfriend and Hamid Aghajan. by Gottfried, Björn Aghajan, Hamid K Series: Ambient intelligence and smart environments ; v. 9. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Other title: Behavior Monitoring and Interpretaion - BMI Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	118.	Radio frequency identification system security [electronic resource] : RFIDsec '11 Asia Workshop proceedings / edited by Tieyan Li [and others]. by RFIDsec '11 Asia (2011 : Wuxi Shi, China) Li, Tieyan Series: Cryptology and information security series ; v. 6. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, 2011 Other title: RFIDsec '11 Asia Workshop proceedings Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	119.	Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer. by Cortier, Véronique Kremer, Steve IOS Press Series: Cryptology and information security series ; v. 5. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; da Washington, DC : IOS Press, c2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	120.	Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. by NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010 : Marktoberdorf, Germany) Broy, M, 1949- [editor.] Leuxner, Christian [editor.] Hoare, C. A. R. (Charles Antony Richard), 1934- [editor.] Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 30. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2011 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Places

Topics

Your search returned 976 results.