Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Information Systems Applications (incl. Interne » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Information Systems Applications (incl. Interne » Page 3

book Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

pdf

Author: Christian W. Probst Chris Hankin René Rydhof Hansen (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

pdf

Author: Chiara Bodei Gian-Luigi Ferrari Corrado Priami (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

pdf

Author: Alessandro Fantechi Patrizio Pelliccione (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings

Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings

pdf

Author: Andrzej Pelc Alexander A. Schwarzmann (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Intelligent Cloud Computing: First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers

Intelligent Cloud Computing: First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers

pdf

Author: Asma Al-Saidi Rudolf Fleischer Zakaria Maamar Omer F. Rana (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings

Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings

pdf

Author: Xavier Franch Aditya K. Ghose Grace A. Lewis Sami Bhiri (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings

Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings

pdf

Author: Pascal Felber Vijay Garg (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Collaboration Engineering: IT-gestützte Zusammenarbeitsprozesse systematisch entwickeln und durchführen

Collaboration Engineering: IT-gestützte Zusammenarbeitsprozesse systematisch entwickeln und durchführen

pdf

Author: Jan Marco Leimeister (auth.)
Language: German
Year: 2014

00

27.01.2024

0

0

book Self-Organizing Systems: 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers

Self-Organizing Systems: 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers

pdf

Author: Wilfried Elmenreich Falko Dressler Vittorio Loreto (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

pdf

Author: Richard Hull (auth.) Samik Basu Cesare Pautasso Liang Zhang Xiang Fu (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0