|
1.
|
|
|
2.
|
Current Trends in Web Engineering electronic resource 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers / edited by Florian Daniel, Oscar Diaz. by Daniel, Florian [editor.] | Diaz, Oscar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
|
|
3.
|
Formal Methods for Components and Objects (vol. # 3657) Электронный ресурс Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures edited by Marcello M. Bonsangue, Frank S. de Boer, Willem- by Bonsangue, Marcello M | de Boer, Frank S | de Roever, Willem-Paul | Graf, Susanne | 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 :
|
|
4.
|
Formal Methods for Components and Objects Электронный ресурс 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul | 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 :
|
|
5.
|
Formal Methods for Components and Objects Электронный ресурс 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / 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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Hutchison, David | Boer, Frank S | Bonsangue, Marcello M | Graf, Susanne | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Roever, Willem-Paul | 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 :
|
|
6.
|
Formal Methods for Components and Objects (vol. # 4111) Электронный ресурс 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susann by de Boer, Frank S | Bonsangue, Marcello M | de Roever, Willem-Paul | Graf, Susanne | 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 :
|
|
7.
|
Integrated Formal Methods Электронный ресурс 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol. by Romijn, Judi M. T | Smith, Graeme P | Van de Pol, Jaco C | 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 :
|
|
8.
|
Agent Communication II Электронный ресурс International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores. by Carbonell, Jaime G | Dignum, Frank P. M | Eijk, Rogier M | Flores, Roberto | 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, 2006Online access: Click here to access online Availability: No items available :
|
|
9.
|
Product-Focused Software Process Improvement Электронный ресурс 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings edited by Jürgen Münch, Matias Vierimaa. by Münch, Jürgen | Vierimaa, Matias | 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 :
|
|
10.
|
Defence Applications of Multi-Agent Systems Электронный ресурс International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G | Ghanea-Hercock, Robert | 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 :
|
|
11.
|
Computer Safety, Reliability, and Security electronic resource SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
|
|
12.
|
Programming Multi-Agent Systems (vol. # 3862) Электронный ресурс Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal by Bordini, Rafael H | Dastani, Mehdi | Dix, Jürgen | Seghrouchni, Amal El Fallah | 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 :
|
|
13.
|
Declarative Agent Languages and Technologies III Электронный ресурс Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Pao by Baldoni, Matteo | Endriss, Ulle | Omicini, Andrea | Torroni, Paolo | 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 :
|
|
14.
|
|
|
15.
|
Enterprise Interoperability [electronic resource] : 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings / edited by Marten Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems. by Sinderen, Marten [editor.] | Oude Luttighuis, Paul [editor.] | Folmer, Erwin [editor.] | Bosems, Steven [editor.] | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: 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 :
|
|
16.
|
Advances in Grid Computing - EGC 2005 Электронный ресурс European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. Bubak, Alfons G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, Marian | Hoekstra, Alfons G | Priol, Thierry | Reinefeld, Alexander | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
17.
|
Wireless Sensor Networks Электронный ресурс 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt. by Langendoen, Koen | Voigt, Thiemo | 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 :
|
|
18.
|
|
|
19.
|
Model Driven Architecture Электронный ресурс European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and LinkГ¶ping, Sweden, June 10-11, 2004, Revised Selected Papers edi by Aksit, Mehmet | Assmann, Uwe | Rensink, Arend | 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.
|
Engineering Self-Organising Systems (vol. # 3910) Электронный ресурс Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers edited by Sven A. Brueckner, Giovanna Di Marzo Serugendo, Davi by Brueckner, Sven A | Di Marzo Serugendo, Giovanna | Hales, David | 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 :
|
|
21.
|
Advances in Computer Games electronic resource 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters. by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
|
|
22.
|
Service-Oriented Computing - ICSOC 2005 Электронный ресурс Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings edited by Boualem Benatallah, Fabio Casati, Paolo Traverso. by Benatallah, Boualem | Casati, Fabio | Traverso, Paolo | 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.
|
Computational Logistics electronic resource 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Francesco Corman, Stefan Voß, Rudy R. Negenborn. by Corman, Francesco [editor.] | Voß, Stefan [editor.] | Negenborn, Rudy R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
|
|
24.
|
Cyber Physical Systems. Design, Modeling, and Evaluation electronic resource 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger. by Mousavi, Mohammad Reza [editor.] | Berger, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
|
|
25.
|
Engineering the Web in the Big Data Era electronic resource 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings / edited by Philipp Cimiano, Flavius Frasincar, Geert-Jan Houben, Daniel Schwabe. by Cimiano, Philipp [editor.] | Frasincar, Flavius [editor.] | Houben, Geert-Jan [editor.] | Schwabe, Daniel [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 :
|
|
26.
|
Computer Safety, Reliability, and Security electronic resource 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
|
|
27.
|
Smart Sensing and Context Электронный ресурс First European Conference, EuroSSC 2006, Enschede, Netherlands, October 25-27, 2006, Proceedings edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Wegdam Maarten. by Havinga, Paul | Lijding, Maria | Maarten, Wegdam | Meratnia, Nirvana | 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 :
|
|
28.
|
Dependable and Adaptable Networks and Services Электронный ресурс 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings / edited by Aiko Pras, Marten Sinderen. by Pras, Aiko | Sinderen, Marten | 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 :
|
|
29.
|
Radio Frequency Identification. Security and Privacy Issues [electronic resource] : 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers / edited by Jaap-Henk Hoepman, Ingrid Verbauwhede. by Hoepman, Jaap-Henk [editor.] | Verbauwhede, Ingrid [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 :
|
|
30.
|
Persuasive Technology Электронный ресурс First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006, Proceedings edited by Wijnand IJsselsteijnYvonne de Kort by IJsselsteijn, Wijnand | de Kort, Yvonne | Eggen, Berry | Midden, Cees | Van den Hoven, Elise | 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.
|
|
|
32.
|
|
|
33.
|
|
|
34.
|
|
|
35.
|
ECCOMAS Multidisciplinary Jubilee Symposium Электронный ресурс New Computational Challenges in Materials, Structures, and Fluids / edited by E. Ôate, Josef Eberhardsteiner, Christian Hellmich, Herbert A. Mang, Jacques Périaux by Ôate, E | Eberhardsteiner, Josef | Hellmich, Christian | Mang, Herbert A | Périaux, Jacques | SpringerLink (Online service). Series: Computational Methods in Applied SciencesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
|
|
36.
|
|
|
37.
|
|
|
38.
|
|
|
39.
|
Nonlinear Targeted Energy Transfer in Mechanical and Structural Systems Электронный ресурс by A. F. Vakakis, O. V. Gendelman, L. A. Bergman, D. M. McFarland, G. Kerschen, Y. S. Lee ; edited by G. M. L. Gladwell. by Vakakis, A. F | Bergman, Lawrence A | Gendelman, O. V | Gladwell, G. M. L | Kerschen, G | Lee, Y. S | McFarland, D. M | SpringerLink (Online service). Series: Solid Mechanics and Its ApplicationsSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
|
|
40.
|
|
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
|