Nerode anil (298 risultati)
- Brossura
Da: George Cross Books, Lexington, MA, U.S.A.George Cross Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 16,02
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Reprint edition. Very Good/Wraps (34601) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 1234 This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia,…in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community. 431.
- Brossura
Da: Canal Bookyard, Upper Black Eddy, PA, U.S.A.Canal Bookyard
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 17,80
EUR 3,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Trade Paperback. Condizione: Very Good. No Jacket. Purple and black titles on pale green and pink trade paper covers, 288 pages. Contributors include: J. J. Alferes, J. N. Aparicio, C. Baral, P. Bonatti, G. Brewka, J. Dix, P. M. Dung, P. Geerts, M. Gelfond, A. Kakas, L.T. McCarty, M. Maher, D. Makinson, P. Mancarella, W. Marek,…L. M. Pereira, S. G. Pimentel, H. Przymusinska, T. Przymusinski, W. L. Rodi, P. Ruamviboonsuk, D. Sacca, K. Schlechta, J. S. Schlipf, G. Schwarz, V. S. Subrahmanian, M. Truszczynski, D. Vermeir and C. Zaniolo.
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
HOMER, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Brossura
Da: G. & J. CHESTERS, TAMWORTH, , Regno UnitoG. & J. CHESTERS
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 13,24
EUR 8,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
Hybrid Systems (Lecture Notes in Computer Science 736)
Nerode, Anil; Grossman, Robert L.; Ravn, Anders P. & Rischel, Hans (eds.)
- Brossura
Da: PsychoBabel & Skoob Books, Didcot, Regno UnitoPsychoBabel & Skoob Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 8,01
EUR 14,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. No Dust Jacket. Lecture Notes in Computer Science 736; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Soun…d, clean book with tight binding. ADG. Ex-Library.
- Brossura
Da: PsychoBabel & Skoob Books, Didcot, Regno UnitoPsychoBabel & Skoob Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 9,51
EUR 14,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. No Dust Jacket. Lecture Notes in Artificial Intelligence 928, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.
Lingua: Inglese
Editore: Springer 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Rilegato
Da: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 21,79
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Good. 2nd. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
- Brossura
Da: Rothwell & Dunworth (ABA, ILAB), Dulverton, Regno UnitoRothwell & Dunworth (ABA, ILAB)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 11,93
EUR 14,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
Lingua: Inglese
Editore: Secaucus, New Jersey, U.S.A.: Springer Verlag 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
- Edizione Internazionale
Da: Sizzler Texts, SAN GABRIEL, CA, U.S.A.Sizzler Texts
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 18,65
EUR 8,63 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: New. Condizione sovraccoperta: New. 2nd Edition. **International edition** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. Th…e book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service.
Lingua: Inglese
Editore: Springer, New York, NY 1997
Serie: Texts in Computer Science, Libro 2 di 83. Libro 2 di 83 - Texts in Computer Science
- Brossura
- Edizione Internazionale
Da: Aideo Books, San Marino, CA, U.S.A.Aideo Books
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 26,68
EUR 4,28 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Trade paperback. Condizione: New in new dust jacket. 2nd ed. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book pri…nted in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Sewn binding. Cloth over boards. 469 p. Contains: Illustrations. Graduate Texts in Computer Science. Audience: General/trade.
Altre immagini- Rilegato
- Prima edizione
Da: avelibro OHG, Dinkelscherben, , Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 22,00
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
24 x 16 cm. Condizione: Gut. 1. Auflage. XIV, 430 Seiten Innen sehr sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Ecken und Kapitale etwas bestoßen und aufgerieben. - Progress in Computer Science and Applied Logic, volume 21. - D…a hier 4 Exemplare angeboten werden, können die Bilder evtl. leicht abweichen. DH-30-08A Sprache: Englisch Gewicht in Gramm: 800.
- Brossura
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 33,13
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 37,06
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 33,82
EUR 3,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Brossura
Da: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, GermaniaVersandbuchhandlung Kisch & Co.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 2,24
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1…996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
- Rilegato
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 30,78
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 452 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 36,21
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 452.
- Brossura
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 37,49
EUR 3,89 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 15 (weekend SALE item)* 404 pp., ex library, else textually clean & tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional…duties, taxes, or fees required by recipient's country.
- Brossura
- Prima edizione
Da: True Oak Books, Highland, NY, U.S.A.True Oak Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 44,50
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good+. Lecture Notes In Computer Science, 620; 6.1 X 1.19 X 9.25 inches; 514 pages; Ex-Library copy with usual identifiers. Light yellowing on pages. Slightly cocked spine. Minor creasing on spine. Light rubbing on the covers. Good condition otherwise. No other noteworthy defects. No markings on text pages…. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 33,05
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 452.
- Brossura
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 44,96
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Editore: Springer-Verlag, New York 1974
- Rilegato
- Prima edizione
Da: Abacus Bookshop, Pittsford, NY, U.S.A.Abacus Bookshop
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 26,70
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Nearly fine copy. 1st. 8vo, 146 pp., A volume in the series "Ergebnisse der Mathematik und ihrer Granzgebiete", "Discard" stamp on front free endpaper but no library marks elsewhere.
- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, , Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 16,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: as new. Cambridge, MA: The MIT Press, 1991. Paperback. 301 pp.The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic…as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. English text. Condition : as new. Condition : as new copy. ISBN 9780262640275. Keywords : , Logic programming.
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1990
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,03
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuiti…onistic logic and PROLOG programming.
- Brossura
Da: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, GermaniaChe & Chandler Versandbuchhandlung
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 2,99
EUR 45,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1…996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,75
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,75
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,75
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,75
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 50,25
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. 1992nd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Lingua: Tedesco
Editore: Berlin ; Heidelberg ; Singapore ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer 1995
- Brossura
Da: NEPO UG, Rüsselsheim am Main, , GermaniaNEPO UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 6,70
EUR 24,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
kart. Condizione: Gut. 1995. VIII, 567 S. : graph. Darst. Sprache: Deutsch Gewicht in Gramm: 1800.
