Your search returned 1000 results.

Not what you expected? Check for suggestions
Sort
Results
A change-oriented architecture for mathematical authoring assistance Marc Wagner.

by Wagner, Marc.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: [Amsterdam] IOS Press ; Heidelberg AKA, c Availability: Items available for loan: UNIMY (1) Call number: QA76.754 .W335 2011.

Concurrent information processing and computing edited by Alex Nicolau and Dan Grigoras.

Edition: 1st ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC IOS Press, c Availability: Items available for loan: UNIMY (1) Call number: 004.35 G847.

Designing mobile service systems Els van de Kar; Alexander Verbraeck

by Els van de Kar.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam IOS Press, c Availability: Items available for loan: UNIMY (1) Call number: TK5103.2 E47 2008.

Knowledge-based software engineering proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering edited by Maria Virvou and Taichi Nakamura.

by Joint Conference on Knowledge-Based Software Engineering (8th : d.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, D.C. IOS Press, c Availability: Items available for loan: UNIMY (1) Call number: 006.33 V818k.

Off-line cursive handwriting recognition using synthetic training data Tamas Varga.

by Varga, Tamás, 1978-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin Akademische Verlagsgesellschaft Aka ; IOS Press, c Availability: Items available for loan: UNIMY (1) Call number: TA1650 .V367 2006.

Process-oriented Semantic Web search Tran Duc Thanh

by Tran, ‬Duc Thanh. d.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Heidelberg, Germany AKA ; [Amsterdam] IOS Press, c Availability: Items available for loan: UNIMY (1) Call number: TK5105.88815 T73 2011.

Learning by effective utilization of technologies : facilitating intercultural understanding / edited by Riichiro Mizoguchi, Pierre Dillenbourg, and Zhiting Zhu.

by International Conference on Computers in Education (14th : 2006 Beijing, China) | Mizoguchi, Riichiro | Dillenbourg, Pierre | Zhu, Zhiting.

Series: Frontiers in artificial intelligence and applications ; v. 151Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, c2006Availability: Items available for loan: UNIMY (1) Call number: LB1028.43 .I67 2006.

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, Tatiana.

Series: Frontiers in artificial intelligence and applications ; v. 231.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2011Other title: SoMeT_11 | SoMeT 2011.Availability: Items available for loan: UNIMY (1) Call number: QA76.758 .I5717 2011.

Cooperative systems design [electronic resource] : seamless integration of artifacts and conversations--enhanced concepts of infrastructure for communication / edited by Parina Hassanaly ... [et al.].

by ProQuest (Firm).

Series: Frontiers in artificial intelligence and applications ; v.137.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Netherlands : IOS Press, 2006Online access: Click to View Availability: No items available.

Fighting terrorism in the liberal state [electronic resource] : an integrated model of research, intelligence and international law / edited by Samuel Peleg and Wilhelm Kempf.

by NATO Advanced Research Workshop on Fighting Terrorism in the Liberal State: An Integrated Model of Research, Intelligence and International Law (2005 : Konstanz, Germany) | Kempf, Wilhelm F | Peleg, Samuel | ProQuest (Firm) | NATO Programme for Security through Science | North Atlantic Treaty Organization. Public Diplomacy Division.

Series: NATO security through science seriesEHuman and societal dynamics ; v. 9.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, c2006Online access: Click to View Availability: No items available.

Intelligent textiles for personal protection and safety [electronic resource] / edited by Sundaresan Jayaraman, Paul Kiekens and Ana Marija Grancaric.

by Jayaraman, Sundaresan | Kiekens, Paul, 1955- | Grancaric, Ana Marija | North Atlantic Treaty Organization. Public Diplomacy Division | NATO Programme for Security through Science | ProQuest (Firm) | NATO Advanced Research Workshop on Intelligent Textiles for Personal Protection and Safety (2005 : Zadar, Croatia).

Series: NATO security through science seriesDInformation and communication security ; v. 3.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2006Online access: Click to View Availability: No items available.

Bulgarian integration into Europe and NATO [electronic resource] : issues of science policy and research evaluation practice / edited by Robert D. Crangle.

by Crangle, Robert D | ProQuest (Firm).

Series: NATO security through science seriesEHuman and societal dynamics ; v. 8.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press : published in cooperation with NATO Public Diplomacy Division, 2006Online access: Click to View Availability: No items available.

Science and society in the face of the new security threats [electronic resource] / edited by Mary Sharpe and Abimbola Agboluaje.

by NATO Advanced Research Workshop on Science, Society and Security: Developing a Scientific Community to Tackle New Security Threats (2004 : Cambridge, England) | Agboluaje, Abimbola | Sharpe, Mary | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam : Gazelle Books, distributor, IOS Press, 2006 ; 2006Online access: Click to View Availability: No items available.

Novel approaches to the diagnosis and treatment of posttraumatic stress disorder [electronic resource] / edited by Michael J. Roy.

by NATO Advanced Research Workshop on Novel Approaches to the Diagnosis and Treatment of Posttraumatic Stress Disorder (2005 : Cavtat, Croatia) | Roy, Michael J | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam : Lancaster : IOS Press, Gazelle Books, distributor, 2006 ; 2006Online access: Click to View Availability: No items available.

Kondratieff waves, warfare and world security [electronic resource] / edited by Tessaleno C. Devezas.

by NATO Advanced Research Workshop on The Influence of Chance Events and Socioeconomic Long Waves in the New Arena of Asymmetric Warfare (2005 : Covilh �, Portugal) | Devezas, Tessaleno C | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam : Lancaster : IOS Press, Gazelle Books, distributor, 2006 ; 2006Online access: Click to View Availability: No items available.

Promoting independence for older persons with disabilities [electronic resource] : selected papers from the 2006 International Conference on Aging, Disability and Independence / edited by William C. Mann, Abdelsalam Helal.

by International Conference on Aging, Disability and Independence (3rd : 2006 : Saint Petersburg, Fla.) | Mann, William C. (William Charles) | Helal, Abdelsalam A, 1959- | ProQuest (Firm).

Series: Assistive technology research ; v. 18Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Fairfax, VA : IOS Press, c2006Online access: Click to View Availability: No items available.

Medicine meets virtual reality 14 [electronic resource] : accelerating change in healthcare : next medical toolkit / edited by James D. Westwood ... [et al.].

by Medicine Meets Virtual Reality (14th : 2006) | Westwood, James D | ProQuest (Firm).

Series: Studies in health technology and informatics ; v. 119.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2006Other title: Medicine meets virtual reality fourteen.Online access: Click to View Availability: No items available.

Semigroups and automata [electronic resource] : selecta, Uno Kaljulaid (1941-1999) / edited by Jaak Peetre and Jaan Penjam.

by Kaljulaid, U. (Uno) | Peetre, Jaak, 1935- | Penjam, Jaan, 1955- | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Nature of contents: biography; Literary form: Not fiction Language: English Original language: Russian, Estonian Publication details: Amsterdam ; Washington, DC : IOS, c2006Online access: Click to View Availability: No items available.

Security and embedded systems [electronic resource] / edited by Dimitrios N. Serpanos and Ran Giladi.

by NATO Advanced Research Workshop on Security and Embedded Systems (2005 August 22-26 : Patrai, Greece) | Giladi, Ran | Serpanos, Dimitrios Nikolaou | ProQuest (Firm).

Series: NATO security through science seriesDInformation and communication security ; v. 2.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2006Online access: Click to View Availability: No items available.

Organizing innovation [electronic resource] : new approaches to cultural change and intervention in public sector organizations / edited by Marcel Veenswijk.

by Veenswijk, Marcel, 1966- | ProQuest (Firm).

Series: Innovation and the public sector ; v. 10.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, c2005Online access: Click to View Availability: No items available.

Pages