MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Foundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

2

Theoretical Aspects of Computing – ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Published 2022

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Published 2015

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

9

Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

10

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

11

Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Published 2019

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

12

Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Published 2016

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

13

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

14

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Ad...

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

15

Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Published 2014

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

16

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Published 2017

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

17

Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Published 2018

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

18

Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Published 2020

Springer International Publishing

Subjects: “...Natural language processing (Computer science)...”