Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /

Código QR

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Barkaoui, Kamel. (Editor ), Boucheneb, Hanifa. (Editor ), Mili, Ali. (Editor ), Tahar, Sofiène. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10466
Materias:	Algorithms. Software engineering. Operating systems (Computers). Programming languages (Electronic computers). Computer programming. Artificial intelligence. Algorithm Analysis and Problem Complexity. Software Engineering. Operating Systems. Programming Languages, Compilers, Interpreters. Programming Techniques. Artificial Intelligence.

Ejemplares similares

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Publicado: (2017)

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /
Publicado: (2017)

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Publicado: (2017)

The Coder's Path to Wealth and Independence /
por: Beckner, Mark.
Publicado: (2014)

Design Driven Testing : Test Smarter, Not Harder /
por: Stephens, Matt., et al.
Publicado: (2010)

Pointers in C : A Hands on Approach /
por: Dewan, Hrishikesh., et al.
Publicado: (2013)

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /
Publicado: (2017)

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado: (2017)

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Publicado: (2017)

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por: Zeume, Thomas.
Publicado: (2017)

The Career Programmer Guerilla Tactics for an Imperfect World /
por: Duncan, Christopher.
Publicado: (2006)

Textpattern Solutions PHP-Based Content Management Made Easy /
por: Lindley, Cody., et al.
Publicado: (2007)

Dart for Absolute Beginners /
por: Kopec, David.
Publicado: (2014)

Expert Visual C++/CLI : .NET for Visual C++ Programmers /
por: Heege, Marcus.
Publicado: (2007)

Exploring C++ : The Programmer's Introduction to C++ /
por: Lischner, Ray.
Publicado: (2009)

More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or Ill Luck, Work with Them in Some Capacity /
por: Spolsky, Avram Joel.
Publicado: (2008)

Iterating Infusion : Clearer Views of Objects, Classes, and Systems /
por: Anthony, Greg.
Publicado: (2012)

Learn to Tango with D
por: Bell, Kris., et al.
Publicado: (2007)

Iterating Infusion Clearer Views of Objects, Classes, and Systems /
por: Anthony, Greg.
Publicado: (2005)

Learn C++ for Game Development /
por: Sutherland, Bruce.
Publicado: (2014)

Modern X86 Assembly Language Programming : 32-bit, 64-bit, SSE, and AVX /
por: Kusswurm, Daniel.
Publicado: (2014)

MATLAB Graphical Programming : Practical hands-on MATLAB solutions /
por: Lopez, Cesar.
Publicado: (2014)

NetBeans Ruby and Rails IDE with JRuby
por: Kutler, Chris., et al.
Publicado: (2009)

Practical C++ Financial Programming /
por: Oliveira, Carlos.
Publicado: (2015)

Practical Clojure /
por: VanderHart, Luke., et al.
Publicado: (2010)

Practical Common Lisp
por: Seibel, Peter.
Publicado: (2005)

Optimizing HPC Applications with Intel Cluster Tools : Hunting Petaflops /
por: Supalov, Alexander., et al.
Publicado: (2014)

The Best of Verity Stob Highlights of Verity Stob's Famous Columns from .EXE, Dr. Dobb's Journal, and The Register /
por: Stob, Verity.
Publicado: (2005)

The Best Software Writing I Selected and Introduced by Joel Spolsky /
por: Spolsky, Avram Joel.
Publicado: (2005)

Using the C++ Standard Template Libraries /
por: Horton, Ivor.
Publicado: (2015)

The Definitive Guide to GCC
por: von Hagen, William.
Publicado: (2006)

Use Case Driven Object Modeling with UMLTheory and Practice Theory and Practice /
por: Rosenberg, Don., et al.
Publicado: (2007)

Cryptography in C and C++ /
por: Welschenbach, Michael.
Publicado: (2013)

Foundations of C++/CLI : The Visual C++ Language for .NET 3.5 /
por: Hogenson, Gordon.
Publicado: (2008)

Exploring C++ 11 /
por: Lischner, Ray.
Publicado: (2013)

Cryptography in C and C++ /
por: Welschenbach, Michael.
Publicado: (2005)

Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings /
Publicado: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado: (2017)

Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings /
Publicado: (2017)

Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_5r2r1riuafk2pnh1c46k1v0319