Öffnungszeiten Kundenkarte Vorverkauf

Unser Tipp der Woche - Michelle Steinbeck: Favorita

+41 61 206 99 99 696E666F406269646572756E6474616E6E65722E63683C7370616E20636C6173733D2269636F6E2D656D61696C223E3C2F7370616E3E696E666F406269646572756E6474616E6E65722E6368

Die Merkliste ist leer.

Registrieren Passwort vergessen?

Der Warenkorb ist leer.

Kostenloser Versand möglich

Kostenloser Versand möglich

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

Theory and Applications of Satisfiability Testing - SAT 2010

ISBN/GTIN

Strichman, OferHrsg.Szeider, StefanHrsg.

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

eBookPDFWasserzeichenE-Book

CHF59.00

Kann geocodiert sein

Download kaufen

Beschreibung

Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783642141867

ProduktarteBook

EinbandartE-Book

FormatPDF

Format HinweisWasserzeichen

Verlag/Label

Springer Berlin Heidelberg

Erscheinungsdatum09.07.2010

Auflage2010

ReiheLecture Notes in Computer Science

Reihen-Nr.6175

Seiten400 Seiten

SpracheEnglisch

Weitere Details

Reihe

Pattern Recognition and Machine Intelligence

Selected Areas in Cryptography

Advanced Computational Applications of Geometric Algebra

Privacy Technologies and Policy

Large-Scale Scientific Computations

Dynamic Data Driven Applications Systems

From Computational Logic to Computational Biology

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Verified Software. Theories, Tools and Experiments

Distributed Computer and Communication Networks: Control, Computation, Communications

Selected Areas in Cryptography - SAC 2023

Cloud Computing - CLOUD 2023

Edge Computing - EDGE 2023

Cognitive Computing - ICCC 2023

Internet of Things - ICIOT 2023

Services Computing - SCC 2023

Computer-Aided Design and Computer Graphics

Pattern Recognition

Computational Diffusion MRI

Web and Big Data

Web and Big Data

Web and Big Data

Web and Big Data

Computer Security - ESORICS 2023

Computer Security - ESORICS 2023

Computer Security - ESORICS 2023

Computer Security - ESORICS 2023

Euro-Par 2023: Parallel Processing Workshops

Autor:in

Strichman, OferHrsg.Szeider, StefanHrsg.

Weitere Artikel mit diesem Autorennamen: Strichman, Ofer

Hrsg.

Efficient Decision Procedures for Validation

Decision Procedures

Decision Procedures

Hardware and Software: Verification and Testing

Decision Procedures

Decision Procedures

Decision Procedures

Weitere Artikel mit diesem Autorennamen: Szeider, Stefan

Hrsg.

Parameterized and Exact Computation

Parameterized and Exact Computation

Vorschläge

Kürzlich von mir besucht