|
|
5261.
|
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang.
by Graf, Susanne | Zhang, Wenhui | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5262.
|
Computer and Information Sciences – ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings / edited by Albert Levi, Erkay Savaş, Hüsnü Yenigün, Selim Balcısoy, Yücel Saygın.
by Levi, Albert | Savaş, Erkay | Yenigün, Hüsnü | Balcısoy, Selim | Saygın, Yücel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5263.
|
Progress in Understanding of Polymer Crystallization [electronic resource] / edited by Günter Reiter, Gert R. Strobl.
by Reiter, Günter | Strobl, Gert R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5264.
|
Understanding Autonomous Cooperation and Control in Logistics [electronic resource] : The Impact of Autonomy on Management, Information, Communication and Material Flow / edited by Michael Hülsmann, Katja Windt.
by Hülsmann, Michael | Windt, Katja | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5265.
|
Liquid Separations with Membranes [electronic resource] : An introduction to barrier interference / by Karl Wilhelm Böddeker.
by Böddeker, Karl Wilhelm | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
5266.
|
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He.
by Liu, Zhiming | He, Jifeng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5267.
|
Artificial Intelligence in Recognition and Classification of Astrophysical and Medical Images [electronic resource] / edited by Valentina Zharkova, Lakhmi C. Jain.
by Zharkova, Valentina | Jain, Lakhmi C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5268.
|
Advanced Computational Intelligence Paradigms in Healthcare – 1 [electronic resource] / edited by Hiro Yoshida, Ashlesha Jain, Ajita Ichalkaranje, Lakhmi C. Jain, Nikhil Ichalkaranje.
by Yoshida, Hiro | Jain, Ashlesha | Ichalkaranje, Ajita | Jain, Lakhmi C | Ichalkaranje, Nikhil | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5269.
|
Boundary Element Analysis [electronic resource] : Mathematical Aspects and Applications / edited by Martin Schanz, Olaf Steinbach.
by Schanz, Martin | Steinbach, Olaf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5270.
|
Traffic and Granular Flow’05 [electronic resource] / edited by Andreas Schadschneider, Thorsten Pöschel, Reinhart Kühne, Michael Schreckenberg, Dietrich E. Wolf.
by Schadschneider, Andreas | Pöschel, Thorsten | Kühne, Reinhart | Schreckenberg, Michael | Wolf, Dietrich E | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5271.
|
Autonomic Management of Mobile Multimedia Services [electronic resource] : 9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006. Proceedings / edited by Ahmed Helmy, Brendan Jennings, Liam Murphy, Tom Pfeifer.
by Helmy, Ahmed | Jennings, Brendan | Murphy, Liam | Pfeifer, Tom | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5272.
|
Software Process Improvement [electronic resource] : 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings / edited by Ita Richardson, Per Runeson, Richard Messnarz.
by Richardson, Ita | Runeson, Per | Messnarz, Richard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5273.
|
Autonomic Principles of IP Operations and Management [electronic resource] : 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings / edited by Gerard Parr, David Malone, Mícheál Ó Foghlú.
by Parr, Gerard | Malone, David | Ó Foghlú, Mícheál | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5274.
|
Multi-Agent Systems and Applications [electronic resource] : 9th ECCAI Advanced Course, ACAI 2001 and Agent Link’s 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2–13, 2001 Selected Tutorial Papers / edited by Michael Luck, Vladimír Mařík, Olga Štěpánková, Robert Trappl.
by Luck, Michael | Mařík, Vladimír | Štěpánková, Olga | Trappl, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5275.
|
Communications and Multimedia Security [electronic resource] : 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006. Proceedings / edited by Herbert Leitold, Evangelos P. Markatos.
by Leitold, Herbert | Markatos, Evangelos P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5276.
|
Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings / edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Maarten Wegdam.
by Havinga, Paul | Lijding, Maria | Meratnia, Nirvana | Wegdam, Maarten | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5277.
|
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings / edited by Hans P. Zima, Kazuki Joe, Mitsuhisa Sato, Yoshiki Seo, Masaaki Shimasaki.
by Zima, Hans P | Joe, Kazuki | Sato, Mitsuhisa | Seo, Yoshiki | Shimasaki, Masaaki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5278.
|
NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications [electronic resource] : Second International IFIP-TC6 Networking Conference Pisa, Italy, May 19–24, 2002 Proceedings / edited by Enrico Gregori, Marco Conti, Andrew T. Campbell, Guy Omidyar, Moshe Zukerman.
by Gregori, Enrico | Conti, Marco | Campbell, Andrew T | Omidyar, Guy | Zukerman, Moshe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5279.
|
Software Quality — ECSQ 2002 [electronic resource] : Quality Connection — 7th European Conference on Software Quality Helsinki, Finland, June 9–13, 2002 Proceedings / edited by Jyrki Kontio, Reidar Conradi.
by Kontio, Jyrki | Conradi, Reidar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5280.
|
ECOOP 2002 — Object-Oriented Programming [electronic resource] : 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings / edited by Boris Magnusson.
by Magnusson, Boris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
