Results
|
151.
|
|
|
152.
|
|
|
153.
|
|
|
154.
|
|
|
155.
|
|
|
156.
|
|
|
157.
|
|
|
158.
|
|
|
159.
|
|
|
160.
|
|
|
161.
|
|
|
162.
|
|
|
163.
|
Engineering Secure Software and Systems electronic resource 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova. by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [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 :
|
|
164.
|
|
|
165.
|
|
|
166.
|
|
|
167.
|
|
|
168.
|
|
|
169.
|
|
|
170.
|
|
|
171.
|
|
|
172.
|
|
|
173.
|
|
|
174.
|
Spatial Information Theory Электронный ресурс International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings edited by Anthony G. Cohn, David M. Mark. by Cohn, Anthony G | Mark, David 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
175.
|
Conceptual Modeling - ER 2006 Электронный ресурс 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings edited by David W. Embley, Antoni Olivé, Sudha Ram. by Embley, David W | Olivé, Antoni | Ram, Sudha | 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 :
|
|
176.
|
Formal Methods and Software Engineering Электронный ресурс 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings. by Butler, Michael | Hinchey, Michael G | Larrondo-Petrie, María 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 :
|
|
177.
|
Software Process Improvement Электронный ресурс 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. O’Connor, Nathan Baddoo, Kari Smolander, Richard Messnarz. by O’Connor, Rory V | Baddoo, Nathan | Messnarz, Richard | Smolander, Kari | 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 :
|
|
178.
|
|
|
179.
|
Verified Software: Theories, Tools, Experiments Электронный ресурс Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 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, Natarajan Shankar, Jim Woodcock. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Shankar, Natarajan | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Woodcock, Jim | 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 :
|
|
180.
|
Languages and Compilers for Parallel Computing Электронный ресурс 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / 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, José Nelson Amaral. by Hutchison, David | Amaral, José Nelson | 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 | 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 :
|
|
181.
|
|
|
182.
|
|
|
183.
|
|
|
184.
|
|
|
185.
|
|
|
186.
|
|
|
187.
|
|
|
188.
|
|
|
189.
|
|
|
190.
|
|
|
191.
|
Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Norbert Streitz, Constantine Stephanidis. by Streitz, Norbert [editor.] | Stephanidis, Constantine [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, 2013Online access: Click here to access online Availability: No items available :
|
|
192.
|
|
|
193.
|
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Joan Cabestany. by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Cabestany, Joan [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, 2013Online access: Click here to access online Availability: No items available :
|
|
194.
|
|
|
195.
|
|
|
196.
|
Formal Aspects in Security and Trust Электронный ресурс IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli. by Dimitrakos, Theo | Martinelli, Fabio | 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 :
|
|
197.
|
|
|
198.
|
|
|
199.
|
|
|
200.
|
Engineering Theories of Software Intensive Systems Электронный ресурс Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred | Grünbauer, Johannes | Harel, David | Hoare, Tony | SpringerLink (Online service). Series: NATO Science Series, Series II: Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
|