Cargando…

EFFICIENT IMPLEMENTATION OF PARALLEL SAT SOLVER BASED STOCHASTIC LOCAL SEARCH.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Abed, Sa'ed (Autor), Nachawi, Salam I. (Autor), Al-Shayeji, Mohammad (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	NEW YORK : NOVA Science, 2020.
Colección:	Computer science, technology and applications.
Temas:	Computer software. Computer programs. Logiciels. software.
Acceso en línea:	Texto completo

Ejemplares similares

Master data management for SaaS applications /
por: Chen, Whei-Jen, et al.
Publicado: (2014)

Agents unleased : a public domain look at agent technology /
por: Wayner, Peter, 1964-
Publicado: (1995)

Economics-driven software architecture /
por: Mistr�ik, Ivan
Publicado: (2014)

Advances in software science and technology.
Publicado: (1993)

Instructor's manual to accompany microcomputer use : word processors, spreadsheets, and data bases with accompanying MicroUSE software /
por: Alberte-Hallam, Teresa, et al.
Publicado: (1985)

Tableau : Creating Interactive Data Visualizations.
por: Stirrup, Jen
Publicado: (2016)

Gradle effective implementations guide : a comprehensive guide to get up and running with build automation using Gradle /
por: Ikkink, Hubert Klein, 1973-
Publicado: (2016)

Gradle effective implementations guide : a comprehensive guide to get up and running with build automation using Gradle /
por: Ikkink, Hubert Klein, 1973-
Publicado: (2016)

PeopleSoft PeopleTools tips & techniques /
por: Marion, Jim J.
Publicado: (2010)

RESTful java patterns and best practices : learn best practices to efficiently build scalable, reliable, and maintainable high performance RESTful services /
por: Mehta, Bhakti
Publicado: (2014)

Programming interactivity : a guide for Processing, Arduino, and OpenFrameworks /
por: Noble, Joshua J., 1977-
Publicado: (2009)

Software reliability.
Publicado: (1986)

Microsoft Word 2007 bible /
por: Tyson, Herbert L.
Publicado: (2007)

Microsoft power platform enterprise architecture : design tailor-made solutions for architechts and decision makers to meet complex business requirements /
por: Rybaric, Robert
Publicado: (2023)

Improving the quality of ABAP code : striving for perfection /
por: Hardy, Paul David
Publicado: (2021)

Annotating new genes : from in silico screening to experimental validation /
por: Uchida, Shizuka
Publicado: (2012)

Learning Adobe Edge Animate.
por: Labrecque, Joseph
Publicado: (2012)

Advances in software science and technology.
Publicado: (1991)

The little SAS book : a primer : a programming approach /
por: Delwiche, Lora D., et al.
Publicado: (2012)

Beginning Drupal 7 /
por: Tomlinson, Todd
Publicado: (2010)

Advances in software science and technology.
Publicado: (1994)

Advances in software science and technology.
Publicado: (1990)

Advances in software science and technology.
Publicado: (1992)

The open source alternative understanding risks and leveraging opportunities /
por: Meeker, Heather J., 1959-
Publicado: (2008)

The Essence of Software : Why Concepts Matter for Great Design /
por: Jackson, Daniel
Publicado: (2021)

Java programming interviews exposed /
por: Markham, Noel
Publicado: (2014)

Mastering media with the Raspberry Pi : media centers, music, high end audio, video, and ultimate movie nights /
por: Roberts, Ralph, 1945-
Publicado: (2017)

Joomla! 1.5 : beginner's guide : build and maintain impressive user-friendly websites the fast and easy way with Joomla! 1.5 /
por: Tiggeler, Eric
Publicado: (2010)

Icinga Network Monitoring.
por: Mehta, Viranch
Publicado: (2013)

Delivering applications with VMware App Volumes 4 : delivering application layers to virtual desktops using VMware /
por: Oven, Peter von
Publicado: (2021)

Cloud-based microservices : techniques, challenges, and solutions /
por: Rajasekharaiah, Chandra
Publicado: (2021)

Software testing : an ISEB intermediate certificate /
por: Hambling, Brian, 1946-
Publicado: (2009)

Spring quick reference guide : a pocket handbook for Spring framework, Spring boot, and more /
por: Davis, Adam L.
Publicado: (2020)

System center configuration manager 2007 unleashed /
por: Meyler, Kerrie
Publicado: (2009)

Coding art : the four steps to creative programming with the processing language /
por: Zhang, Yu
Publicado: (2021)

The Common Lisp condition system : beyond exception handling with control flow mechanisms /
por: Herda, Michał
Publicado: (2020)

Bonita Open Solution 5.x Essentials.
por: Bhat, Rohit
Publicado: (2013)

O'Reilly OSCON 2014 : complete video compilation /
Publicado: (2014)

The benefits of open source and the risks of open core : understanding the differences between the two models /
por: Cooper, Danese, et al.
Publicado: (2022)

Patterns in the machine : a software engineering guide to embedded development /
por: Taylor, John T., et al.
Publicado: (2021)