Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-9 of 9 results for author "Podelski, Andreas."
Tree automata and languages / edited by Maurice Nivat, Andreas Podelski.
- Text
- Amsterdam ; New York : North-Hollandi, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 93-802 Offsite Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1010 Offsite Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).
- Text
- Berlin ; New York : Springer-Verlag, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2988Item details Format Call Number Item Location Text JSE 04-1023 Offsite Tree automata and languages / edited by Maurice Nivat, Andreas Podelski.
- Text
- Amsterdam ; New York : North-Hollandi, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA267.5.S4 T74 1992 Off-site Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.
- Text
- Berlin ; New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.612 .C67 1995 Off-site Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barselona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).
- Text
- New York : Springer-Verlag, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 T33 2004 Off-site Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.).
- Text
- Berlin ; New York : Springer, 2007.
- 2007
- 1 Item
Item details Format Call Number Item Location Text QA76.76.V47 V53 2007g Off-site Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.
- Text
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.612 .C67 1995 Off-site Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.612 .C67 1995 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
