|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
Information Security Practice and Experience Электронный ресурс 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings / edited by Liqun Chen, Yi Mu, Willy Susilo. by Chen, Liqun | Mu, Yi | Susilo, Willy | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
55.
|
Advances in Web and Network Technologies, and Information Management Электронный ресурс APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007. Proceedings / edited b by Chang, Kevin Chen-Chuan | Chen, Lei | Ellis, Clarence A | Hsu, Ching-Hsien | Tsoi, Ah Chung | Wang, Haixun | Wang, Wei | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
56.
|
Optical Network Design and Modeling Электронный ресурс 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings / edited by Ioannis Tomkos, Fabio Neri, Josep Solé Pareta, Xavier Masip Bruin et al. by Tomkos, Ioannis | Masip Bruin, Xavier | Neri, Fabio | Sánchez Lopez, Sergi | Solé Pareta, Josep | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
57.
|
Computational Science - ICCS 2007 Электронный ресурс 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. by Shi, Yong | Albada, Geert Dick van | Dongarra, Jack | Sloot, Peter M. A | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
58.
|
Security and Privacy in Ad-hoc and Sensor Networks Электронный ресурс 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings / edited by Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore. by Stajano, Frank | Capkun, Srdjan | Meadows, Catherine | Moore, Tyler | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
59.
|
Data and Applications Security XXI Электронный ресурс 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn. by Barker, Steve | Ahn, Gail-Joon | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
60.
|
|
|
61.
|
Foundations of Augmented Cognition Электронный ресурс Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Dylan D. Schmorrow, Leah M. Reeves. by Schmorrow, Dylan D | Reeves, Leah M | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
62.
|
|
|
63.
|
Testing of Software and Communicating Systems Электронный ресурс 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko by Petrenko, Alexandre F | Grieskamp, Wolfgang | Tretmans, Jan | Veanes, Margus | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
64.
|
Enterprise Architecture Электронный ресурс Creating Value by Informed Governance / by Martin Op ’t Land, Erik Proper, Maarten Waage, Jeroen Cloo, Claudia Steghuis ; edited by Jan Dietz, Erik Proper, José Tribolet, Terry Halpin, Jan Hoogervorst, Martin Op ’t Land, Ronald G. Ross, Robert Winter. by Op ’t Land, Martin | Cloo, Jeroen | Dietz, Jan | Halpin, Terry | Hoogervorst, Jan | Op ’t Land, Martin | Proper, Erik | Ross, Ronald G | Steghuis, Claudia | Tribolet, José | Waage, Maarten | Winter, Robert | SpringerLink (Online service). Series: The Enterprise Engineering SeriesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
65.
|
Requirements Engineering: Foundation for Software Quality Электронный ресурс 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings / edited by Pete Sawyer, Barbara Paech, Patrick Heymans. by Sawyer, Pete | Heymans, Patrick | Paech, Barbara | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
66.
|
Model-Based Software and Data Integration Электронный ресурс First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / edited by Ralf-Detlef Kutsche, Nikola Milanovic. by Kutsche, Ralf-Detlef | Milanovic, Nikola | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
67.
|
|
|
68.
|
|
|
69.
|
Information Theoretic Security Электронный ресурс Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Reihaneh Safavi-Naini. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Safavi-Naini, Reihaneh | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
70.
|
Conceptual Modeling - ER 2007 Электронный ресурс 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings. by Parent, Christine | Schewe, Klaus-Dieter | Storey, Veda C | Thalheim, Bernhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
71.
|
Enterprise Information Systems Электронный ресурс 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers / edited by Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro. by Manolopoulos, Yannis | Constantopoulos, Panos | Cordeiro, José | Filipe, Joaquim | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
72.
|
Agent-Oriented Information Systems IV Электронный ресурс 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers / edited by Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya K. Ghose, Paolo Bresciani. by Kolp, Manuel | Bresciani, Paolo | Garcia, Alessandro | Ghose, Aditya K | Henderson-Sellers, Brian | Mouratidis, Haralambos | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
73.
|
Entertainment Computing – ICEC 2007 Электронный ресурс 6th International Conference, Shanghai, China, September 15-17, 2007. Proceedings / edited by Lizhuang Ma, Matthias Rauterberg, Ryohei Nakatsu. by Ma, Lizhuang | Nakatsu, Ryohei | Rauterberg, Matthias | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
74.
|
|
|
75.
|
|
|
76.
|
Advances in Visual Information Systems Электронный ресурс 9th International Conference, VISUAL 2007 Shanghai, China, June 28-29, 2007 Revised Selected Papers / edited by Guoping Qiu, Clement Leung, Xiangyang Xue, Robert Laurini. by Qiu, Guoping | Laurini, Robert | Leung, Clement | Xue, Xiangyang | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
77.
|
Service-Oriented Computing ICSOC 2006 Электронный ресурс 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings / edited by Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, Geo by Georgakopoulos, Dimitrios | Benatallah, Boualem | Feuerlicht, George | Motahari-Nezhad, Hamid R | Ritter, Norbert | Schoenherr, Marten | Zirpins, Christian | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
78.
|
Security Protocols Электронный ресурс 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
79.
|
Computer Security - ESORICS 2008 Электронный ресурс 13th European Symposium on Research in Computer Security, MГЎlaga, Spain, October 6-8, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sushil Jajodia, Javier Lopez. by Hutchison, David | Jajodia, Sushil | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Lopez, Javier | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
80.
|
Fun and Games Электронный ресурс Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Panos Markopoulos, Boris Ruyter, Wijnand IJsselsteijn, Duncan Rowland. by Hutchison, David | IJsselsteijn, Wijnand | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Markopoulos, Panos | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Rowland, Duncan | Ruyter, Boris | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
81.
|
On the Move to Meaningful Internet Systems: OTM 2008 Электронный ресурс OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Meersman, Zahir Tari. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Meersman, Robert | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Tari, Zahir | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
82.
|
|
|
83.
|
Advances in Multimedia Information Processing – PCM 2007 Электронный ресурс 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007. Proceedings / edited by Horace H.-S. Ip, Oscar C. Au, Howard Leung, Ming-Ting Sun, Wei-Ying Ma, Shi-Min Hu. by Ip, Horace H.-S | Au, Oscar C | Hu, Shi-Min | Leung, Howard | Ma, Wei-Ying | Sun, Ming-Ting | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
84.
|
Negotiation, Auctions, and Market Engineering Электронный ресурс International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers / edited by Henner Gimpel, Nicholas R. Jennings, Gregory E. Kersten, Axel Ockenfels, Christof Weinhardt. by Gimpel, Henner | Jennings, Nicholas R | Kersten, Gregory E | Ockenfels, Axel | Weinhardt, Christof | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
85.
|
|
|
86.
|
Database Systems for Advanced Applications Электронный ресурс 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings / edited by Jayant R. Haritsa, Ramamohanarao Kotagiri, Vikram Pudi. by Haritsa, Jayant R | Kotagiri, Ramamohanarao | Pudi, Vikram | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
87.
|
|
|
88.
|
Semantic Multimedia Электронный ресурс Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Duke, Lynda Hardman, Alex Hauptmann, Dietrich Paulus, Steffen Staab. by Hutchison, David | Duke, David | Hardman, Lynda | Hauptmann, Alex | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Paulus, Dietrich | Staab, Steffen | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
89.
|
Multiagent System Technologies Электронный ресурс 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pěchouček, by Carbonell, Jaime G | Bergmann, Ralph | Kirn, Stefan | Lindemann, Gabriela | Pěchouček, Michal | Siekmann, Jörg | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
90.
|
Recent Advances in Reinforcement Learning Электронный ресурс 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Sertan Girgin, Manuel Loth, Rémi Munos, Philippe Preux, Daniil Ryabko. by Carbonell, Jaime G | Girgin, Sertan | Loth, Manuel | Munos, Rémi | Preux, Philippe | Ryabko, Daniil | Siekmann, Jörg | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
91.
|
Embedded and Ubiquitous Computing Электронный ресурс International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T. Yang, Zili Shao. by Kuo, Tei-Wei | Guo, Minyi | Sha, Edwin | Shao, Zili | Yang, Laurence T | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
92.
|
|
|
93.
|
Discovery Science Электронный ресурс 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Jean-François Boulicaut, Michael R. Berthold, Tamás Horváth by Carbonell, Jaime G | Berthold, Michael R | Boulicaut, Jean-François | Horváth, Tamás | Siekmann, Jörg | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
94.
|
Digital Libraries: Research and Development Электронный ресурс First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers / edited by Costantino Thanos, Francesca Borri, Leonardo Candela. by Thanos, Costantino | Borri, Francesca | Candela, Leonardo | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
95.
|
|
|
96.
|
FM 2006: Formal Methods Электронный ресурс 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev | Nipkow, Tobias | Sekerinski, Emil | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
97.
|
|
|
98.
|
|
|
99.
|
FM 2005: Formal Methods Электронный ресурс International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John | Hayes, Ian J | Tarlecki, Andrzej | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
100.
|
Wireless Algorithms, Systems, and Applications Электронный ресурс First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen | Li, Wei | Znati, Taieb | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|