|
|
2301.
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.
by Kauers, Manuel | Kerber, Manfred | Miner, Robert | Windsteiger, Wolfgang | 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
|
|
|
2302.
|
Transactions on Data Hiding and Multimedia Security II [electronic resource] / edited by Yun Q. Shi.
by Shi, Yun Q | 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
|
|
|
2303.
|
Petri Nets and Other Models of Concurrency – ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings / edited by Jetty Kleijn, Alex Yakovlev.
by Kleijn, Jetty | Yakovlev, Alex | 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
|
|
|
2304.
|
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings / edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi.
by Concas, Giulio | Damiani, Ernesto | Scotto, Marco | Succi, Giancarlo | 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
|
|
|
2305.
|
Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko.
by Jacko, Julie A | 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
|
|
|
2306.
|
Human-Computer Interaction. Interaction Platforms and Techniques [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Julie A. Jacko.
by Jacko, Julie A | 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
|
|
|
2307.
|
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko.
by Jacko, Julie A | 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
|
|
|
2308.
|
Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko.
by Jacko, Julie A | 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
|
|
|
2309.
|
Statistical Network Analysis: Models, Issues, and New Directions [electronic resource] : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / edited by Edoardo Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng.
by Airoldi, Edoardo | Blei, David M | Fienberg, Stephen E | Goldenberg, Anna | Xing, Eric P | Zheng, Alice X | 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
|
|
|
2310.
|
Ruby on Rails for PHP and Java Developers [electronic resource] / by Deepak Vohra.
by Vohra, Deepak | 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
|
|
|
2311.
|
Case-Based Reasoning on Images and Signals [electronic resource] / edited by Petra Perner.
by Perner, Petra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
2312.
|
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
|
|
|
2313.
|
Management by Measurement [electronic resource] : Designing Key Indicators and Performance Measurement Systems / by Fiorenzo Franceschini, Maurizio Galetto, Domenico Maisano.
by Franceschini, Fiorenzo | Galetto, Maurizio | Maisano, Domenico | 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
|
|
|
2314.
|
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
|
|
|
2315.
|
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
|
|
|
2316.
|
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
|
|
|
2317.
|
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
|
|
|
2318.
|
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
|
|
|
2319.
|
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
|
|
|
2320.
|
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
|
