|
|
481.
|
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol.
by Romijn, Judi | Smith, Graeme | Pol, Jaco | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
482.
|
String Processing and Information Retrieval [electronic resource] : 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings / edited by Mariano Consens, Gonzalo Navarro.
by Consens, Mariano | Navarro, Gonzalo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
483.
|
Progress in Pattern Recognition, Image Analysis and Applications [electronic resource] : 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005. Proceedings / edited by Alberto Sanfeliu, Manuel Lazo Cortés.
by Sanfeliu, Alberto | Cortés, Manuel Lazo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
484.
|
Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by Paul Davidsson, Brian Logan, Keiki Takadama.
by Davidsson, Paul | Logan, Brian | Takadama, Keiki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
485.
|
Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings / edited by Jürgen Schönwälder, Joan Serrat.
by Schönwälder, Jürgen | Serrat, Joan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
486.
|
Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings / edited by Oleg B. Lupanov, Oktay M. Kasim-Zade, Alexander V. Chaskin, Kathleen Steinhöfel.
by Lupanov, Oleg B | Kasim-Zade, Oktay M | Chaskin, Alexander V | Steinhöfel, Kathleen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
487.
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings / edited by Hai Jin, Daniel Reed, Wenbin Jiang.
by Jin, Hai | Reed, Daniel | Jiang, Wenbin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
488.
|
Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / edited by Kwangkeun Yi.
by Yi, Kwangkeun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
489.
|
Advances in Biometric Person Authentication [electronic resource] : International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings / edited by Stan Z. Li, Zhenan Sun, Tieniu Tan, Sharath Pankanti, Gérard Chollet, David Zhang.
by Li, Stan Z | Sun, Zhenan | Tan, Tieniu | Pankanti, Sharath | Chollet, Gérard | Zhang, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
490.
|
Advances in Computer Science – ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings / edited by Stéphane Grumbach, Liying Sui, Victor Vianu.
by Grumbach, Stéphane | Sui, Liying | Vianu, Victor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
491.
|
Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach.
by Lau, Kung-Kiu | Banach, Richard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
492.
|
Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / edited by Akihiko Konagaya, Kenji Satou.
by Konagaya, Akihiko | Satou, Kenji | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
493.
|
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / edited by Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi.
by Faltings, Boi V | Petcu, Adrian | Fages, François | Rossi, Francesca | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
494.
|
Law and the Semantic Web [electronic resource] : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications / edited by V. Richard Benjamins, Pompeu Casanovas, Joost Breuker, Aldo Gangemi.
by Benjamins, V. Richard | Casanovas, Pompeu | Breuker, Joost | Gangemi, Aldo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
495.
|
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan.
by Hutter, Dieter | Stephan, Werner | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
496.
|
Spatial Cognition IV. Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky.
by Freksa, Christian | Knauff, Markus | Krieg-Brückner, Bernd | Nebel, Bernhard | Barkowsky, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
497.
|
RoboCup 2004: Robot Soccer World Cup VIII [electronic resource] / edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, José Santos-Victor.
by Nardi, Daniele | Riedmiller, Martin | Sammut, Claude | Santos-Victor, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
498.
|
E-Government: Towards Electronic Democracy [electronic resource] : International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings / edited by Michael Böhlen, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer.
by Böhlen, Michael | Gamper, Johann | Polasek, Wolfgang | Wimmer, Maria A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
499.
|
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum.
by Eijk, Rogier M | Huget, Marc-Philippe | Dignum, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
500.
|
Environments for Multi-Agent Systems [electronic resource] : First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers / edited by Danny Weyns, H. Dyke Parunak, Fabien Michel.
by Weyns, Danny | Dyke Parunak, H | Michel, Fabien | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|