logic programming 25th international conference iclp

Logic Audio Workshop [With CDROM]

ISBN: , SKU: , AUTHOR: Bellingham, Dave, PUBLISHER: Wizoo, The Logic Audio guide covers all Logic versions up to, and including, Logic 6. The enclosed CD-ROM includes a number of plug-in and application demo versions, utilities and support material that will aid your understanding of Logic.

Computer programming collezione

Vendo la mia collezione riviste programmazione COMPUTER PROGRAMMING dal N°3 Aprile fino a fino al numeri in ottime condizioni

Logic and Computation: Interactive Proof with Cambridge Lcf

ISBN: , SKU: , AUTHOR: Paulson, Lawrence C., PUBLISHER: Cambridge University Press, Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.

Nintendo DSi XL Super Mario Bros 25th Anniversary

Nuovissima, usata poco, Nintendo 25th Anniversario completa di penne e cavetteria oltre ai 4 giochi da me inclusi come da foto, anche il gioco incorporato Brain Training, tutto ad Euro

JETHRO TULL box 4 cd 25th

JETHRO TULL box 4 cd 25th Anniversary con libretto rarità fuori catalogo ottime condizioni prezzo non trattabile

25th anniversary of the australian ballet

Vendo busta commemorativa 25TH ANNIVERSARY OF THE AUSTRALIAN BALLET . Primo giorno di emissione:2 Settembre .

Advanced CORBA Programming with C++

Advanced CORBA Programming with C++ Michi Henning Stephen Vinoski Il libro è praticamente nuovo

Custodia Case Logic macchina fotografica reflex

Vendo custodia originale Case Logic mai utilizzata. Marca Case Logic Dimensioni: 20x9xh15 cm

UNIX - Sviluppo del software di networking

Di Richard W. Stevens, Gruppo Editoriale Jackson - Prentice Hall International, titolo originale Unix Network Programming, quindi un po' datato. Circa 900 pagine totali, ISBN . Consegna a mano o spedizione postale per sette euro.

Flipper VINTAGE (Data East STAR TREK 25TH

Ad amanti e collezionisti di flipper d'epoca, vendo flipper data east star trek 25th anniversary funzionante ma da restaurare. visionabile a molfetta. trasporto escluso.

Videoproiettore Esselte Conference Line mod. 511

Da fallimento videoproiettore usato perfettamente funzionante Esselte Dymo Conference Line mod. 511 CAVO DI ALIMENTAZIONE NON INCLUSO

NINTENDO DS XL 25th Anniversary Super Mario

Vendo nintendo ds XL 25th Anniversary Super Mario Bros+custodia+scheda sd 2GB+carica batteria. Prezzo 60 euro trattabili. zona Marghera (ve). tel 347

Alcatel Conference - ATL - Sistema di - NUOVO -

Prodotto Nuovo - Fatturabile - - - Alcatel Conference - ATL - Sistema di Conferencing con 4 Microfoni DECT Integrati, Nero

Busta 25th Anniversary Apollo 11 Moon Landing )

Busta 25th Anniversary Apollo 11 Moon Landing - spedizione: € 1,70 con "Piego di libro" non tracciabile

Lamborghini Countach 25th Ann. scala 1/16

Scatola di montaggio piuttosto rara in scala 1/16 della Fujimi della Lamborghini Countach 25th Anniversary Edition. Le parti sono ancora imbustate nella confezione originale. Prezzo non trattabile.

Astuccio hp 12c platinum 25th

Vendo in splendide condizioni astuccio per calcolatrice HP 12c Platinum 25th anniversario, originale HP e in perfette condizioni. Comprese le spese di spedizione

Soundstation logic

offro SOUNDSTATION LOGIC3 LOGIC IP102S prezzo minimo SOUND STATION LOGIC IP102S I-STATION TRAVELLER SILVER

The c++ programming language (third edition)

vendo testo the c++ programming language (third edition) autore stroustroup comprato nuovo nel (edizione vecchia)

Introduction to Programming with Fortran

Vendo libro "Introduction to Programming with Fortran" di Chivers e Sleightholme completo di cd. Chiedo 15€.

Digital Logic and Microprocessors

ISBN: , SKU: , AUTHOR: Hill, Frederick / Peterson, Gerald R. / Hill, Fredrick J., PUBLISHER: John Wiley & Sons, A carefully integrated treatment for a one- or two-semester first course in computer hardware at the sophomore/junior level, this text includes up-to-date discussions of digital logic combined with an in-depth look at microprocessor programming and interface design. An introduction to hardware description languages is provided as a means of describing more complex sequential circuits and as a transition to microprocessors.

Cryptography and Coding: 7th Ima International Conference,

ISBN: , SKU: , AUTHOR: Walker, M. / Walker, Michael, PUBLISHER: Springer, This book constitutes the refereed proceedings of the 7th IMA Conference on Cryptography and Coding held in Cirencester, UK, in December . The 35 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. Among the topics covered are error-correcting coding, arithmetic coding for data compression and encryption, image coding, biometric authentication, broadcast channel access, graph and trellis decoding, turbo codes, convolution codes, Reed Solomon codes, elliptic curve cryptography, primality testing, finite-field arithmetic, and cryptographic protocols.

Super Mario All Stars 25th Anniversary Wii

Super Mario All Stars 25th Anniversary Wii, usato solo 2-3 volte, perfetto. Danilo

International Law Directory, Martindale Hubbell e

MARTINDALE HUBBELL: International Law Directory World volumi International Law Directory World volumi International Law Directory Italy Switzerland International Law Directory Italy Switzerland International Law Digest World International Law Digest World Libri in inglese per le biblioteche degli Studi Legali. Tutti in ottime condizioni pur con minimi segni d'uso.

Cisco IP Conference Station CP- VoIP

Vendiamo Cisco IP Conference Station CP- VoIP usato 130€ costi di spedizione a parte oppure ritiro gratuito in sede a Roma

Libri Informatica - Reti Computer - Programming

Contatto: Enrico 340 Vendo i seguenti libri (15 euro l'uno): - Reti di computer di Andrew Tanenbaum terza edizione. -Unix Network Programming di Richard Stevens (Voume 1) Tenuti molto bene come da foto.

Contatto

• ← Precedente
• Successivo →