|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
Theory and Applications of Satisfiability Testing - SAT 2008 Электронный ресурс 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao. by Kleine Büning, Hans | Zhao, Xishun | 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 :
|
|
|
6.
|
Systems and Virtualization Management. Standards and New Technologies Электронный ресурс Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service). Series: Communications in Computer and Information 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 :
|
|
|
7.
|
Modelling, Computation and Optimization in Information Systems and Management Sciences Электронный ресурс Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings / edited by Hoai An Le Thi, Pascal Bouvry, Tao Pham Dinh. by Le Thi, Hoai An | Bouvry, Pascal | Pham Dinh, Tao | SpringerLink (Online service). Series: Communications in Computer and Information 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 :
|
|
|
8.
|
Programming Languages and Systems Электронный ресурс 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 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, G. Ramalingam. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Ramalingam, G | 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 :
|
|
|
9.
|
|
|
|
10.
|
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 :
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
Embedded Software and Systems (vol. # 3605) Электронный ресурс First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers edited by Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu. by Bu, Jiajun | Chen, Chun | Guo, Minyi | Wu, Zhaohui | 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 :
|
|
|
14.
|
Distributed Computing - IWDC 2005 Электронный ресурс 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings edited by Arobinda Gupta, Ajay D. Kshemkalyani, Rajeev Kumar, Ajit Pal. by Gupta, Arobinda | Kshemkalyani, Ajay D | Kumar, Rajeev | Pal, Ajit | 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 :
|
|
|
15.
|
Advances in Computer Systems Architecture (vol. # 4186) Электронный ресурс 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings edited by Chris Jesshope, Colin Egan. by Jesshope, Chris | Egan, Colin | 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 :
|
|
|
16.
|
|
|
|
17.
|
Peer-to-Peer Systems IV Электронный ресурс 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers edited by Miguel Castro, Robbert van Renesse. by Castro, Miguel | Van Renesse, Robbert | 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 :
|
|
|
18.
|
Dependable Computing Электронный ресурс Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings edited by Aline Maria Santos Andrade, Flávio Morais de Assis Silva, Carlos Alberto Maziero, João Gabriel Silva by Andrade, Aline Maria Santos | Assis Silva, Flávio Morais de | Maziero, Carlos Alberto | Silva, João Gabriel | 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 :
|
|
|
19.
|
Advances in Computer Systems Architecture (vol. # 3740) Электронный ресурс 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue. by Chang, Chip-Hong | Srikanthan, Thambipillai | Xue, Jingling | 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 :
|
|
|
20.
|
Information Security and Cryptology (vol. # 3822) Электронный ресурс First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings edited by Dengguo Feng, Dongdai Lin, Moti Yung. by Feng, Dengguo | Lin, Dongdai | Yung, Moti | 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 :
|
|
|
21.
|
|
|
|
22.
|
Security in Pervasive Computing (vol. # 3450) Электронный ресурс Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings edited by Dieter Hutter, Markus Ullmann. by Hutter, Dieter | Ullmann, Markus | 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 :
|
|
|
23.
|
|
|
|
24.
|
Advances in Grid and Pervasive Computing Электронный ресурс First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings edited by Yeh-Ching Chung, José E. Moreira. by Chung, Yeh-Ching | Moreira, José E | 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 :
|
|
|
25.
|
|
|
|
26.
|
Formal Techniques for Networked and Distributed Systems - FORTE 2006 Электронный ресурс 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge by Najm, Elie | Donzeau-Gouge, Véronique Viguié | Pradat-Peyre, Jean-Francois | 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 :
|
|
|
27.
|
|
|
|
28.
|
Advanced Environments, Tools, and Applications for Cluster Computing Электронный ресурс NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers / edited by Dan Grigoras, Alex Nicolau, Bernard Toursel, Bertil Folliot. by Grigoras, Dan | Folliot, Bertil | Nicolau, Alex | Toursel, Bernard. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
|
29.
|
Cooperative Design, Visualization, and Engineering (vol. # 4101) Электронный ресурс Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings edited by Yuhua Luo. by Luo, Yuhua | 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 :
|
|
|
30.
|
Fault Diagnosis and Tolerance in Cryptography Электронный ресурс Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings edited by Luca Breveglieri, Israel Koren, David Naccache, Jean-Pierre Seifert. by Breveglieri, Luca | Koren, Israel | Naccache, David | Seifert, Jean-Pierre | 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 :
|
|
|
31.
|
Provenance and Annotation of Data Электронный ресурс International Provenance and Annotation Workshop, IPAW 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Papers edited by Luc Moreau, Ian Foster. by Moreau, Luc | Foster, Ian | 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 :
|
|
|
32.
|
Computer Supported Cooperative Work in Design III Электронный ресурс 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers / edited by Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès, Qi by Shen, Weiming | Barthès, Jean-Paul A | Hao, Qi | Lin, Zongkai | Luo, Junzhou | 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 :
|
|
|
33.
|
Wired (vol. # 3970) Электронный ресурс 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings edited by Thomas Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy. by Braun, Thomas | Carle, Georg | Fahmy, Sonia | Koucheryavy, Yevgeni | 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 :
|
|
|
34.
|
|
|
|
35.
|
|
|
|
36.
|
Selected Areas in Cryptography (vol. # 3897) Электронный ресурс 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers edited by Bart Preneel, Stafford Tavares. by Preneel, Bart | Tavares, Stafford | 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 :
|
|
|
37.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Электронный ресурс Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj by Barthe, Gilles | Gregoire, Benjamin | Huisman, Marieke | Lanet, Jean-Louis | 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 :
|
|
|
38.
|
Distributed Applications and Interoperable Systems Электронный ресурс 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by René Meier, Sotirios Terzis. by Meier, René | Terzis, Sotirios | 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 :
|
|
|
39.
|
Engineering Self-Organising Systems Электронный ресурс 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sven A. Brueckner, Salima Hassas, Márk Jelasity, Daniel Yamins. by Brueckner, Sven A | Hassas, Salima | Jelasity, Márk | Yamins, Daniel | 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 :
|
|
|
40.
|
Distributed Computing in Sensor Systems Электронный ресурс 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / edited by Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Kr by Nikoletseas, Sotiris E | Chlebus, Bogdan S | Johnson, David B | Krishnamachari, Bhaskar | 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 :
|
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
Information Security (vol. # 3650) Электронный ресурс 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings edited by Feng Bao, Robert H. Deng, Javier Lopez, Jianying Zhou. by Bao, Feng | Deng, Robert H | Lopez, Javier | Zhou, Jianying | 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 :
|
|
|
45.
|
Network and Parallel Computing Электронный ресурс IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings edited by Wenbin Jiang, Hai Jin, Daniel Reed. by Jiang, Wenbin | Jin, Hai | Reed, Daniel | 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 :
|
|
|
46.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) Электронный ресурс International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles Barthe by Barthe, Gilles | Burdy, Lilian | Huisman, Marieke | Lanet, Jean-Louis | Muntean, Traian | 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 :
|
|
|
47.
|
Digital Watermarking (vol. # 3304) Электронный ресурс Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers edited by Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee. by Cox, Ingemar J | Kalker, Ton | Lee, Heung-Kyu | 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 :
|
|
|
48.
|
|
|
|
49.
|
Architecture of Computing Systems – ARCS 2015 electronic resource 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte. by Pinho, Luís Miguel Pinho [editor.] | Karl, Wolfgang [editor.] | Cohen, Albert [editor.] | Brinkschulte, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type:  Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
50.
|
Languages and Compilers for Parallel Computing electronic resource 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu. by Brodman, James [editor.] | Tu, Peng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
