|
151.
|
|
|
152.
|
Expert Spring MVC and Web Flow Электронный ресурс by Seth Ladd, Darren Davison, Steven Devijver, Colin Yates. by Ladd, Seth | Davison, Darren | Devijver, Steven | Yates, Colin | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berkeley, CA : Apress, Inc., 2006Online access: Click here to access online Availability: No items available :
|
|
153.
|
|
|
154.
|
|
|
155.
|
|
|
156.
|
|
|
157.
|
Autonomy Oriented Computing Электронный ресурс From Problem Solving to Complex Systems Modeling / by Jiming Liu, Xiaolong Jin, Kwok Ching Tsui. by Liu, Jiming | Jin, Xiaolong | Tsui, Kwok Ching | SpringerLink (Online service). Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book SeriesSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Kluwer Academic Publishers, 2005Online access: Click here to access online Availability: No items available :
|
|
158.
|
|
|
159.
|
|
|
160.
|
|
|
161.
|
|
|
162.
|
|
|
163.
|
|
|
164.
|
|
|
165.
|
|
|
166.
|
NASA Formal Methods electronic resource 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier. by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [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 :
|
|
167.
|
|
|
168.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [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 :
|
|
169.
|
|
|
170.
|
|
|
171.
|
|
|
172.
|
|
|
173.
|
|
|
174.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by Jürjens, Jan [editor.] | Livshits, Benjamin [editor.] | Scandariato, Riccardo [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 :
|
|
175.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Lemos, Rogério [editor.] | Giese, Holger [editor.] | Müller, Hausi A [editor.] | Shaw, Mary [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 :
|
|
176.
|
|
|
177.
|
|
|
178.
|
|
|
179.
|
Game Development Tool Essentials electronic resource by Alessandro Ardolino, Remi Arnaud, Paula Berinstein, Simon Franco, Adrien Herubel, John McCutchan, Nicusor Nedelcu, Benjamin Nitschke, Fabrice Robinet, Christian Ronchi, Gustavo Samour, Rita Turkowski, Robert Walter. by Ardolino, Alessandro [author.] | Arnaud, Remi [author.] | Berinstein, Paula [author.] | Franco, Simon [author.] | Herubel, Adrien [author.] | McCutchan, John [author.] | Nedelcu, Nicusor [author.] | Nitschke, Benjamin [author.] | Robinet, Fabrice [author.] | Ronchi, Christian [author.] | Samour, Gustavo [author.] | Turkowski, Rita [author.] | Walter, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :
|
|
180.
|
|
|
181.
|
|
|
182.
|
Intelligent Computing, Networking, and Informatics electronic resource Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 / edited by Durga Prasad Mohapatra, Srikanta Patnaik. by Mohapatra, Durga Prasad [editor.] | Patnaik, Srikanta [editor.] | SpringerLink (Online service). Series: Advances in Intelligent Systems and ComputingSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: New Delhi : Springer India : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
183.
|
|
|
184.
|
|
|
185.
|
Computer Aided Verification electronic resource 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [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 :
|
|
186.
|
|
|
187.
|
|
|
188.
|
|
|
189.
|
|
|
190.
|
Soft Real-Time Systems Электронный ресурс Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Buttazzo, Giorgio | Abeni, Luca | Caccamo, Marco | Lipari, Giuseppe | SpringerLink (Online service). Series: Series in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
|
|
191.
|
|
|
192.
|
|
|
193.
|
|
|
194.
|
|
|
195.
|
|
|
196.
|
Multi-Agent Programming Электронный ресурс Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H | Dastani, Mehdi | Dix, Jürgen | Fallah Seghrouchni, Amal | SpringerLink (Online service). Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book SeriesSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
|
|
197.
|
Computer Safety, Reliability, and Security Электронный ресурс 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 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, Michael D. Harrison, Mark-Alexander Sujan. by Hutchison, David | Harrison, Michael D | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Sujan, Mark-Alexander | 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 :
|
|
198.
|
|
|
199.
|
|
|
200.
|
|