|
|
4361.
|
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain.
by Derrick, John | Vain, Jüri | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4362.
|
Effective IT Service Management [electronic resource] : To ITIL and Beyond! / by Rob Addy.
by Addy, Rob | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4363.
|
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.
by Harju, Tero | Karhumäki, Juhani | Lepistö, Arto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4364.
|
Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons.
by Davies, Jim | Gibbons, Jeremy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4365.
|
Smart Graphics [electronic resource] : 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Shigeru Owada.
by Butz, Andreas | Fisher, Brian | Krüger, Antonio | Olivier, Patrick | Owada, Shigeru | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4366.
|
Foundations of Augmented Cognition [electronic resource] : Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Dylan D. Schmorrow, Leah M. Reeves.
by Schmorrow, Dylan D | Reeves, Leah M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4367.
|
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.
by Rocca, Simona Ronchi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4368.
|
Reliable Software Technologies – Ada Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings / edited by Nabil Abdennadher, Fabrice Kordon.
by Abdennadher, Nabil | Kordon, Fabrice | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4369.
|
Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay.
by d’Avila Garcez, Artur S | Lamb, Luís C | Gabbay, Dov M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
4370.
|
Data Integration in the Life Sciences [electronic resource] : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings / edited by Sarah Cohen-Boulakia, Val Tannen.
by Cohen-Boulakia, Sarah | Tannen, Val | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4371.
|
Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Douglas Schuler.
by Schuler, Douglas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4372.
|
Metalearning [electronic resource] : Applications to Data Mining / by Pavel Brazdil, Christophe Giraud-Carrier, Carlos Soares, Ricardo Vilalta.
by Brazdil, Pavel | Giraud-Carrier, Christophe | Soares, Carlos | Vilalta, Ricardo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
4373.
|
Information Processing in Medical Imaging [electronic resource] : 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007. Proceedings / edited by Nico Karssemeijer, Boudewijn Lelieveldt.
by Karssemeijer, Nico | Lelieveldt, Boudewijn | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4374.
|
Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings / edited by Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore.
by Stajano, Frank | Meadows, Catherine | Capkun, Srdjan | Moore, Tyler | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4375.
|
Universal Acess in Human Computer Interaction. Coping with Diversity [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Constantine Stephanidis.
by Stephanidis, Constantine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4376.
|
Universal Access in Human-Computer Interaction. Ambient Interaction [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II / edited by Constantine Stephanidis.
by Stephanidis, Constantine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4377.
|
Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III / edited by Constantine Stephanidis.
by Stephanidis, Constantine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4378.
|
Usability and Internationalization. HCI and Culture [electronic resource] : Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Nuray Aykin.
by Aykin, Nuray | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4379.
|
Usability and Internationalization. Global and Local User Interfaces [electronic resource] : Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Nuray Aykin.
by Aykin, Nuray | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
4380.
|
Digital Human Modeling [electronic resource] : First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Vincent G. Duffy.
by Duffy, Vincent G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
