Тема, жанр, tags: Software Engineering/Programming and Operating Systems » Page 23 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering/Programming and Operating Systems » Page 23

book Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

pdf

Author: Artiom Alhazov (auth.) Marian Gheorghe Gheorghe Păun Grzegorz Rozenberg Arto Salomaa Sergey Verlan (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Web Dynpro ABAP for Practitioners

Web Dynpro ABAP for Practitioners

pdf

Author: Ulrich Gellert Ana Daniela Cristea (auth.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing

Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing

pdf

Author: Michael Bader Hans-Joachim Bungartz Martin Schreiber (auth.) Rainer Keller David Kramer Jan-Philipp Weiss (eds.)
Language: English
Year: 2013

00

06.02.2024

1

0

book Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

pdf

Author: Bran Selic (auth.) Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Computer Architecture: ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

Computer Architecture: ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

pdf

Author: Michael Lange Tony Field (auth.) Ana Lucia Varbanescu Anca Molnos Rob van Nieuwpoort (eds.)
Language: English
Year: 2012

00

06.02.2024

1

0

book Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

pdf

Author: Gordon S. Blair Massimo Paolucci Paul Grace Nikolaos Georgantas (auth.) Marco Bernardo Valérie Issarny (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

pdf

Author: K. Rustan M. Leino (auth.) Mihaela Bobaru Klaus Havelund Gerard J. Holzmann Rajeev Joshi (eds.)
Language: English
Year: 2011

00

06.02.2024

1

0

book Industrial Deployment of System Engineering Methods

Industrial Deployment of System Engineering Methods

pdf

Author: Alexander Romanovsky Martyn Thomas (auth.) Alexander Romanovsky Martyn Thomas (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Concurrent Programming: Algorithms, Principles, and Foundations: Algorithms, Principles, and Foundations

Concurrent Programming: Algorithms, Principles, and Foundations: Algorithms, Principles, and Foundations

pdf

Author: Michel Raynal (auth.)
Language: English
Year: 2013

00

06.02.2024

1

0

book The New PL/I: … for PC, Workstation and Mainframe

The New PL/I: … for PC, Workstation and Mainframe

pdf

Author: Eberhard Sturm (auth.)
Language: English
Year: 2009

00

06.02.2024

0

0