Search Results for Foundations.

1.

Network Analysis Methodological Foundations

Yazar

Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106453

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Trusted Autonomy

Yazar

Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64816-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04771-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Yazar

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03044-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

Yazar

Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91473-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

Yazar

Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91476-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Yazar

Pudlák, Pavel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332681.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-00119-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Yazar

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38164-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Yazar

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334925.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40313-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Yazar

Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27901-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Yazar

Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28472-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

Yazar

Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32589-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Foundations on Natural and Artificial Computation 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

Yazar

Ferrández, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz, Félix. editor. Toledo, F. Javier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21344-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

Yazar

Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22993-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

Yazar

Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11829-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

Yazar

Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-15155-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Yazar

Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-03459-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

Yazar

Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-03816-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings

Yazar

Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-04944-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Yazar

Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85238-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Yazar

Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73482-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

Yazar

Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74456-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

Yazar

Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77050-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedings

Yazar

Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74871-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Yazar

Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11821069

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

Yazar

Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11944836

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

Yazar

Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104325

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Yazar

Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11590156

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

Yazar

Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136551

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Yazar

Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138412

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Yazar

Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11549345

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

Yazar

Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11571155

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Yazar

Paule, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332822.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Yazar

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334718.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}