|
781.
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.
by Groves, Lindsay [editor.] | Sun, Jing [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
782.
|
Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke.
by Moreira, Ana [editor.] | Schätz, Bernhard [editor.] | Gray, Jeff [editor.] | Vallecillo, Antonio [editor.] | Clarke, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
783.
|
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier.
by Duchier, Denys [editor.] | Parmentier, Yannick [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
784.
|
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze.
by Hinze, Ralf [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
785.
|
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman.
by Tannen, Val [editor.] | Wong, Limsoon [editor.] | Libkin, Leonid [editor.] | Fan, Wenfei [editor.] | Tan, Wang-Chiew [editor.] | Fourman, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
786.
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich.
by Yenigün, Hüsnü [editor.] | Yilmaz, Cemal [editor.] | Ulrich, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
787.
|
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes.
by Barnes, John [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, 2013Online access: Click here to access online Availability: No items available
|
|
788.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.
by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
789.
|
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas.
by Sagonas, Kostis [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
790.
|
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen.
by Wu, Chenggang [editor.] | Cohen, Albert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
791.
|
Software and Data Technologies [electronic resource] : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / edited by José Cordeiro, Slimane Hammoudi, Marten Sinderen.
by Cordeiro, José [editor.] | Hammoudi, Slimane [editor.] | Sinderen, Marten [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
792.
|
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg.
by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | Leroy, Pascal [editor.] | Schonberg, Edmond [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
793.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe.
by Maciaszek, Leszek A [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
794.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek.
by Filipe, Joaquim [editor.] | Maciaszek, Leszek A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
795.
|
Using Microsoft Dynamics AX 2012 [electronic resource] : Updated for Version R2 / by Andreas Luszczak.
by Luszczak, Andreas [author.] | SpringerLink (Online service). Edition: 3rd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013Online access: Click here to access online Availability: No items available
|
|
796.
|
Ubiquitous Information Technologies and Applications [electronic resource] : CUTE 2012 / edited by Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo.
by Han, Youn-Hee [editor.] | Park, Doo-Soon [editor.] | Jia, Weijia [editor.] | Yeo, Sang-Soo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
797.
|
Introduction to Programming with Fortran [electronic resource] : With Coverage of Fortran 90, 95, 2003, 2008 and 77 / by Ian Chivers, Jane Sleightholme.
by Chivers, Ian [author.] | Sleightholme, Jane [author.] | SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
798.
|
Coding Interviews [electronic resource] : Questions, Analysis & Solutions / by Harry He.
by He, Harry [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2012Online access: Click here to access online Availability: No items available
|
|
799.
|
Patterns, Programming and Everything [electronic resource] / edited by Karin K. Breitman, R. Nigel Horspool.
by Breitman, Karin K [editor.] | Horspool, R. Nigel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available
|
|
800.
|
Foundational Java [electronic resource] : Key Elements and Practical Programming / by David Parsons.
by Parsons, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available
|