|
|
4621.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan.
by Raskin, Jean-François | Thiagarajan, P. 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
|
|
|
4622.
|
Ontologies-Based Databases and Information Systems [electronic resource] : First and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers / edited by Martine Collard.
by Collard, Martine | 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
|
|
|
4623.
|
Managing Next Generation Networks and Services [electronic resource] : 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007. Proceedings / edited by Shingo Ata, Choong Seon Hong.
by Ata, Shingo | Hong, Choong Seon | 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
|
|
|
4624.
|
Discovery Science [electronic resource] : 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings / edited by Vincent Corruble, Masayuki Takeda, Einoshin Suzuki.
by Corruble, Vincent | Takeda, Masayuki | Suzuki, Einoshin | 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
|
|
|
4625.
|
Service-Oriented Computing ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings / edited by Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, George Feuerlicht, Marten Schoenherr, Hamid R. Motahari-Nezhad.
by Georgakopoulos, Dimitrios | Ritter, Norbert | Benatallah, Boualem | Zirpins, Christian | Feuerlicht, George | Schoenherr, Marten | Motahari-Nezhad, Hamid R | 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
|
|
|
4626.
|
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta.
by Garay, Juan A | Lenstra, Arjen K | Mambo, Masahiro | Peralta, René | 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
|
|
|
4627.
|
Databases in Networked Information Systems [electronic resource] : 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007. Proceedings / edited by Subhash Bhalla.
by Bhalla, Subhash | 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
|
|
|
4628.
|
Hybrid Metaheuristics [electronic resource] : 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings / edited by Thomas Bartz-Beielstein, María José Blesa Aguilera, Christian Blum, Boris Naujoks, Andrea Roli, Günter Rudolph, Michael Sampels.
by Bartz-Beielstein, Thomas | Blesa Aguilera, María José | Blum, Christian | Naujoks, Boris | Roli, Andrea | Rudolph, Günter | Sampels, Michael | 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
|
|
|
4629.
|
Algorithms – ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings / edited by Lars Arge, Michael Hoffmann, Emo Welzl.
by Arge, Lars | Hoffmann, Michael | Welzl, Emo | 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
|
|
|
4630.
|
Engineering Societies in the Agents World VII [electronic resource] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / edited by Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, Oğuz Dikenelli.
by O’Hare, Gregory M. P | Ricci, Alessandro | O’Grady, Michael J | Dikenelli, Oğuz | 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
|
|
|
4631.
|
Argumentation in Multi-Agent Systems [electronic resource] : Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papers / edited by Nicolas Maudet, Simon Parsons, Iyad Rahwan.
by Maudet, Nicolas | Parsons, Simon | Rahwan, Iyad | 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
|
|
|
4632.
|
String Processing and Information Retrieval [electronic resource] : 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings / edited by Nivio Ziviani, Ricardo Baeza-Yates.
by Ziviani, Nivio | Baeza-Yates, Ricardo | 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
|
|
|
4633.
|
Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers / edited by H. Jaap Herik, Paolo Ciancarini, H. H. L. M. (Jeroen) Donkers.
by Herik, H. Jaap | Ciancarini, Paolo | Donkers, H. H. L. M. (Jeroen) | 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
|
|
|
4634.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers / edited by Bertrand Meyer, Mathai Joseph.
by Meyer, Bertrand | Joseph, Mathai | 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
|
|
|
4635.
|
Knowledge Discovery in Inductive Databases [electronic resource] : 5th International Workshop, KDID 2006 Berlin, Germany, September 18, 2006 Revised Selected and Invited Papers / edited by Sašo Džeroski, Jan Struyf.
by Džeroski, Sašo | Struyf, Jan | 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
|
|
|
4636.
|
Privacy Enhancing Technologies [electronic resource] : 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers / edited by Nikita Borisov, Philippe Golle.
by Borisov, Nikita | Golle, Philippe | 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
|
|
|
4637.
|
Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings / edited by Francesco Mele, Giuliana Ramella, Silvia Santillo, Francesco Ventriglia.
by Mele, Francesco | Ramella, Giuliana | Santillo, Silvia | Ventriglia, Francesco | 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
|
|
|
4638.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov.
by Dershowitz, Nachum | Voronkov, Andrei | 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
|
|
|
4639.
|
Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings / edited by Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim.
by Parent, Christine | Schewe, Klaus-Dieter | Storey, Veda C | Thalheim, Bernhard | 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
|
|
|
4640.
|
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura.
by Namjoshi, Kedar S | Yoneda, Tomohiro | Higashino, Teruo | Okamura, Yoshio | 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
|
