[PDF] Martin Wirsing free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


New Fictions

44 books found   ►also search"Martin Wirsing" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
274301 Iman Poernomo, John N. Crossley, Martin Wirsing Monographs in Computer Science
Adapting Proofs-as-Programs : The Curry-Howard Protocol [1 ed.]
0387237593, 9780387281834, 9780387237596
Springer 2005 417 English 2 Mb pdf GET1
336796 J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.) Lecture Notes in Computer Science 1101
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings [1 ed.]
354061463X, 9783540614630
Springer-Verlag Berlin Heidelberg 1996 647 English 7 Mb djvu GET1
595462 Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.) Lecture Notes in Computer Science 394
Algebraic Methods: Theory, Tools and Applications [1 ed.]
3540516980, 9783540516989
Springer-Verlag Berlin Heidelberg 1989 564 English 5 Mb djvu GET1
146801 Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.) Lecture Notes in Computer Science 159
CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings [1 ed.]
9783540127277, 3540127275
Springer-Verlag Berlin Heidelberg 1983 418 English 4 Mb djvu GET1
962559 Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.) Lecture Notes in Computer Science 159
CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings [1 ed.]
978-3-540-12727-7, 978-3-540-38714-5
Springer-Verlag Berlin Heidelberg 1983 418 English 11 Mb pdf GET1
963788 Friedrich L. Bauer, Martin Wirsing (auth.) Mathematik für Informatiker
Elementare Aussagenlogik [1 ed.]
978-3-540-52974-3, 978-3-642-84263-4
Springer-Verlag Berlin Heidelberg 1991 228 German 8 Mb pdf GET1
2129920 Wirsing, Martin; Bauer, Friedrich Ludwig Mathematik für Informatiker
Elementare Aussagenlogik
3540529748, 978-3-540-52974-3, 9780387529745, 0387529748, 978-3-642-84263-4, 3-540-50304-8
Springer Verlag 1991 228 German 2 Mb djvu GET1
966944 Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.) Lecture Notes in Computer Science 7542
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers [1 ed.]
978-3-642-35886-9, 978-3-642-35887-6
Springer-Verlag Berlin Heidelberg 2013 356 English 7 Mb pdf GET1
595611 Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.) Lecture Notes in Computer Science 5503 : Theoretical Computer Science and General Issues
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [1 ed.]
3642005926, 9783642005923
Springer-Verlag Berlin Heidelberg 2009 488 English 9 Mb pdf GET1
1091708 Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.) Lecture Notes in Computer Science 5503 Theoretical Computer Science and General Issues
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [1 ed.]
978-3-642-00592-3, 978-3-642-00593-0
Springer-Verlag Berlin Heidelberg 2009 488 English 15 Mb pdf GET1
966994 Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.) eXamen.press
Java kompakt: Eine Einführung in die Software-Entwicklung mit Java [1 ed.]
978-3-642-28503-5, 978-3-642-28504-2
Springer-Verlag Berlin Heidelberg 2013 252 German 3 Mb pdf GET1
1157545 Matthias Hölzl, Allaithy Raed, Martin Wirsing eXamen.press) (German Edition
Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java [2013 ed.]
3642285031, 9783642285035
Springer 2013 270 German 5 Mb pdf GET1
1408181 Songmao Zhang, Martin Wirsing, Zili Zhang (eds.) Lecture Notes in Computer Science 9403
Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings [1 ed.]
978-3-319-25158-5, 978-3-319-25159-2
Springer International Publishing 2015 XXVII, 858 English 42 Mb pdf GET1
337904 Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.) Lecture Notes in Computer Science 1009
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report [1 ed.]
3540605894, 9783540605898
Springer-Verlag Berlin Heidelberg 1995 458 English 4 Mb djvu GET1
338153 Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.) Lecture Notes in Computer Science 544
Methods of Programming: Selected Papers on the CIP-Project [1 ed.]
354054576X, 9783540545767
Springer-Verlag Berlin Heidelberg 1991 250 English 2 Mb djvu GET1
185495 Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.) Lecture Notes in Computer Science 2831 : Lecture Notes in Artificial Intelligence
Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings [1 ed.]
3540201246
Springer-Verlag Berlin Heidelberg 2003 234 English 9 Mb pdf GET1
1133691 Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.) Lecture Notes in Computer Science 2831 Lecture Notes in Artificial Intelligence
Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings [1 ed.]
978-3-540-20124-3, 978-3-540-39869-1, 3-540-20124-6
Springer-Verlag Berlin Heidelberg 2003 234 English 5 Mb pdf GET1
595809 Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.) Lecture Notes in Computer Science 528
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings [1 ed.]
3540544445, 9783540544449
Springer-Verlag Berlin Heidelberg 1991 435 English 7 Mb djvu GET1
963614 Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.) Lecture Notes in Computer Science 528
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings [1 ed.]
978-3-540-54444-9, 978-3-540-38362-8
Springer-Verlag Berlin Heidelberg 1991 435 English 12 Mb pdf GET1
185566 Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) Lecture Notes in Computer Science 631
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings [1 ed.]
3540558446, 9783540558446
Springer-Verlag Berlin Heidelberg 1992 494 English 4 Mb djvu GET1
341898 Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.) Lecture Notes in Computer Science 2941
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers [1 ed.]
3540211799, 9783540211792
Springer-Verlag Berlin Heidelberg 2004 359 English 3 Mb pdf GET1
1133290 Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.) Lecture Notes in Computer Science 2941
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers [1 ed.]
978-3-540-21179-2, 978-3-540-24626-8, 3-540-21179-9
Springer-Verlag Berlin Heidelberg 2004 359 English 4 Mb pdf GET1
146057 L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) Lecture Notes in Computer Science 2755
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers [1 ed.]
3540205373, 9783540205371
Springer-Verlag Berlin Heidelberg 2003 464 English 5 Mb pdf GET1
946160 L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) Lecture Notes in Computer Science 2755
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers [1 ed.]
978-3-540-20537-1, 978-3-540-40020-2
Springer-Verlag Berlin Heidelberg 2003 464 English 7 Mb pdf GET1
917297 Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.) Lecture Notes in Computer Science 7137
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers [1 ed.]
9783642284113, 3642284116
Springer-Verlag Berlin Heidelberg 2012 303 English 4 Mb pdf GET1
  ►

If no results, Please search Martin Wirsing here Again OR Here2

  Т.М. Мелькумов, Н.И. Мелик-Пашаев, П.Г. Чистяков, А.Г. Шиуков
S. Harvey
Terje Wagener
John Stanley, Linda Stanley
Блаватский В.Д.
William Hoffman, James E. Smith
Махно В.В.
Victoriano Gaviño Rodríguez
Пойда П.
Rüdiger U. Seydel
Gillian Flynn, Héloïse Esquié
David Lewis
Веселов Г.И., Раевский С.Б.
ДеВитт Брайс С.
Akiva Goldsman, Sylvia Nassar
Timoshenko S.P.
Ihab R Kamel; Elmar M Merkle
Michihiko Matsuda
Felipe Cano Torres (auth.)
E. Becker, R. Neuhaus (auth.), Frédéric Eyssette, André Galligo (eds.)
пеностекло применение  черный пиар это  usp pharmacopoeia pdf  physics text book  beat the market: a scientific stock market system pdf  what is the supreme principle of morality  точка ветвления многозначной функции  types of semiconductors  ретроспективный анализ  journal of organic and inorganic chemistry impact factor