Results
|
|
661.
|
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.
|
|
|
662.
|
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.
|
|
|
663.
|
S-BPM ONE - Running Processes [electronic resource] : 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings / edited by Herbert Fischer, Josef Schneeberger. by
- Fischer, Herbert [editor.]
- Schneeberger, Josef [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 360
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.
|
|
|
664.
|
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.
|
|
|
665.
|
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.
|
|
|
666.
|
|
|
|
667.
|
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.
|
|
|
668.
|
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.
|
|
|
669.
|
|
|
|
670.
|
Personal Satellite Services [electronic resource] : 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers / edited by Prashant Pillai, Rajeev Shorey, Erina Ferro. by
- Pillai, Prashant [editor.]
- Shorey, Rajeev [editor.]
- Ferro, Erina [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 52
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.
|
|
|
671.
|
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.
|
|
|
672.
|
|
|
|
673.
|
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.
|
|
|
674.
|
|
|
|
675.
|
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.
|
|
|
676.
|
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.
|
|
|
677.
|
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.
|
|
|
678.
|
Security and Privacy in Communication Networks [electronic resource] : 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers / edited by Angelos D. Keromytis, Roberto Di Pietro. by
- Keromytis, Angelos D [editor.]
- Pietro, Roberto Di [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 106
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.
|
|
|
679.
|
|
|
|
680.
|
|
