Marcello M. Bonsangue (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.09 MB

0 / 0

english, 2010

2

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 3.18 MB

0 / 0

english, 2007

3

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 7.29 MB

0 / 0

english, 2004

4

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.20 MB

0 / 0

english, 2010

5

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.59 MB

0 / 0

english, 2012

6

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 6.30 MB

0 / 0

english, 2008

7

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 4.72 MB

0 / 0

english, 2013

8

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Springer-Verlag Berlin Heidelberg

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 4.48 MB

0 / 0

english, 2009

9

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Springer-Verlag Berlin Heidelberg

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 6.67 MB

0 / 0

english, 2009

10

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 6.24 MB

0 / 0

english, 2013

11

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer International Publishing

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 14.27 MB

0 / 0

english, 2016

12

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 3.57 MB

0 / 0

english, 2007

13

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 7.96 MB

0 / 0

english, 2008

14

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 3.85 MB

0 / 0

english, 2006

15

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 6.30 MB

0 / 0

english, 2012

16

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.93 MB

0 / 0

english, 2008

17

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 3.87 MB

0 / 0

english, 2003

18

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Marcello M. Bonsangue (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 4.03 MB

0 / 0

english, 2014

19

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 9.52 MB

0 / 0

english, 2004

20

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jurriaan Rot, Frank de Boer, Marcello Bonsangue (auth.), Farhad Arbab, Marjan Sirjani (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 8.06 MB

0 / 0

english, 2013

21

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 6.84 MB

0 / 0

english, 2013

22

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.31 MB

0 / 0

english, 2010

23

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 3.67 MB

0 / 0

english, 2006

24

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.88 MB

0 / 0

english, 2010