Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-15 of 15 results for author "Tarlecki, Andrzej."
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-794 Offsite Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-865 Offsite Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : proceedings / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1117 Offsite Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1494 Offsite Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.).
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35 M387 1991g Off-site Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : proceedings / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1994 Off-site Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 C68 2004 Off-site FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).
- Text
- Berlin ; New York : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 2005g Off-site Automata, languages and programming : 34th international colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007 : proceedings / Lars Arge .. [and others] (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA267 .I55 2007g Off-site Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1987 Off-site Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1987 Off-site Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.).
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35M387 Off-site Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : proceedings / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds.
- Text
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1994 Off-site Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.).
- Text
- Berlin ; New York : Springer-Verlag, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35 M387 Off-site Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, (eds).
- Text
- Berlin ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1994 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.
