Book serie: / Книги серии: Lecture Notes in Computer Science 7119 Programming and Software Engineering » Page 51 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 7119 Programming and Software Engineering » Page 51

book Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

pdf

Author: Ananda Basu Saddek Bensalem Marius Bozga (auth.) Zdeněk Kotásek Jan Bouda Ivana Černá Lukáš Sekanina Tomáš Vojnar David Antoš (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

pdf

Author: Philip Koopman Justin Ray (auth.) Bruno Müller-Clostermann Klaus Echtle Erwin P. Rathgeb (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

pdf

Author: Hans Daduna Lars Peter Saul (auth.) Jens B. Schmitt (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0

book Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

pdf

Author: Herman Geuvers (auth.) Ana Bove Luís Soares Barbosa Alberto Pardo Jorge Sousa Pinto (eds.)
Language: English
Year: 2009

00

27.01.2024

4

0

book Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29–October 2, 2009 Proceedings

Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29–October 2, 2009 Proceedings

pdf

Author: Peter Pirolli (auth.) Ulrike Cress Vania Dimitrova Marcus Specht (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

pdf

Author: Chris Mungall (auth.) Patricia M. Hill David S. Warren (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Human Machine Interaction: Research Results of the MMI Program

Human Machine Interaction: Research Results of the MMI Program

pdf

Author: Bruno Dumas Denis Lalanne Sharon Oviatt (auth.) Denis Lalanne Jürg Kohlas (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Human-Centred Software Engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

Human-Centred Software Engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

pdf

Author: Liam J. Bannon (auth.) Regina Bernhaupt Peter Forbrig Jan Gulliksen Marta Lárusdóttir (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

pdf

00

27.01.2024

0

0

book Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

pdf

Author: Thomas Tuerk Klaus Schneider Mike Gordon (auth.) Eyal Bin Avi Ziv Shmuel Ur (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0