|
|
|
|
Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia. by D’Ambra, Pasqua [editor.] | Guarracino, Mario [editor.] | Talia, Domenico [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6272Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger. by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6246Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska. by Eekelen, Marko [editor.] | Shkaravska, Olha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6324Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Testing – Practice and Research Techniques [electronic resource] : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings / edited by Leonardo Bottaci, Gordon Fraser. by Bottaci, Leonardo [editor.] | Fraser, Gordon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6303Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings / edited by Richard Hull, Jan Mendling, Stefan Tai. by Hull, Richard [editor.] | Mendling, Jan [editor.] | Tai, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6336Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Recent Advances in the Message Passing Interface [electronic resource] : 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings / edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra. by Keller, Rainer [editor.] | Gabriel, Edgar [editor.] | Resch, Michael [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6305Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings / edited by Chen Ding, Zhiyuan Shao, Ran Zheng. by Ding, Chen [editor.] | Shao, Zhiyuan [editor.] | Zheng, Ran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6289Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings / edited by Nancy A. Lynch, Alexander A. Shvartsman. by Lynch, Nancy A [editor.] | Shvartsman, Alexander A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6343Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel. by Cousot, Radhia [editor.] | Martel, Matthieu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6337Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Performance Engineering [electronic resource] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa. by Aldini, Alessandro [editor.] | Bernardo, Marco [editor.] | Bononi, Luciano [editor.] | Cortellessa, Vittorio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6342Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Metaheuristics [electronic resource] : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings / edited by María J. Blesa, Christian Blum, Günther Raidl, Andrea Roli, Michael Sampels. by Blesa, María J [editor.] | Blum, Christian [editor.] | Raidl, Günther [editor.] | Roli, Andrea [editor.] | Sampels, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6373Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6395Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6394Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings / edited by Jürgen Dix, Cees Witteveen. by Dix, Jürgen [editor.] | Witteveen, Cees [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6251Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. by Fermüller, Christian G [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6397Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. by Min, Sang Lyul [editor.] | Pettit, Robert [editor.] | Puschner, Peter [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6399Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. by Méry, Dominique [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6396Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. by Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward [editor.] | Rumpe, Bernhard [editor.] | Schätz, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6100Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
