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

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

book Human-Centered Software Engineering: 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

Human-Centered Software Engineering: 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

pdf

Author: Neville A. Stanton (auth.) Marco Winckler Peter Forbrig Regina Bernhaupt (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

pdf

Author: Ewen Denney Ganesh Pai (auth.) Frank Ortmeier Peter Daniel (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

pdf

Author: Alejandra Ruiz Tim P. Kelly Mehrdad Sabetzadeh Didier Van Den Abeele (auth.) Frank Ortmeier Peter Daniel (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Recent Advances in the Message Passing Interface: 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

Recent Advances in the Message Passing Interface: 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

pdf

Author: William Gropp (auth.) Jesper Larsson Träff Siegfried Benkner Jack J. Dongarra (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

pdf

Author: Eduard Paul Enoiu Daniel Sundmark Paul Pettersson (auth.) Hüsnü Yenigün Cemal Yilmaz Andreas Ulrich (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

pdf

Author: Carroll C. Morgan (auth.) Lindsay Groves Jing Sun (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

epub

Author: Dahnken Christopher., Klemm Michael., Semin Andrey., Supalov Alexander
Language: English
Year: 2014

00

06.02.2024

1

0

book Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

mobi

Author: Dahnken Christopher., Klemm Michael., Semin Andrey., Supalov Alexander
Language: English
Year: 2014

00

06.02.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Brauer Wilfried, Rozenberg Grzegorz, Salomaa Arto
Language: English
Year: 2006

00

06.02.2024

0

0

book Domains, requirements, and software design

Domains, requirements, and software design

pdf

Author: Bjørner Dines
Language: English
Year: 2006

00

06.02.2024

0

0