Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Category Theory and Computer Science Eugenio Moggi

Category Theory and Computer Science

7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997. Proceedings

Giuseppe Rosolini

Lingua

Inglese

Libro In brossura

Libro Category Theory and Computer Science Eugenio Moggi

Codice Libristo: 05274744

Casa editrice Springer, Berlin, novembre 1996

This book constitutes the refereed proceedings of the 7th International Conference on Category Theor... Descrizione completa

Codice Libristo: 05274744

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Amphoe Pa Tio Mariam T. Tennoe

/

In brossura

167.39 €

Na morzu i w tropikach. Tytus, Romek i A'Tomek. Zaginione księgi. Księga 5 Henryk Jerzy Chmielewski

/

In brossura

3.19 €

Confianza y poder Les Giblin

/

Adobe ePub DRM

11.69 €

Manual de análisis de suelos y plantas Rekha Sodani

/

In brossura

51.19 €

Menz Poems Yosef T Teklu

/

In brossura

13.59 €

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Category Theory and Computer Science

Autore Eugenio Moggi, Giuseppe Rosolini

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1997

Numero di pagine 319

EAN 9783540634553

ISBN 354063455X

Codice Libristo 05274744

Casa editrice Springer, Berlin

Peso 420

Dimensioni 156 x 234 x 17

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Matematica e Scienze > Matematica > Topologia > Topologia algebrica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Ancient Drama in Music for the Modern Stage Peter Brown

/

Rigido

208.29 €

Political Culture and the Making of Modern Nation-States Edward Weisband

/

Rigido

264.09 €

Politics without Democracy 1815-1914: Perception a nd Preoccupation in British Government, Second Edi tion Michael Bentley

/

In brossura

60.49 €

Studies in Economic Development Alfred Bonne

/

In brossura

35.89 €

What a Fish Knows: The Inner Lives of Our Underwater Cousins Jonathan Balcombe

/

In brossura

15.29 €

Silver Is Rising: Book 1 Silver Moonbeams

/

In brossura

20.09 €

Nanotechnology Applications in Soil Science Abhishek Singh

/

In brossura

210.09 €

Bermondsey Boy Tommy Steele

/

Adobe ePub DRM

7.99 €

New American Farmer Laura-Anne Minkoff-Zern

/

Adobe ePub DRM

33.49 €

Doctor, Your Patient Will See You Now Steven Z. Kussin

/

Adobe ePub DRM

19.79 €

Dynamics of Small Town Ministry Lawrence W. Farris

/

Adobe ePub DRM

16.19 €

Well Spoken Erik Palmer

/

Adobe ePub DRM

33.79 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?