|
251.
|
|
|
252.
|
|
|
253.
|
SDL 2005: Model Driven Электронный ресурс 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings edited by Andreas Prinz, Rick Reed, Jeanne Reed. by Prinz, Andreas | Reed, Jeanne | Reed, Rick | 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 :
|
|
254.
|
|
|
255.
|
|
|
256.
|
|
|
257.
|
|
|
258.
|
|
|
259.
|
Computer Aided Verification electronic resource 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem. by Biere, Armin [editor.] | Bloem, Roderick [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, 2014Online access: Click here to access online Availability: No items available :
|
|
260.
|
|
|
261.
|
|
|
262.
|
Algorithms and Architectures for Parallel Processing Электронный ресурс 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Jin, Hai | Pan, Yi | Prasanna, Viktor K | Rana, Omer F | 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 :
|
|
263.
|
Principles of Distributed Systems Электронный ресурс 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 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, Theodore P. Baker, Alain Bui, Sébastien Tixeuil. by Hutchison, David | Baker, Theodore P | Bui, Alain | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tixeuil, Sébastien | 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 :
|
|
264.
|
|
|
265.
|
|
|
266.
|
|
|
267.
|
|
|
268.
|
|
|
269.
|
|
|
270.
|
|
|
271.
|
A Classical Introduction to Cryptography Exercise Book Электронный ресурс by Thomas Baignères, Yi Lu, Serge Vaudenay, Pascal Junod, Jean Monnerat. by Baignères, Thomas | Junod, Pascal | Lu, Yi | Monnerat, Jean | Vaudenay, Serge | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available :
|
|
272.
|
Wireless Sensor and Actor Networks Электронный ресурс IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN’07, Albacete, Spain, September 24–26, 2007 / edited by Luis Orozco-Barbosa, Teresa Olivares, Rafael Casado, Aurelio BermГєdez. by Orozco-Barbosa, Luis | BermГєdez, Aurelio | Casado, Rafael | Olivares, Teresa | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2007Online access: Click here to access online Availability: No items available :
|
|
273.
|
|
|
274.
|
|
|
275.
|
|
|
276.
|
|
|
277.
|
|
|
278.
|
|
|
279.
|
|
|
280.
|
|
|
281.
|
Network Control and Engineering for QoS, Security and Mobility, IV Электронный ресурс Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14–18, 2005 / edited by Dominique Gaïti. by Gaïti, Dominique | SpringerLink (Online service). Series: IFIP — The International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2007Online access: Click here to access online Availability: No items available :
|
|
282.
|
|
|
283.
|
|
|
284.
|
|
|
285.
|
|
|
286.
|
|
|
287.
|
|
|
288.
|
|
|
289.
|
The Transfer and Diffusion of Information Technology for Organizational Resilience Электронный ресурс IFIP TC8 WG 8.6 International Working Conference, June 7–10, 2006, Galway, Ireland / edited by Brian Donnellan, Tor J. Larsen, Linda Levine, Janice I. DeGross. by Donnellan, Brian | DeGross, Janice I | Larsen, Tor J | Levine, Linda | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Click here to access online Availability: No items available :
|
|
290.
|
Advances in Digital Forensics Электронный ресурс IFIP International Conference on Digital Forensics, National Center for Forensic Science, Orlando, Florida, February 13–16, 2005 / edited by Mark Pollitt, Sujeet Shenoi. by Pollitt, Mark | Shenoi, Sujeet | SpringerLink (Online service). Series: IFIP — The International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: No items available :
|
|
291.
|
|
|
292.
|
Network Control and Engineering for QoS, Security and Mobility, III Электронный ресурс IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain / edited by Dominique Gaïti, Sebastià Galmés, Ramon Puigjaner. by Gaïti, Dominique | Galmés, Sebastià | Puigjaner, Ramon | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: No items available :
|
|
293.
|
Mobile and Wireless Communication Networks Электронный ресурс IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004) October 25–27, 2004, Paris, France / edited by Elizabeth M. Belding-Royer, Khaldoun Agha, Guy Pujolle. by Belding-Royer, Elizabeth M | Al Agha, Khaldoun | Pujolle, Guy | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: No items available :
|
|
294.
|
|
|
295.
|
|
|
296.
|
|
|
297.
|
|
|
298.
|
Hydraulically Actuated Hexapod Robots electronic resource Design, Implementation and Control / by Kenzo Nonami, Ranjit Kumar Barai, Addie Irawan, Mohd Razali Daud. by Nonami, Kenzo [author.] | Barai, Ranjit Kumar [author.] | Irawan, Addie [author.] | Daud, Mohd Razali [author.] | SpringerLink (Online service). Series: Intelligent Systems, Control and Automation: Science and EngineeringSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Tokyo : Springer Japan : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
299.
|
Advanced Computer Architecture electronic resource 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings / edited by Junjie Wu, Haibo Chen, Xingwei Wang. by Wu, Junjie [editor.] | Chen, Haibo [editor.] | Wang, Xingwei [editor.] | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
300.
|
Network and Parallel Computing electronic resource 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedings / edited by Ching-Hsien Hsu, Xuanhua Shi, Valentina Salapura. by Hsu, Ching-Hsien [editor.] | Shi, Xuanhua [editor.] | Salapura, Valentina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|