Lin anthony w (52 resultados)

Superaustralians
Mason, Paul; Sequeira, Christopher (EDT); Lin, Matt (ILT); Baez, Marcelo (CRT); Gerencir, Michel (ILT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 15,16
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

- Tapa blanda
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 17,54
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

- Tapa blanda
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de AmericaRarewaves USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,83
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

Superaustralians
Mason, Paul; Sequeira, Christopher (EDT); Lin, Matt (ILT); Baez, Marcelo (CRT); Gerencir, Michel (ILT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 16,71
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 21,95
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).
Más imágenesEditorial: Terminus Publishing Company Inc, Philadelphia, 1988
- Tapa dura
- Primera edición
Librería: biblioboy, North Providence, RI, Estados Unidos de Americabiblioboy
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 13,47
Envío por EUR 6,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Near Fine. First Edition. Philadelphia: Terminus Publishing Company Inc. Near Fine with no dust jacket. 1988. First Edition. Hardcover. First edition. Includes an interview with Clive Barker conducted by Robert Morrish. One of an unstated number of magazine copies bound by the publisher in red cloth as a hardcover with the original magazine cover inside 144 pages, illustrated. Near Fine lightly bumped. Not issued in jacket. clphE.…

- Tapa blanda
- Primera edición
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 21,82
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. 2025. 1st Edition. paperback. . . . . . Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).
Más imágenesEditorial: Terminus Publishing Company Inc, Philadelphia, 1988
- Tapa dura
- Primera edición
Librería: Falling Waters Booksellers, Morganton, GA, Estados Unidos de AmericaFalling Waters Booksellers
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 17,96
Envío por EUR 4,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. 1st Edition. Vol. 50 No. 3. A fine, unmarked copy with little wear. No dust jacket as issued. Lundgren, Carl (ilustrador).

- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 26,78
Envío por EUR 9,16Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. 2025. 1st Edition. paperback. . . . . . Books ship from the US and Ireland. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,27
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

The Modern Gang Reader [Defining & understanding gangs - Defining & researching gangs - History of gang research - Multiple marginality framework of gangs - Antecedents of gang membership - Getting into gangs-- Leaving the gang - Distribution & structures of gangs - Recent patterns of gang problems in the United States : results from the 1996-2002 National Youth Gang Survey - Evolution of street gangs : an examination of form & variation - Street gangs : a cross-national perspective - Gang members on the move - Inside the Fremont Hustlers - Working gang - Overview of the challenge of prison gangs - Race, ethnicity, & gender in gangs - Race & gender differences between gang & nongang youths - Chinese gangs]
Egley, Arlen; Maxson, Cheryl L.; Miller, Jody [Robert J. Bursik Jr., Harold G. Grasmick, Scott H. Decker, Barrik Van Winkle, James Diego Vigil, Terence P. Thornberry, Marvin D. Krohn, Alan J. Lizotte, Carolyn A. Smith, Kimberly Tobin, Jody Miller, Janet L. Lauritsen, Arlen Egley Jr., James C. Howell, Aline K. Major, Deborah Lamm Weisel, Malcolm W. Klein, Cheryl L. Maxson, Mark S. Fleisher, Felix Padilla, Finn-Aage Esbensen, L. Thomas Winfree Jr, Ko-Lin Chin, Hermann Tertilt, Joan Moore, John Hagedorn, Dana Peterson, Geoffrey Hunt, Karen Joe-Laidler, George Tita, Allan Abrahamse, Carolyn Rebecca Block, Richard Block, Avelardo Valdez, Stephen J. Sifaneck, Noelle E. Fearn, G. David Curry, Celeste Fremon, Anthony A. Braga, Vincent J. Webb]
Idioma: Inglés
Editorial: Los Angeles, Calif. : Roxbury Pub. Co., c2006, 2005
- Tapa blanda
Librería: Joseph Valles - Books, Stockbridge, GA, Estados Unidos de AmericaJoseph Valles - Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 49,40
Envío por EUR 14,78Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Soft cover. Condición: Fine. No Jacket. 3rd Edition. 3rd ed. ; xv, 408 p. : ill., maps ; 26 cm ; LCCN 2005012625 ; ISBN 9781931719681 , 1931719683 ; OCLC 60348832 ; stiff color paper wrappers ; Contents: section I. Defining and understanding gangs -- 1. Defining and researching gangs / Robert J. Bursik Jr., Harold G. Grasmick -- 2. The history of gang research / Scott H. Decker, Barrik Van Winkle -- 3. A multiple marginality framework of gangs / James Diego Vigil -- 4. The antecedents of gang membership / Terence P. Thornberry, Marvin D. Krohn, Alan J. Lizotte, Carolyn A. Smith, Kimberly Tobin -- 5. Getting into gangs / Jody Miller -- 6. Leaving the gang / Scott H. Decker, Janet L. Lauritsen -- section II. Distribution and structures of gangs -- 7. Recent patterns of gang problems in the United States : results from the 1996-2002 National Youth Gang Survey / Arlen Egley Jr., James C. Howell, Aline K. Major -- 8. The evolution of street gangs : an examination of form and variation / Deborah Lamm Weisel -- 9. Street gangs : a cross-national perspective / Malcolm W. Klein -- 10. Gang members on the move / Cheryl L. Maxson -- 11. Inside the Fremont Hustlers / Mark S. Fleisher -- 12. The working gang / Felix Padilla -- 13. An overview of the challenge of prison gangs / Mark S. Fleisher, Scott H. Decker -- section III. Race, ethnicity, and gender in gangs -- 14. Race and gender differences between gang and nongang youths : results from a multi-site study / Finn-Aage Esbensen, L. Thomas Winfree Jr -- 15. Chinese gangs and extortion / Ko-Lin Chin -- 16. Patterns of ethnic violence in a Frankfurt street gang / Hermann Tertilt -- 17. Female gangs : a focus on research / Joan Moore, John Hagedorn -- 18. The impact of sex composition on gangs and gang member delinquency / Dana Peterson, Jody Miller, Finn-Aage Esbensen -- section IV. Gangs, violence, and drugs -- 19. Membership in youth gangs and involvement in serious and violent offending / Terence P. Thornberry -- 20. Gang involvement and delinquency in a middle school population / G. David Curry, Scott H. Decker, Arlen Egley Jr -- 21. Situations of violence in the lives of girl gang members / Geoffrey Hunt, Karen Joe-Laidler -- 22. Defining gang homicide : an updated look at member and motive approaches / Cheryl L. Maxson, Malcolm W. Klein -- 23. Gang homicide in L.A., 1981-2001 / George Tita, Allan Abrahamse -- 24. Street gang crime in Chicago / Carolyn Rebecca Block, Richard Block -- 25. 'Getting high and getting by' : dimensions of drug selling behaviors among American Mexican gang members in South Texas / Avelardo Valdez, Stephen J. Sifaneck -- section V. Programs and policies -- 26. Public policy responses to gangs : evaluating the outcomes / Noelle E. Fearn, Scott H. Decker, G. David Curry -- 27. G-Dog and the homeboys / Celeste Fremon -- 28. New approaches to the strategic prevention of gang and group-involved violence / Anthony A. Braga, David M. Kennedy, George E. Tita -- 29. A study of police gang units in six cities / Vincent J. Webb, Charles M. Katz -- 30. Gang problems and gang programs in a national sample of schools : summary / Gary D. Gottfredson, Denise C. Gottfredson -- 31. The national evaluation of the Gang Resistance Education and Training (G.R.E.A.T.) Program / Finn-Aage Esbensen -- 32. Antigang legislation and its potential impact : the promises and the pitfalls / Beth Bjerregaard -- 33. For the sake of the neighborhood? : civil gang injunctions as a gang intervention tool in Southern California / Cheryl L. Maxson, Karen Hennigan, David C. Sloan ; a few bent page corners at back, else FINE. Book. …

