KIRJAUDU

ostoskori

avaa valikko

Ulkomaiset kirjat, Computers, Compilers | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 559 tuotetta
Haluatko tarkentaa hakukriteerejä?

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - 13TH INTERNATIONAL SYMPOSIUM, ATVA 2015, SHANGHAI, CHINA, OCTOBER 12-15, 20

Bernd Finkbeiner; Geguang Pu; Lijun Zhang
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

51,40 €

LANGUAGES, APPLICATIONS AND TECHNOLOGIES - 4TH INTERNATIONAL SYMPOSIUM, SLATE 2015, MADRID, SPAIN, JUNE 18-19, 2015, REVISED SEL

José-Luis Sierra-Rodríguez; José-Paulo Leal; Alberto Simões
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

51,40 €

PRACTICAL RUST WEB PROJECTS - BUILDING CLOUD AND WEB-BASED APPLICATIONS

Shing Lyu
APress (2021)
Pehmeäkantinen kirja

31,00 €

CRAFTING INTERPRETERS

Robert Nystrom
Genever Benning (2021)
Pehmeäkantinen kirja

56,50 €

MODERN X86 ASSEMBLY LANGUAGE PROGRAMMING - COVERS X86 64-BIT, AVX, AVX2, AND AVX-512

Daniel Kusswurm
APress (2023)
Pehmeäkantinen kirja

56,40 €

RETARGETABLE C COMPILER, A - DESIGN AND IMPLEMENTATION

David Hanson; Christopher Fraser
Pearson Education (US) (1995)
Pehmeäkantinen kirja

73,40 €

SOFTWARE TESTING AUTOMATION TIPS - 50 THINGS AUTOMATION ENGINEERS SHOULD KNOW

Gennadiy Alpaev
APress (2017)
Pehmeäkantinen kirja

25,00 €

C++/CLI - THE VISUAL C++ LANGUAGE FOR .NET

Gordon Hogenson
APress (2016)
Pehmeäkantinen kirja

66,40 €

QUICK START GUIDE TO DART PROGRAMMING - CREATE HIGH-PERFORMANCE APPLICATIONS FOR THE WEB AND MOBILE

Sanjib Sinha
APress (2019)
Pehmeäkantinen kirja

47,90 €

ANDROID FOR JAVA PROGRAMMERS

Mawlood-Yunis; Abdul-Rahman
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

71,40 €

ALGORITHMS & DATA STRUCTURES: THE SCIENCE OF COMPUTING

Douglas Baldwin; Greg Scragg
Charles River Media (2004)
Pehmeäkantinen kirja

106,20 €

GRUNDKURS JAVA-TECHNOLOGIEN - LERNEN ANHAND LAUFFÄHIGER BEISPIELE — KONZEPTE EINFACH ERKLÄRT — DIE KOMPLETTE EINFÜHRUNG IN J2SE

Erwin Merker
Springer Fachmedien Wiesbaden (2004)
Pehmeäkantinen kirja

38,70 €

MIDDLEWARE IN JAVA - LEITFADEN ZUM ENTWURF VERTEILTER ANWENDUNGEN — IMPLEMENTIERUNG VON VERTEILTEN SYSTEMEN ÜBER JMS — VERTEILTE

Steffen Heinzl; Markus Mathes
Springer Fachmedien Wiesbaden (2005)
Pehmeäkantinen kirja

43,40 €

JAVA IST EINE SPRACHE - JAVA LESEN, SCHREIBEN UND AUSFÜHREN — EINE PRÄZISE UND VERSTÄNDLICHE EINFÜHRUNG

Ulrich Grude
Springer Fachmedien Wiesbaden (2005)
Pehmeäkantinen kirja

43,40 €

WRITING COMPILERS AND INTERPRETERS - A SOFTWARE ENGINEERING APPROACH

R Mak
John Wiley & Sons (2009)
Pehmeäkantinen kirja

87,20 €

COMPILER CONSTRUCTION - 18TH INTERNATIONAL CONFERENCE, CC 2009, HELD AS PART OF THE JOINT EUROPEAN CONFERENCES ON THEORY AND PRA

Oege de Moor; Michael I. Schwartzbach
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

PROGRAMMING LANGUAGES AND SYSTEMS - 18TH EUROPEAN SYMPOSIUM ON PROGRAMMING, ESOP 2009, HELD AS PART OF THE JOINT EUROPEAN CONFER

Giuseppe Castagna
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES - 12TH INTERNATIONAL CONFERENCE, FOSSACS 2009, HELD AS PART OF THE

Luca de Alfaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

ALGORITHMS, LANGUAGES, AUTOMATA, AND COMPILERS: A PRACTICAL APPROACH

Maxim Mozgovoy
Infinity Science Press (2009)
Kovakantinen kirja

122,30 €

LOGIC, LANGUAGE, AND COMPUTATION - 7TH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE, AND COMPUTATION, TBILLC 2007, TBILISI

Peter Bosch; David Gabelaia; Jérôme Lang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

51,40 €

Springer International Publishing AG
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 22.11.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus