|
1281.
|
Human-Centered Visualization Environments [electronic resource] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures / edited by Andreas Kerren, Achim Ebert, Jörg Meyer.
by Kerren, Andreas | Ebert, Achim | Meyer, Jörg | 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
|
|
1282.
|
Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni.
by Bordini, Rafael H | Dastani, Mehdi | Dix, Jürgen | Seghrouchni, Amal El Fallah | 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
|
|
1283.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens.
by Fiadeiro, José Luiz | Schobbens, Pierre-Yves | 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
|
|
1284.
|
All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.
by Clavel, Manuel | Durán, Francisco | Eker, Steven | Lincoln, Patrick | Martí-Oliet, Narciso | Meseguer, José | Talcott, Carolyn | 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
|
|
1285.
|
Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings / edited by Ion Măndoiu, Alexander Zelikovsky.
by Măndoiu, Ion | Zelikovsky, Alexander | 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
|
|
1286.
|
Business Information Systems [electronic resource] : 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007. Proceedings / edited by Witold Abramowicz.
by Abramowicz, Witold | 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
|
|
1287.
|
Pervasive Computing [electronic resource] : 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings / edited by Anthony LaMarca, Marc Langheinrich, Khai N. Truong.
by LaMarca, Anthony | Langheinrich, Marc | Truong, Khai N | 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
|
|
1288.
|
The Adaptive Web [electronic resource] : Methods and Strategies of Web Personalization / edited by Peter Brusilovsky, Alfred Kobsa, Wolfgang Nejdl.
by Brusilovsky, Peter | Kobsa, Alfred | Nejdl, 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
|
|
1289.
|
Information Security Practice and Experience [electronic resource] : Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007. Proceedings / edited by Ed Dawson, Duncan S. Wong.
by Dawson, Ed | Wong, Duncan 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
|
|
1290.
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf.
by Baral, Chitta | Brewka, Gerhard | Schlipf, John | 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
|
|
1291.
|
Euro-Par 2006: Parallel Processing [electronic resource] : Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / edited by Wolfgang Lehner, Norbert Meyer, Achim Streit, Craig Stewart.
by Lehner, Wolfgang | Meyer, Norbert | Streit, Achim | Stewart, Craig | 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
|
|
1292.
|
Artifical Intelligence for Human Computing [electronic resource] : ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006, Hyderabad, India, January 6, 2007, Revised Seleced and Invited Papers / edited by Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland.
by Huang, Thomas S | Nijholt, Anton | Pantic, Maja | Pentland, 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
|
|
1293.
|
Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems [electronic resource] : First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings / edited by Damien Sauveron, Konstantinos Markantonakis, Angelos Bilas, Jean-Jacques Quisquater.
by Sauveron, Damien | Markantonakis, Konstantinos | Bilas, Angelos | Quisquater, Jean-Jacques | 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
|
|
1294.
|
Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings / edited by Christophe Cérin, Kuan-Ching Li.
by Cérin, Christophe | Li, Kuan-Ching | 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
|
|
1295.
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I / edited by Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun.
by Liu, Derong | Fei, Shumin | Hou, Zeng-Guang | Zhang, Huaguang | Sun, Changyin | 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
|
|
1296.
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun.
by Liu, Derong | Fei, Shumin | Hou, Zengguang | Zhang, Huaguang | Sun, Changyin | 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
|
|
1297.
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun.
by Liu, Derong | Fei, Shumin | Hou, Zengguang | Zhang, Huaguang | Sun, Changyin | 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
|
|
1298.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey.
by Hentenryck, Pascal | Wolsey, Laurence | 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
|
|
1299.
|
Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo.
by Wang, Qing | Pfahl, Dietmar | Raffo, David 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
|
|
1300.
|
Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak.
by Yao, JingTao | Lingras, Pawan | Wu, Wei-Zhi | Szczuka, Marcin | Cercone, Nick J | Ślȩzak, Dominik | 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
|