Ios Press Handbook of satisfiability, hardback/***

Ios Press Handbook of satisfiability, hardback/***

Vezi magazinul Elefant

4 stele, bazat pe 1 voturi

A collection of papers on various theoretical and practical aspects of SAT solving.

It is suitable for students and researchers.

1031.99 ^Lei

Cu cate stelute ai vota acest produs?

Magazine foreign books

Computing & information technology

Elefant

Clientii au cumparat si

Handbook of satisfiability, hardback/***

Handbook of satisfiability, hardback/***

1031.99 ^Lei

Password book with alphabetical tabs, paperback/iris lorry harrlez

Password book with alphabetical tabs, paperback/iris lorry harrlez

53.99 ^Lei

-3%

Ubuntu linux bible, paperback/david clinton

Ubuntu linux bible, paperback/david clinton

232.99 ^Lei

Ocp java se 11 developer complete certification kit: exam 1z0-815, exam 1z0-816, and exam 1z0-817, paperback/jeanne boyarsky

Ocp java se 11 developer complete certification kit: exam 1z0-815, exam 1z0-816, and exam 1z0-817, paperback/jeanne boyarsky

560.99 ^Lei

Reciprocity, evolution, and decision games in network and data science, hardcover/yan chen

Reciprocity, evolution, and decision games in network and data science, hardcover/yan chen

786.99 ^Lei

Monty karel: a gentle introduction to the art of object-oriented programming in python, paperback/mark stehlik

Monty karel: a gentle introduction to the art of object-oriented programming in python, paperback/mark stehlik

189.99 ^Lei

-11%

Knowledge science, engineering and management: 14th international conference, ksem 2021, tokyo, japan, august 14-16, 2021, proceedings, part i/han qiu

Knowledge science, engineering and management: 14th international conference, ksem 2021, tokyo, japan, august 14-16, 2021, proceedings, part i/han qiu

713.00 ^Lei

A practical guide to hybrid natural language processing: combining neural models and knowledge graphs for nlp, paperback/jose manuel gomez-perez

A practical guide to hybrid natural language processing: combining neural models and knowledge graphs for nlp, paperback/jose manuel gomez-perez

775.99 ^Lei

-11%

Python for data analysis: everything you need to know about data analysis to easily get the python intermediate level./robert campbell

Python for data analysis: everything you need to know about data analysis to easily get the python intermediate level./robert campbell

153.00 ^Lei

Create and update an unresourced project using elecosoft (asta) powerproject version 16: 2-day training course handout and student workshops/paul e. harris

Create and update an unresourced project using elecosoft (asta) powerproject version 16: 2-day training course handout and student workshops/paul e. harris

273.99 ^Lei

Cryptography made simple, paperback/nigel smart

Cryptography made simple, paperback/nigel smart

718.99 ^Lei

Healthcare cybersecurity, paperback/w. andrew h. gantt iii

Healthcare cybersecurity, paperback/w. andrew h. gantt iii

682.99 ^Lei

Learning sd-wan with cisco: transform your existing wan into a cost-effective network, paperback/stuart fordham

Learning sd-wan with cisco: transform your existing wan into a cost-effective network, paperback/stuart fordham

258.99 ^Lei

Azure security handbook: a comprehensive guide for defending your enterprise environment, paperback/karl ots

Azure security handbook: a comprehensive guide for defending your enterprise environment, paperback/karl ots

248.99 ^Lei

Cognition and the creative machine: cognitive ai for creative problem solving, paperback/ana-maria oltețeanu

Cognition and the creative machine: cognitive ai for creative problem solving, paperback/ana-maria oltețeanu

983.99 ^Lei

Building custom tasks for sql server integration services: the power of .net for etl for sql server 2019 and beyond/andy leonard

Building custom tasks for sql server integration services: the power of .net for etl for sql server 2019 and beyond/andy leonard

303.99 ^Lei

Data model storytelling: an agile approach to maximizing the value of data management, paperback/larry burns

Data model storytelling: an agile approach to maximizing the value of data management, paperback/larry burns

254.99 ^Lei

Machine learning: concepts, tools and data visualization, hardcover/minsoo kang

Machine learning: concepts, tools and data visualization, hardcover/minsoo kang

812.99 ^Lei

Use of ai, robotics, and modern tools to fight covid-19, hardcover/arpit jain

Use of ai, robotics, and modern tools to fight covid-19, hardcover/arpit jain

814.99 ^Lei

Network embedding: theories, methods, and applications, hardcover/cheng yang

Network embedding: theories, methods, and applications, hardcover/cheng yang

745.99 ^Lei

Autodesk revit 2022: fundamentals for mep - part 2 (imperial units): autodesk authorized publisher, paperback/***

Autodesk revit 2022: fundamentals for mep - part 2 (imperial units): autodesk authorized publisher, paperback/***

288.99 ^Lei

Introduction to simula 67, paperback/lamprecht günther

Introduction to simula 67, paperback/lamprecht günther

697.99 ^Lei

Mastering excel 2019: an all-in-one tutorial resource, paperback/nathan george

Mastering excel 2019: an all-in-one tutorial resource, paperback/nathan george

270.99 ^Lei

Linux networking cookbook: from asterisk to zebra with easy-to-use recipes, paperback/carla schroder

Linux networking cookbook: from asterisk to zebra with easy-to-use recipes, paperback/carla schroder

248.99 ^Lei

Data visualization for success: interviews with 40 experienced, hardback/steven braun

Data visualization for success: interviews with 40 experienced, hardback/steven braun

191.99 ^Lei

Microprocessor architecture: from simple pipelines to chip multiprocessors, hardcover/jean-loup baer

Microprocessor architecture: from simple pipelines to chip multiprocessors, hardcover/jean-loup baer

722.99 ^Lei

Implementing enterprise cybersecurity with open-source software and standard architecture, hardcover/anand handa

Implementing enterprise cybersecurity with open-source software and standard architecture, hardcover/anand handa

888.99 ^Lei

Gstreamer 1.10 plugin writer's guide, paperback/erik walthinsen

Gstreamer 1.10 plugin writer's guide, paperback/erik walthinsen

192.99 ^Lei

Artificial intelligence and the future of warfare: the usa, china, and strategic stability, hardcover/james johnson

Artificial intelligence and the future of warfare: the usa, china, and strategic stability, hardcover/james johnson

684.99 ^Lei

Simple and efficient programming with c#: skills to build applications with visual studio and .net, paperback/vaskaran sarcar

Simple and efficient programming with c#: skills to build applications with visual studio and .net, paperback/vaskaran sarcar

255.99 ^Lei

Mastering lambdas: java programming in a multicore world, paperback/maurice naftalin

Mastering lambdas: java programming in a multicore world, paperback/maurice naftalin

202.99 ^Lei

-4%

Intro to python for computer science and data science: learning to program with ai, big data and the cloud, global edition, paperback/paul deitel

Intro to python for computer science and data science: learning to program with ai, big data and the cloud, global edition, paperback/paul deitel

543.99 ^Lei

Collaborative media. production, consumption, and design interventions, hardback/bo reimer

Collaborative media. production, consumption, and design interventions, hardback/bo reimer

254.99 ^Lei

Scary smart. the future of artificial intelligence and how you can save our world, hardback/mo gawdat

Scary smart. the future of artificial intelligence and how you can save our world, hardback/mo gawdat

119.99 ^Lei

Modeling and simulation of computer networks and systems. methodologies and applications, paperback/***

Modeling and simulation of computer networks and systems. methodologies and applications, paperback/***

769.99 ^Lei

It-alignment. it-architektur und organisation, 2006 ed/dieter masak

It-alignment. it-architektur und organisation, 2006 ed/dieter masak

91.99 ^Lei

C++ how to program, global edition. 10 ed, paperback/harvey deitel

C++ how to program, global edition. 10 ed, paperback/harvey deitel

595.99 ^Lei

Javascript for sound artists. learn to code with the web audio api, paperback/steve leonard

Javascript for sound artists. learn to code with the web audio api, paperback/steve leonard

392.99 ^Lei

Benchmark series: microsoft (r)word 2010 levels 1 and 2. text with data files cd, paperback/audrey rutkosky roggenkamp

Benchmark series: microsoft (r)word 2010 levels 1 and 2. text with data files cd, paperback/audrey rutkosky roggenkamp

450.99 ^Lei

-14%

Interactions in multiagent systems: fairness, social optimality and individual rationality. 1st ed. 2016, hardback/ho-fung leung

Interactions in multiagent systems: fairness, social optimality and individual rationality. 1st ed. 2016, hardback/ho-fung leung

674.99 ^Lei

Categorii Ios Press

Computere si internet

Medicine & nursing

Carte straina/medicine & nursing

Computing & information technology

Philosophy & religion

Society & social sciences

Technology, engineering, agriculture

Ios Press Handbook of satisfiability, hardback/***

1031.99 Lei