|
|
2381.
|
Software Quality. Process Automation in Software Development [electronic resource] : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings / edited by Stefan Biffl, Dietmar Winkler, Johannes Bergsmann.
by Biffl, Stefan [editor.] | Winkler, Dietmar [editor.] | Bergsmann, Johannes [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2382.
|
Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / edited by Luís Soares Barbosa, Markus Lumpe.
by Barbosa, Luís Soares [editor.] | Lumpe, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2383.
|
Computer and Computing Technologies in Agriculture V [electronic resource] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III / edited by Daoliang Li, Yingyi Chen.
by Li, Daoliang [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2384.
|
Computer and Computing Technologies in Agriculture V [electronic resource] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II / edited by Daoliang Li, Yingyi Chen.
by Li, Daoliang [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2385.
|
Computer and Computing Technologies in Agriculture V [electronic resource] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I / edited by Daoliang Li, Yingyi Chen.
by Li, Daoliang [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2386.
|
Advances in Computer Science and Information Technology. Networks and Communications [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2387.
|
Advances in Computer Science and Information Technology. Computer Science and Engineering [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2388.
|
Advances in Computer Science and Information Technology. Computer Science and Information Technology [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2389.
|
Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers / edited by Sebastian Mödersheim, Catuscia Palamidessi.
by Mödersheim, Sebastian [editor.] | Palamidessi, Catuscia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2390.
|
Resource Discovery [electronic resource] : Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers / edited by Zoé Lacroix, María Esther Vidal.
by Lacroix, Zoé [editor.] | Vidal, María Esther [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2391.
|
Improving Software Testing [electronic resource] : Technical and Organizational Developments / by Tim A. Majchrzak.
by Majchrzak, Tim A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2392.
|
SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings / edited by Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán.
by Bieliková, Mária [editor.] | Friedrich, Gerhard [editor.] | Gottlob, Georg [editor.] | Katzenbeisser, Stefan [editor.] | Turán, György [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2393.
|
Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou.
by Russo, Claudio [editor.] | Zhou, Neng-Fa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2394.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski.
by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2395.
|
Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers / edited by Rajkumar Kannan, Frederic Andres.
by Kannan, Rajkumar [editor.] | Andres, Frederic [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2396.
|
Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade.
by Garcia-Alfaro, Joaquin [editor.] | Lafourcade, Pascal [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2397.
|
Grid and Pervasive Computing Workshops [electronic resource] : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers / edited by Mika Rautiainen, Timo Korhonen, Edward Mutafungwa, Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki Ailisto, Aaron Quigley, Jonna Häkkilä, Natasa Milic-Frayling, Jukka Riekki.
by Rautiainen, Mika [editor.] | Korhonen, Timo [editor.] | Mutafungwa, Edward [editor.] | Ovaska, Eila [editor.] | Katasonov, Artem [editor.] | Evesti, Antti [editor.] | Ailisto, Heikki [editor.] | Quigley, Aaron [editor.] | Häkkilä, Jonna [editor.] | Milic-Frayling, Natasa [editor.] | Riekki, Jukka [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2398.
|
The Correctness-by-Construction Approach to Programming [electronic resource] / by Derrick G. Kourie, Bruce W. Watson.
by Kourie, Derrick G [author.] | Watson, Bruce W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
2399.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.
by Kuncak, Viktor [editor.] | Rybalchenko, Andrey [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
2400.
|
Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / edited by Andreas Harth, Nora Koch.
by Harth, Andreas [editor.] | Koch, Nora [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
