|
|
1401.
|
Human Interface and the Management of Information. Interacting in Information Environments [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Michael J. Smith, Gavriel Salvendy.
by Smith, Michael J | Salvendy, Gavriel | 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
|
|
|
1402.
|
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns.
by Damm, Werner | Hermanns, Holger | 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
|
|
|
1403.
|
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp.
by Bošnački, Dragan | Edelkamp, Stefan | 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
|
|
|
1404.
|
Data Management. Data, Data Everywhere [electronic resource] : 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007. Proceedings / edited by Richard Cooper, Jessie Kennedy.
by Cooper, Richard | Kennedy, Jessie | 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
|
|
|
1405.
|
Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings / edited by Francesco Masulli, Sushmita Mitra, Gabriella Pasi.
by Masulli, Francesco | Mitra, Sushmita | Pasi, Gabriella | 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
|
|
|
1406.
|
Public Key Infrastructure [electronic resource] : 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007. Proceedings / edited by Javier Lopez, Pierangela Samarati, Josep L. Ferrer.
by Lopez, Javier | Samarati, Pierangela | Ferrer, Josep L | 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
|
|
|
1407.
|
Multimedia Content Analysis and Mining [electronic resource] : International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings / edited by Nicu Sebe, Yuncai Liu, Yueting Zhuang, Thomas S. Huang.
by Sebe, Nicu | Liu, Yuncai | Zhuang, Yueting | Huang, Thomas S | 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
|
|
|
1408.
|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki.
by Arge, Lars | Cachin, Christian | Jurdziński, Tomasz | Tarlecki, Andrzej | 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
|
|
|
1409.
|
Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia.
by Anai, Hirokazu | Horimoto, Katsuhisa | Kutsia, Temur | 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
|
|
|
1410.
|
Advances in Data Mining. Theoretical Aspects and Applications [electronic resource] : 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007. Proceedings / 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, 2007Online access: Click here to access online Availability: No items available
|
|
|
1411.
|
Combinatorial Pattern Matching [electronic resource] : 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings / edited by Bin Ma, Kaizhong Zhang.
by Ma, Bin | Zhang, Kaizhong | 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
|
|
|
1412.
|
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz.
by Leivant, Daniel | Queiroz, Ruy | 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
|
|
|
1413.
|
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.
by Baader, Franz | 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
|
|
|
1414.
|
Rough Sets and Intelligent Systems Paradigms [electronic resource] : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings / edited by Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron.
by Kryszkiewicz, Marzena | Peters, James F | Rybinski, Henryk | Skowron, Andrzej | 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
|
|
|
1415.
|
Information Security and Privacy [electronic resource] : 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings / edited by Josef Pieprzyk, Hossein Ghodosi, Ed Dawson.
by Pieprzyk, Josef | Ghodosi, Hossein | Dawson, Ed | 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
|
|
|
1416.
|
Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings / edited by Jürgen Münch, Pekka Abrahamsson.
by Münch, Jürgen | Abrahamsson, Pekka | 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
|
|
|
1417.
|
Foundations of Genetic Algorithms [electronic resource] : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers / edited by Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler.
by Stephens, Christopher R | Toussaint, Marc | Whitley, Darrell | Stadler, Peter F | 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
|
|
|
1418.
|
Pairing-Based Cryptography – Pairing 2007 [electronic resource] : First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings / edited by Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto.
by Takagi, Tsuyoshi | Okamoto, Tatsuaki | Okamoto, Eiji | Okamoto, Takeshi | 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
|
|
|
1419.
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings / 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, 2007Online access: Click here to access online Availability: No items available
|
|
|
1420.
|
Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings / edited by Aiko Pras, Marten Sinderen.
by Pras, Aiko | Sinderen, Marten | 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
|
