|
|
3001.
|
Distributed Computing [electronic resource] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc.
by Pelc, 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
|
|
|
3002.
|
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers / edited by Balder D. Cate, Henk W. Zeevat.
by Cate, Balder D | Zeevat, Henk W | 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
|
|
|
3003.
|
Location- and Context-Awareness [electronic resource] : Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007. Proceedings / edited by Jeffrey Hightower, Bernt Schiele, Thomas Strang.
by Hightower, Jeffrey | Schiele, Bernt | Strang, Thomas | 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
|
|
|
3004.
|
Transactions on Aspect-Oriented Software Development III [electronic resource] / edited by Awais Rashid, Mehmet Aksit.
by Rashid, Awais | Aksit, Mehmet | 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
|
|
|
3005.
|
Business Process Management [electronic resource] : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007. Proceedings / edited by Gustavo Alonso, Peter Dadam, Michael Rosemann.
by Alonso, Gustavo | Dadam, Peter | Rosemann, 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
|
|
|
3006.
|
Advances in Databases and Information Systems [electronic resource] : 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007. Proceedings / edited by Yannis Ioannidis, Boris Novikov, Boris Rachev.
by Ioannidis, Yannis | Novikov, Boris | Rachev, Boris | 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
|
|
|
3007.
|
Computer Algebra in Scientific Computing [electronic resource] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | 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
|
|
|
3008.
|
Creating New Learning Experiences on a Global Scale [electronic resource] : Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Proceedings / edited by Erik Duval, Ralf Klamma, Martin Wolpers.
by Duval, Erik | Klamma, Ralf | Wolpers, Martin | 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
|
|
|
3009.
|
Domain Decomposition Methods in Science and Engineering XVII [electronic resource] / edited by Ulrich Langer, Marco Discacciati, David E. Keyes, Olof B. Widlund, Walter Zulehner.
by Langer, Ulrich | Discacciati, Marco | Keyes, David E | Widlund, Olof B | Zulehner, Walter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
3010.
|
Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil.
by Engels, Gregor | Opdyke, Bill | Schmidt, Douglas C | Weil, Frank | 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
|
|
|
3011.
|
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter.
by Wolter, Katinka | 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
|
|
|
3012.
|
Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
by Jones, Cliff B | Liu, Zhiming | Woodcock, Jim | 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
|
|
|
3013.
|
Algorithmic Learning Theory [electronic resource] : 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings / edited by Marcus Hutter, Rocco A. Servedio, Eiji Takimoto.
by Hutter, Marcus | Servedio, Rocco A | Takimoto, Eiji | 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
|
|
|
3014.
|
Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider.
by Dimitrakos, Theo | Martinelli, Fabio | Ryan, Peter Y. A | Schneider, Steve | 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
|
|
|
3015.
|
Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković.
by Jonker, Willem | Petković, Milan | 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
|
|
|
3016.
|
Multi-Agent Systems and Applications V [electronic resource] : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings / edited by Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga.
by Burkhard, Hans-Dieter | Lindemann, Gabriela | Verbrugge, Rineke | Varga, László Zsolt | 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
|
|
|
3017.
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings / edited by Khaled Mellouli.
by Mellouli, Khaled | 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
|
|
|
3018.
|
Current Topics in Artificial Intelligence [electronic resource] : 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers / edited by Daniel Borrajo, Luis Castillo, Juan Manuel Corchado.
by Borrajo, Daniel | Castillo, Luis | Corchado, Juan Manuel | 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
|
|
|
3019.
|
Advances in Computer Graphics and Computer Vision [electronic resource] : International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers / edited by José Braz, Alpesh Ranchordas, Helder Araújo, Joaquim Jorge.
by Braz, José | Ranchordas, Alpesh | Araújo, Helder | Jorge, Joaquim | 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
|
|
|
3020.
|
Pattern Recognition in Bioinformatics [electronic resource] : Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007. Proceedings / edited by Jagath C. Rajapakse, Bertil Schmidt, Gwenn Volkert.
by Rajapakse, Jagath C | Schmidt, Bertil | Volkert, Gwenn | 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
|
