Laneve cosimo (47 resultados)

Paperback. Condición: Usato - Come nuovo. In-16 (Cm 19 x 12,3), pp. 103, brossura editoriale con alette. COME NUOVO.

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condición: New.

Paperback. Condición: New.

Condición: NEW.

Condición: NEW.

Condición: New.

Paperback or Softback. Condición: New. Theoretical Computer Science: 8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Book.

Condición: New.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: new. Paperback. This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani's talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop. Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. This title features topics such as approaches to analyzing and designing systems based on Web Service technology. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: leggerissime tracce d'umidità.

Condición: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.

Paperback. Condición: New.

Condición: New. In.

Paperback. Condición: New.

Paperback. Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: new.

Paperback. Condición: Brand New. 1st edition. 204 pages. 9.20x6.10x0.50 inches. In Stock.

copertina morbida. Condición: buone. Estado de la sobrecubierta: buone. NEL MONDO D'OGGI SI TENDE A SODDISFARE I BISOGNI, MA SI TARPANO LE GRANDI ASPIRAZIONI. ALLA TENSIONE VERSO I VALORI DELL'UMANO E ALLA NAVIGAZIONE VERSO IL MARE APERTO E INFINITO DELL'AVVENTURA, DELL'INCONTRO, DELL'AMORE, DEL DIVERSO, DEL CONOSCERE, DEL SOLIDALE, DEL GIUSTO, SI PREFERISCE IL PICCOLO CABOTAGGIO, NAVIGARE LUNGO LA COSTA PER NON CORRERE RISCHI. E SI ANNEGA NEL VERDE SCURO, NELLA "CALMA PIATTA". OMBRE VAGANTI E AFONE CHE NON CONOSCONO LA PIENEZZA DEL VIVERE. QUESTO LIBRO LANCIA UNA SFIDA: PROGETTARE E COSTRUIRE CIASCUNO, A SUO MODO, LA BELLEZZA DELLA VITA, RISCOPRENDO LA FORTUNA DI ESISTERE SULLA TERRA CON TUTTI.…

paperback. Condición: Fine. Atti del Convegno per la celebrazione del cinquantenario dell'istituzione dell'allora Magistero, 5-6 dicembre 2005. Interventi di Giovanni Massaro, Giuseppe Elia, Giovanna Da Molin, Maria Pagliara, Piero Beraldi, et al. . 8vo. pp. 266. . Ottimo (Fine). . . . Book.

copertina morbida. Condición: buone. Estado de la sobrecubierta: buone. I RACCONTI DI SCUOLA, ATTRAVERSO LE STORIE DI VITA QUOTIDIANA, RINVIANO AL SILENZIO COME OBBLIGO, COME "DISCIPLINA". LA MEMORIA SCOLASTICA &#232 FATTA IN LARGA PARTE DI RISPOSTE A COMANDI, AD IMPERATIVI CATEGORICI PER LA COSTITUZIONE DI QUELL&#39"ORDINE" CHE CONSENTA IL "FARE SCUOLA". MA NON SOLO. IL CULTO DEL SILENZIO &#232 ANCHE INCRIMINAZIONE DELLA PAROLA A SINTOMO-SEGNO DI DISSENSO. IL LIBRO VUOLE FAR RISCOPRIRE LA VALENZA PEDAGOGICA DEL SILENZIO PENSOSO, DI QUEL FERMENTARE DELLA RAGIONE CHE AGISCE COME LIEVITO LENTO, PER EDUCARE GLI ALUNNI (E NON SOLO LORO) AL LAVOR&#236O QUOTIDIANO SU DI S&#233, PER COSTRUIRE LA PROPRIA PERSONALIT&#224 IN UN DIALOGO FECONDO CON LA PROPRIA STORIA, CON GLI ALTRI E CON IL MONDO. TEMPO DI STACCO, NON DEL "FARE NIENTE", MA DEL FARE FECONDO PER S&#233, IL SILENZIO NELLA SCUOLA VIENE RIDISEGNATO NELLE SUE LINEE DIDATTICO-EDUCATIVE, CHE SI FANNO OPPORTUNIT&#224 GHIOTTE PER DARE L&#39ABBRIVIO AD AUTONARRAZIONI, SPECIE SCRITTE, DOVE IL PENSIERO HA IL SUO HABITAT.…

paperback. Condición: Perfetto (Mint). . 8vo. pp. 134. . Perfetto (Mint). . . . Book.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13 15 2003. The center is composed of three large historical and monumental buildings not far from one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers,tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms,datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci cation and ve- cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi cation of Memory Usage), and G erard Boudol (On Programming Models for Mobility).…

copertina morbida. Condición: nuovo. Estado de la sobrecubierta: nuovo. NEL MONDO D'OGGI SI TENDE A SODDISFARE I BISOGNI, MA SI TARPANO LE GRANDI ASPIRAZIONI. ALLA TENSIONE VERSO I VALORI DELL'UMANO E ALLA NAVIGAZIONE VERSO IL MARE APERTO E INFINITO DELL'AVVENTURA, DELL'INCONTRO, DELL'AMORE, DEL DIVERSO, DEL CONOSCERE, DEL SOLIDALE, DEL GIUSTO, SI PREFERISCE IL PICCOLO CABOTAGGIO, NAVIGARE LUNGO LA COSTA PER NON CORRERE RISCHI. E SI ANNEGA NEL VERDE SCURO, NELLA "CALMA PIATTA". OMBRE VAGANTI E AFONE CHE NON CONOSCONO LA PIENEZZA DEL VIVERE. QUESTO LIBRO LANCIA UNA SFIDA: PROGETTARE E COSTRUIRE CIASCUNO, A SUO MODO, LA BELLEZZA DELLA VITA, RISCOPRENDO LA FORTUNA DI ESISTERE SULLA TERRA CON TUTTI.…

Paperback. Condición: New.

Paperback. Condición: New.

Condición: Good. Condizioni dettagliate: Più che buone, più che buone, abrasioni e pieghje sulla sovraccoperta, fioriture sparse, copertina flessibile.