Results
|
121.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
- Piterman, Nir [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
122.
|
Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil. by
- Csuhaj-Varjú, Erzsébet [editor.]
- Gheorghe, Marian [editor.]
- Rozenberg, Grzegorz [editor.]
- Salomaa, Arto [editor.]
- Vaszil, György [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7762
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
123.
|
System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein. by
- Haugen, Øystein [editor.]
- Reed, Rick [editor.]
- Gotzhein, Reinhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7744
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
124.
|
Graph Drawing [electronic resource] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / edited by Walter Didimo, Maurizio Patrignani. by
- Didimo, Walter [editor.]
- Patrignani, Maurizio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7704
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
125.
|
Emerging Trends in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers / edited by Takashi Washio, Jun Luo. by
- Washio, Takashi [editor.]
- Luo, Jun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7769
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
126.
|
Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore. by
- Tribastone, Mirco [editor.]
- Gilmore, Stephen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7587
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
127.
|
|
|
128.
|
Applied Parallel and Scientific Computing [electronic resource] : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers / edited by Pekka Manninen, Per Öster. by
- Manninen, Pekka [editor.]
- Öster, Per [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7782
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
129.
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, José Gabriel de Figueiredo Coutinho, Pedro C. Diniz. by
- Brisk, Philip [editor.]
- Figueiredo Coutinho, José Gabriel de [editor.]
- Diniz, Pedro C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7806
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
130.
|
|
|
131.
|
Information and Communication Technology [electronic resource] : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings / edited by Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You. by
- Mustofa, Khabib [editor.]
- Neuhold, Erich J [editor.]
- Tjoa, A Min [editor.]
- Weippl, Edgar [editor.]
- You, Ilsun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7804
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
132.
|
Graphics Recognition. New Trends and Challenges [electronic resource] : 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers / edited by Young-Bin Kwon, Jean-Marc Ogier. by
- Kwon, Young-Bin [editor.]
- Ogier, Jean-Marc [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7423
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
133.
|
Principles of Security and Trust [electronic resource] : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by David Basin, John C. Mitchell. by
- Basin, David [editor.]
- Mitchell, John C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7796
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
134.
|
|
|
135.
|
|
|
136.
|
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer. by
- Caragiannis, Ioannis [editor.]
- Alexander, Michael [editor.]
- Badia, Rosa Maria [editor.]
- Cannataro, Mario [editor.]
- Costan, Alexandru [editor.]
- Danelutto, Marco [editor.]
- Desprez, Frédéric [editor.]
- Krammer, Bettina [editor.]
- Sahuquillo, Julio [editor.]
- Scott, Stephen L [editor.]
- Weidendorfer, Josef [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7640
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
137.
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Penousal Machado, James McDermott, Adrian Carballal. by
- Machado, Penousal [editor.]
- McDermott, James [editor.]
- Carballal, Adrian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7834
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
138.
|
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young. by
- Camara, Oscar [editor.]
- Mansi, Tommaso [editor.]
- Pop, Mihaela [editor.]
- Rhode, Kawal [editor.]
- Sermesant, Maxime [editor.]
- Young, Alistair [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7746
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
139.
|
|
|
140.
|
Advances in Information Retrieval [electronic resource] : 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings / edited by Pavel Serdyukov, Pavel Braslavski, Sergei O. Kuznetsov, Jaap Kamps, Stefan Rüger, Eugene Agichtein, Ilya Segalovich, Emine Yilmaz. by
- Serdyukov, Pavel [editor.]
- Braslavski, Pavel [editor.]
- Kuznetsov, Sergei O [editor.]
- Kamps, Jaap [editor.]
- Rüger, Stefan [editor.]
- Agichtein, Eugene [editor.]
- Segalovich, Ilya [editor.]
- Yilmaz, Emine [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7814
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|