|
|
2761.
|
Service-Oriented Computing [electronic resource] : ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers / edited by E. Michael Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato.
by Maximilien, E. Michael [editor.] | Rossi, Gustavo [editor.] | Yuan, Soe-Tsyr [editor.] | Ludwig, Heiko [editor.] | Fantinato, Marcelo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2762.
|
Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns / edited by James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun.
by Noble, James [editor.] | Johnson, Ralph [editor.] | Avgeriou, Paris [editor.] | Harrison, Neil B [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2763.
|
Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / edited by Brian Malloy, Steffen Staab, Mark Brand.
by Malloy, Brian [editor.] | Staab, Steffen [editor.] | Brand, Mark [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2764.
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings / edited by Andreas Koch, Ram Krishnamurthy, John McAllister, Roger Woods, Tarek El-Ghazawi.
by Koch, Andreas [editor.] | Krishnamurthy, Ram [editor.] | McAllister, John [editor.] | Woods, Roger [editor.] | El-Ghazawi, Tarek [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2765.
|
Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz.
by Barner, Sharon [editor.] | Harris, Ian [editor.] | Kroening, Daniel [editor.] | Raz, Orna [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2766.
|
Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan.
by Bravetti, Mario [editor.] | Bultan, Tevfik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2767.
|
Search Computing [electronic resource] : Trends and Developments / edited by Stefano Ceri, Marco Brambilla.
by Ceri, Stefano [editor.] | Brambilla, Marco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2768.
|
Enterprise Interoperability [electronic resource] : Third International IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011. Proceedings / edited by Marten Sinderen, Pontus Johnson.
by Sinderen, Marten [editor.] | Johnson, Pontus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2769.
|
Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe.
by Barthe, Gilles [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2770.
|
Software Architecture [electronic resource] : A Comprehensive Framework and Guide for Practitioners / by Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer.
by Vogel, Oliver [author.] | Arnold, Ingo [author.] | Chughtai, Arif [author.] | Kehrer, Timo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2771.
|
Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal.
by Marchetti-Spaccamela, Alberto [editor.] | Segal, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2772.
|
Communication Technologies for Vehicles [electronic resource] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings / edited by Thomas Strang, Andreas Festag, Alexey Vinel, Rashid Mehmood, Cristina Rico Garcia, Matthias Röckl.
by Strang, Thomas [editor.] | Festag, Andreas [editor.] | Vinel, Alexey [editor.] | Mehmood, Rashid [editor.] | Rico Garcia, Cristina [editor.] | Röckl, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2773.
|
Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann.
by Hofmann, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2774.
|
Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Dimitra Giannakopoulou, Fernando Orejas.
by Giannakopoulou, Dimitra [editor.] | Orejas, Fernando [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2775.
|
Engineering of Software [electronic resource] : The Continuing Contributions of Leon J. Osterweil / edited by Peri L. Tarr, Alexander L. Wolf.
by Tarr, Peri L [editor.] | Wolf, Alexander L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2776.
|
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.
by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2777.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.
by Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2778.
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch.
by Berry, Daniel [editor.] | Franch, Xavier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2779.
|
Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop.
by Knoop, Jens [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2780.
|
Transactions on Computational Collective Intelligence III [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
