|
1341.
|
Enterprise Interoperability [electronic resource] : Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings / edited by Raúl Poler, Marten Sinderen, Raquel Sanchis.
by Poler, Raúl | Sinderen, Marten | Sanchis, Raquel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1342.
|
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn.
by Liu, Zhiming | Ravn, Anders P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1343.
|
Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira.
by Laender, Alberto H. F | Castano, Silvana | Dayal, Umeshwar | Casati, Fabio | Oliveira, José Palazzo M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1344.
|
Nano-Net [electronic resource] : 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings / edited by Alexandre Schmid, Sanjay Goel, Wei Wang, Valeriu Beiu, Sandro Carrara.
by Schmid, Alexandre | Goel, Sanjay | Wang, Wei | Beiu, Valeriu | Carrara, Sandro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1345.
|
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny.
by Jensen, Kurt | Billington, Jonathan | Koutny, Maciej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1346.
|
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira.
by Gibbons, Jeremy | Oliveira, José Nuno | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1347.
|
Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski.
by Kolehmainen, Mikko | Toivanen, Pekka | Beliczynski, Bartlomiej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1348.
|
Next Generation Information Technologies and Systems [electronic resource] : 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers / edited by Yishai A. Feldman, Donald Kraft, Tsvi Kuflik.
by Feldman, Yishai A | Kraft, Donald | Kuflik, Tsvi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1349.
|
Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul.
by Heuser, Carlos Alberto | Pernul, Günther | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1350.
|
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke.
by Governatori, Guido | Hall, John | Paschke, Adrian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1351.
|
Modelling Autonomic Communications Environments [electronic resource] : Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009. Proceedings / edited by John C. Strassner, Yacine M. Ghamri-Doudane.
by Strassner, John C | Ghamri-Doudane, Yacine M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1352.
|
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo.
by Núñez, Manuel | Baker, Paul | Merayo, Mercedes G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1353.
|
Strategic IT Management [electronic resource] : A Toolkit for Enterprise Architecture Management / by Inge Hanschke.
by Hanschke, Inge | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1354.
|
Web Reasoning and Rule Systems [electronic resource] : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings / edited by Axel Polleres, Terrance Swift.
by Polleres, Axel | Swift, Terrance | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1355.
|
Semantic Methods for Execution-level Business Process Modeling [electronic resource] : Modeling Support Through Process Verification and Service Composition / by Ingo M. Weber.
by Weber, Ingo M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1356.
|
FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Ana Cavalcanti, Dennis R. Dams.
by Cavalcanti, Ana | Dams, Dennis R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1357.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / edited by Rachid Guerraoui, Franck Petit.
by Guerraoui, Rachid | Petit, Franck | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1358.
|
Software and Data Technologies [electronic resource] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers / edited by José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert.
by Cordeiro, José | Shishkov, Boris | Ranchordas, AlpeshKumar | Helfert, Markus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1359.
|
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings / edited by Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei.
by Deng, Hepu | Wang, Lanzhou | Wang, Fu Lee | Lei, Jingsheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
1360.
|
Ambient Intelligence [electronic resource] : European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings / edited by Manfred Tscheligi, Boris Ruyter, Panos Markopoulus, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger.
by Tscheligi, Manfred | Ruyter, Boris | Markopoulus, Panos | Wichert, Reiner | Mirlacher, Thomas | Meschterjakov, Alexander | Reitberger, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|