Doprava zdarma se Zásilkovnou nad 1 299 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663644
Price: 2005 CZK
Availability: InStock

Elvira Albert

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01663644

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dubna 2013

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Celý popis

Libristo kód: 01663644

201 b

2 005 Kč

Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Bücherwurm Sachheft 1. Ausgabe für Brandenburg, Sachsen-Anhalt, Thüringen

/ List

377 Kč

Autonomy in Jewish Philosophy Kenneth Seeskin

/ Brožovaná

1 152 Kč

The Archaeology of Political Spaces Dominik Bonatz

/ Pevná

3 995 Kč

Influenza Virus Yoshihiro Kawaoka

/ Pevná

4 673 Kč

All Elevations Unknown Sam Lightner

/ Brožovaná

438 Kč

Einheit Auf Befehl? Sabine Collmer

/ Brožovaná

1 678 Kč

Aspects of Physical Biology Giancarlo Franzese

/ Pevná

1 542 Kč

Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai

/ Brožovaná

1 019 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Informace o knize

Plný název Logic-Based Program Synthesis and Transformation

Autor Elvira Albert

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2013

Počet stran 245

EAN 9783642381966

ISBN 3642381960

Libristo kód 01663644

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 454

Rozměry 155 x 235 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky

Matematika a věda > Matematika > Diskrétní matematika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce