20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!

Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Musik
- Musik im Club
- CD
- Vinyl
- Notenblätter

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

schliessen

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/6424/0447/4/9783642404474xl.jpg

Trends in Functional Programming

E-Book (pdf)
311 Seiten

(0) Erste Bewertung abgeben

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional... Weiterlesen

E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.

CHF 64.00

Download steht sofort bereit

Informationen zu E-Books: E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.

Inhalt

Various aspects of trends in functional programming.- Combining deep and shallow embedding for EDSL.- The Blame theorem for a linear lambda calculus with type dynamic.- Higher-order size checking without subtyping.

Produktinformationen

Titel:	Trends in Functional Programming
Untertitel:	13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
Editor:	Hans Wolfgang Loidl Ricardo Peña
EAN:	9783642404474
Digitaler Kopierschutz:	Wasserzeichen
Format:	E-Book (pdf)
Hersteller:	Springer Berlin Heidelberg
Genre:	IT & Internet
Anzahl Seiten:	311
Veröffentlichung:	13.08.2013
Dateigrösse:	3.9 MB

Ihr Link zur Ex Libris-Reader-App

Trends in Functional Programming

E-Book (pdf)

Beschreibung

Produktinformationen

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Applications of Declarative Programming and Knowledge Management

Computer Aided Verification

Advances in Cryptology -- CRYPTO 2015

Intelligent Data Engineering and Automated Learning - IDEAL 2009

Dependable Computing - EDCC 2005

RoboCup 2008: Robot Soccer World Cup XII

Interactive Storytelling

Web Reasoning and Rule Systems

Data Integration in the Life Sciences

Financial Cryptography and Data Security

Computer Vision -- ECCV 2006

Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living

CONCUR 2008 - Concurrency Theory

Logic versus Approximation

Web Information Systems Engineering - WISE 2005

Digital Watermarking

Automated Technology for Verification and Analysis

Object-Oriented Technology. ECOOP 2008 Workshop Reader

Foundations of Information and Knowledge Systems

Integer Programming and Combinatorial Optimization

Trends in Functional Programming

Graph Drawing

Implementation of Functional Languages

Transactions on Petri Nets and Other Models of Concurrency IX

Recent Advances in Intrusion Detection

Transactions on Rough Sets XVI

DNA Computing

Fuzzy Logic and Applications

Universal Access in Human-Computer Interaction. Addressing Diversity

Principles and Practice of Constraint Programming -- CP 2011

Mobile Agents for Telecommunication Applications

Internet of Things, Smart Spaces, and Next Generation Networking

Augmented Environments for Computer-Assisted Interventions

Financial Cryptography and Data Security

Transactions on Petri Nets and Other Models of Concurrency XIII

Artificial Immune Systems

Information Security

Central European Functional Programming School

Performance Evaluation: Origins and Directions

Scale Space and Variational Methods in Computer Vision

Requirements Targeting Software and Systems Engineering

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Übersicht

Charts

Ex Libris Club

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns