|
|
2081.
|
Combinatorial Pattern Matching [electronic resource] : 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings / edited by Moshe Lewenstein, Gabriel Valiente.
by Lewenstein, Moshe | Valiente, Gabriel | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2082.
|
Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.
by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2083.
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.
by Beckmann, Arnold | Berger, Ulrich | Löwe, Benedikt | Tucker, John V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2084.
|
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki.
by Yli-Jyrä, Anssi | Karttunen, Lauri | Karhumäki, Juhani | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2085.
|
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2005 Workshop Post-Proceedings / edited by Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo.
by Washio, Takashi | Sakurai, Akito | Nakajima, Katsuto | Takeda, Hideaki | Tojo, Satoshi | Yokoo, Makoto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2086.
|
Next Generation Information Technologies and Systems [electronic resource] : 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings / edited by Opher Etzion, Tsvi Kuflik, Amihai Motro.
by Etzion, Opher | Kuflik, Tsvi | Motro, Amihai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2087.
|
Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings / edited by Paola Flocchini, Leszek Gąsieniec.
by Flocchini, Paola | Gąsieniec, Leszek | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2088.
|
Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers / edited by Øyvind Ytrehus.
by Ytrehus, Øyvind | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2089.
|
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda.
by Barker-Plummer, Dave | Cox, Richard | Swoboda, Nik | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2090.
|
Digital Mammography [electronic resource] : 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006. Proceedings / edited by Susan M. Astley, Michael Brady, Chris Rose, Reyer Zwiggelaar.
by Astley, Susan M | Brady, Michael | Rose, Chris | Zwiggelaar, Reyer | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2091.
|
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau.
by Gorton, Ian | Heineman, George T | Crnković, Ivica | Schmidt, Heinz W | Stafford, Judith A | Szyperski, Clemens | Wallnau, Kurt | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2092.
|
Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings / edited by Tarmo Uustalu.
by Uustalu, Tarmo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2093.
|
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.
by Johnson, Michael | Vene, Varmo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2094.
|
Advances in Computer Graphics [electronic resource] : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings / edited by Tomoyuki Nishita, Qunsheng Peng, Hans-Peter Seidel.
by Nishita, Tomoyuki | Peng, Qunsheng | Seidel, Hans-Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2095.
|
Biomedical Image Registration [electronic resource] : Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006. Proceedings / edited by Josien P. W. Pluim, Boštjan Likar, Frans A. Gerritsen.
by Pluim, Josien P. W | Likar, Boštjan | Gerritsen, Frans A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2096.
|
ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas.
by Thomas, Dave | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2097.
|
Artificial Intelligence and Soft Computing – ICAISC 2006 [electronic resource] : 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings / edited by Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Żurada.
by Rutkowski, Leszek | Tadeusiewicz, Ryszard | Zadeh, Lotfi A | Żurada, Jacek M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2098.
|
Algorithm Theory – SWAT 2006 [electronic resource] : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings / edited by Lars Arge, Rusins Freivalds.
by Arge, Lars | Freivalds, Rusins | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2099.
|
Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.
by Reussner, Ralf H | Stafford, Judith A | Szyperski, Clemens A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2100.
|
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings / edited by Lou Goble, John-Jules Ch. Meyer.
by Goble, Lou | Meyer, John-Jules Ch | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