- Tapa blanda
Librería: Rarewaves USA United, HEBRON, KY, Estados Unidos de AmericaRarewaves USA United
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 23,41
Envío por EUR 43,60Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 70,95
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,21
Envío por EUR 10,93Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,64
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.

- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 85,26
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16682)
Darulova, Eva (Editor)/ Lin, Anthony W. (Editor)/ Rümmer, Philipp (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,23
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 549 pages. 6.14x1.12x9.21 inches. In Stock.

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, 2026, Proceedings, Part III (Lecture Notes in Computer Science, 16684)
Darulova, Eva (Editor)/ Lin, Anthony W. (Editor)/ Rümmer, Philipp (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,34
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 621 pages. 6.14x1.26x9.21 inches. In Stock.

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16683)
Darulova, Eva (Editor)/ Lin, Anthony W. (Editor)/ Rümmer, Philipp (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,71
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 642 pages. 6.14x1.30x9.21 inches. In Stock.

Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 1721, 2022, Proceedings: 13608 (Lecture Notes in Computer Science, 13608)
Lin, Anthony W. (Editor) / Zetzsche, Georg (Editor) / Potapov, Igor (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,51
Envío por EUR 11,67Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 222 pages. 9.25x6.10x0.67 inches. In Stock.

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,16
Envío por EUR 30,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).…

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,16
Envío por EUR 30,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).…

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,14
Envío por EUR 30,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).…

- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,17
Envío por EUR 9,16Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.

- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 23,40
Envío por EUR 75,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. Lin, Matt; Gerencir, Michel; Chan, W. Chew; Calvert, Anthony; Roux, Cristian; Faber, Jules; Chan, Queenie; Chaloner, Gary; Robins, Simon; Salgado, Ana Marfa Mendez; Scherpenhuizen PhD, J. (ilustrador).

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,41
Envío por EUR 30,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.…
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,90
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Reachability Problems | 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings | Anthony W. Lin (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xliii | Englisch | 2022 | Springer | EAN 9783031191343 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 40,98
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.…

- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,23
Envío por EUR 5,50Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.

- Tapa blanda
- Impresión bajo demanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,27
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC). color: rgb(34, 34, 34);">These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…