Importo totale (1 articolo articoli):
Destinazione ordine:
ramakrishnan c r (72 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (72)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (60)
- Come nuovo, Ottimo o Quasi ottimo (12)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (24)
- Non Print on Demand (62)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Composites
Editore: New Age International (P) Ltd., 2000
ISBN 10: 8122412513 ISBN 13: 9788122412512
Lingua: Inglese
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 16,42
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. viii + 210 Diagram, Acknowledgement.
-
Tools And Algorithms For The Construction And Analysis Of System
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 29,40
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Tools And Algorithms For The Construction And Analysis Of System
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 29,40
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
EUR 30,70
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
EUR 38,07
Convertire valutaGratis per la spedizione da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Model Checking Software : 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,77
Convertire valutaEUR 2,26 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,59
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,59
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Deductive and Object-Oriented Databases : 5th International Conference, Dood '97, Montreux, Switzerland, December 8-12, 1997 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,18
Convertire valutaEUR 2,26 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 57,74
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 540.
-
Model Checking Software (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10: 3642391753 ISBN 13: 9783642391750
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 62,25
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general. This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Katha Vilasam : The Story Within
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,08
Convertire valutaEUR 2,26 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Practical Aspects of Declarative Languages (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10: 354043092X ISBN 13: 9783540430926
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,14
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002. The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Katha Vilasam : The Story Within
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,85
Convertire valutaEUR 2,26 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Deductive and Object-Oriented Databases : 5th International Conference, Dood '97, Montreux, Switzerland, December 8-12, 1997 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,62
Convertire valutaEUR 2,26 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Tools and Algorithms for the Construction and Analysis of Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,60
Convertire valutaEUR 7,43 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 540 Illus.
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2008
ISBN 10: 3540787992 ISBN 13: 9783540787990
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 65,84
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvite d lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement.The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Tools and Algorithms for the Construction and Analysis of Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 58,13
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 540.
-
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 14TH INTERNATIONAL CONFERENCE, TACAS 2008, HELD AS PART OF THE JOINT EUROPEAN CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE, ETAPS 2008, BUDAPEST, HUNGARY, MARCH 29-APRIL 6, 2008, P
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,08
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,86
Convertire valutaEUR 13,70 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,86
Convertire valutaEUR 13,70 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Practical Aspects of Declarative Languages
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 71,08
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 364.
-
Model Checking Software
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 71,33
Convertire valutaEUR 3,42 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 388.
-
Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,31
Convertire valutaEUR 17,71 per la spedizione da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Model Checking Software : 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,85
Convertire valutaEUR 17,15 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Deductive and Object-Oriented Databases : 5th International Conference, Dood '97, Montreux, Switzerland, December 8-12, 1997 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,85
Convertire valutaEUR 17,15 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Katha Vilasam : The Story Within
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,79
Convertire valutaEUR 17,15 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Katha Vilasam : The Story Within
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,63
Convertire valutaEUR 17,15 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Deductive and Object-Oriented Databases : 5th International Conference, Dood '97, Montreux, Switzerland, December 8-12, 1997 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,77
Convertire valutaEUR 17,15 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 89,83
Convertire valutaGratis per la spedizione da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
