|
|
1961.
|
Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling.
by Jeusfeld, Manfred | Delcambre, Lois | Ling, Tok-Wang | 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
|
|
|
1962.
|
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.
by Barthe, Gilles | Pardo, Alberto | Schneider, Gerardo | 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
|
|
|
1963.
|
Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas.
by Thomas, Nigel | 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
|
|
|
1964.
|
Towards a Service-Based Internet [electronic resource] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings / edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière.
by Abramowicz, Witold | Llorente, Ignacio M | Surridge, Mike | Zisman, Andrea | Vayssière, Julien | 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
|
|
|
1965.
|
Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / edited by Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs.
by Brafman, Ronen I | Roberts, Fred S | Tsoukiàs, Alexis | 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
|
|
|
1966.
|
Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
by Kuich, Werner | Rahonis, George | 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
|
|
|
1967.
|
Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara.
by Olken, Frank | Palmirani, Monica | Sottara, Davide | 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
|
|
|
1968.
|
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.
by Agha, Gul | Danvy, Olivier | Meseguer, José | 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
|
|
|
1969.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso | Morgan, Carroll | 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
|
|
|
1970.
|
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang.
by Yang, Hongseok | 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
|
|
|
1971.
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre | Shao, Zhong | 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
|
|
|
1972.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy.
by Panigrahi, Bijaya Ketan | Suganthan, Ponnuthurai Nagaratnam | Das, Swagatam | Satapathy, Suresh Chandra | 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
|
|
|
1973.
|
Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang.
by Kim, Tai-hoon | Adeli, Hojjat | Kim, Haeng-kon | Kang, Heau-jo | Kim, Kyung Jung | Kiumi, Akingbehin | Kang, Byeong-Ho | 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
|
|
|
1974.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy.
by Panigrahi, Bijaya Ketan | Suganthan, Ponnuthurai Nagaratnam | Das, Swagatam | Satapathy, Suresh Chandra | 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
|
|
|
1975.
|
Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II / edited by Chunfeng Liu, Jincai Chang, Aimin Yang.
by Liu, Chunfeng | Chang, Jincai | Yang, Aimin | 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
|
|
|
1976.
|
Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I / edited by Chunfeng Liu, Jincai Chang, Aimin Yang.
by Liu, Chunfeng | Chang, Jincai | Yang, Aimin | 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
|
|
|
1977.
|
Service Engineering [electronic resource] : European Research Results / by Schahram Dustdar, Fei Li.
by Dustdar, Schahram | Li, Fei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2011Online access: Click here to access online Availability: No items available
|
|
|
1978.
|
Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch.
by Unland, Rainer | Calisti, Monique | Klusch, Matthias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
|
|
1979.
|
Ontologies for Agents: Theory and Experiences [electronic resource] / edited by Valentina Tamma, Stephen Cranefield, Timothy W. Finin, Steven Willmott.
by Tamma, Valentina | Cranefield, Stephen | Finin, Timothy W | Willmott, Steven | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
|
|
1980.
|
Applications of Agent Technology in Traffic and Transportation [electronic resource] / edited by Franziska Klügl, Ana Bazzan, Sascha Ossowski.
by Klügl, Franziska | Bazzan, Ana | Ossowski, Sascha | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
