Showing 161 - 180 results of 318 for search '"Software Engineering/Programming and Operating Systems."', query time: 0.10s Refine Results
  1. 161
    Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /
    by Moreira, Ana
    Published in Springer eBooks (2007)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 162
    Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
    by Raynal, Michel
    Published in Springer eBooks (2013)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 163
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 164
    Surface- and Groundwater Quality Changes in Periods of Water Scarcity
    by Gregor, Miloš
    Published in Springer eBooks (2013)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 165
    Learning MATLAB A Problem Solving Approach /
    by Gander, Walter
    Published in Springer eBooks (2015)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 166
    Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 167
    Guide to RISC Processors for Programmers and Engineers /
    by Dandamudi, Sivarama P.
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 168
    Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 169
    Information Processing and Security Systems
    by Saeed, Khalid
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 170
    Parsing Techniques A Practical Guide /
    by Grune, Dick
    Published in Springer e-books (2008)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 171
    Multi-Agent Programming Languages, Platforms and Applications /
    by Bordini, Rafael H.
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 172
    Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
    by Cascini, Gaetano
    Published in Springer eBooks (2008)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 173
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
    by Margaria, Tiziana
    Published in Springer eBooks (2009)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 174
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 175
    An Introduction to Network Programming with Java
    by Graba, Jan
    Published in Springer e-books (2007)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 176
    Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
    by Victor, Malyshkin
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 177
    Parallel Processing and Applied Mathematics 4th International Conference, PPAM 2001 Na lęczów, Poland, September 9-12, 2001 Revised Papers /
    by Wyrzykowski, Roman
    Published 2006
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 178
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published in Springer eBooks (2015)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 179
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 180
    Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering /
    by Heinrich, Robert
    Published in Springer eBooks (2014)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed