Search Results for Logic

1.

Computational logic

Yer Numarası

ONLINE(355347.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444516244

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Introduction to logic

Yazar

Suppes, Patrick Colonel, 1922-

Yer Numarası

BC 108 S85 1957

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Logic in games

Yazar

Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.

Yer Numarası

ONLINE(364947.1)

Elektronik Erişim

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Advances in modal logic

Yazar

Kracht, Marcus, ed.

Yer Numarası

BC 199.M6 A38 1998- V.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

5.

The logic of practice

Yazar

Bourdieu, Pierre, 1930-2002

Yer Numarası

GN 468 B6813 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Mathematical logic : A course with exercises

Yazar

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

7.

Logic : the theory of formal inference

Yazar

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Yer Numarası

BC 108 A55 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Chance, love and logic : philosophical essays

Yazar

Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.

Yer Numarası

B 945.P43 C5 1923 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

9.

Studies in inductive logic and probability

Yazar

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Yer Numarası

QA 273.4 C37 1971-

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

The Bloomsbury companion to philosophical logic

Yazar

Horsten, Leon. Pettigrew, Richard.

Yer Numarası

BC71 B583 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

The rise of modern logic from Leibniz to Frege

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444516114

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

The technique of controversy : principles of dynamic logic

Yazar

Bogoslovsky, Boris Basil, 1890-

Yer Numarası

BC 108 B65 1928 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

13.

The limits of science : outline of logic and of the methodology of the exact sciences

Yazar

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Yer Numarası

Q 175 C494 1948 A (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

14.

Postmodernism, or, The cultural logic of late capitalism

Yazar

Jameson, Fredric.

Yer Numarası

PN 98.P67 J3 1991

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

15.

Seizing power the strategic logic of military coups

Yazar

Singh, Naunihal. Project Muse.

Yer Numarası

ONLINE(322955.1)

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Introduction to type-2 fuzzy logic control : theory and applications

Yazar

Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.

Yer Numarası

ONLINE(341947.1)

Elektronik Erişim

CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961
ebrary http://site.ebrary.com/id/10882750
John Wiley http://dx.doi.org/10.1002/9781118886540
MyiLibrary http://www.myilibrary.com?id=618887

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Marx's Capital and Hegel's Logic : a reexamination

Yazar

Moseley, Fred, 1946- Smith, Tony, 1951-

Yer Numarası

HB501.M37 M392 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

18.

Formal logic, or, The calculus of inference, necessary and probable

Yazar

De Morgan, Augustus, 1806-1871, author.

Yer Numarası

BC135 D4 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

19.

Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina

Yazar

Kehoe, Genevieve M., 1979- author. Project Muse.

Yer Numarası

ONLINE(322990.1)

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Yazar

Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44116-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Building a programmable logic controller with a PIC16F648A microcontroller

Yazar

Uzam, Murat, author.

Yer Numarası

ONLINE(342576.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Foundations of fuzzy logic and semantic web languages

Yazar

Straccia, Umberto.

Yer Numarası

ONLINE(342752.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

The limits of neoliberalism : authority, sovereignty and the logic of competition

Yazar

Davies, William, 1976- author.

Yer Numarası

HB95 D384 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

24.

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Yazar

Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08587-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Yazar

Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08615-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Yazar

Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Yazar

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08867-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Yazar

Janjua, Naeem Khalid. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-03949-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

Yazar

Siddique, Nazmul. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-02135-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Yazar

Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09764-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Yazar

Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44145-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12904-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Yazar

Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08970-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14125-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

Yazar

Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4614-9429-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Yazar

Dowek, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08918-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city”

Yazar

Falahat, Somaiyeh. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-04596-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Yazar

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44923-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Yazar

Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13281-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Yazar

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07151-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Yazar

Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54789-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Logical studies

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 6 W72 1957 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

43.

A treatise on induction and probability

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 91 W72 1951 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

44.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Yazar

Nicod, Jean, 1893-1924.

Yer Numarası

QA 681 N5 1930 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

45.

The foundations of mathematics : and other logical essays

Yazar

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Yer Numarası

QA 9 R23 1931

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

46.

The nature of mathematics : a critical survey

Yazar

Black, Max, 1909-

Yer Numarası

QA 9 B62 1933 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

47.

An examination of logical positivism

Yazar

Weinberg, Julius Rudolf, 1908-

Yer Numarası

B 824.6 W434 1936 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

48.

Cylindric algebras

Yazar

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Yer Numarası

QA 9 H415 1971- V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

49.

Communication : a philosophical study of language

Yazar

Britton, Karl, 1909-

Yer Numarası

P 105 B75 1939 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

50.

Dialectic

Yazar

Adler, Mortimer Jerome, 1902-

Yer Numarası

BC 177 A4 1927 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

51.

The logical syntax of language

Yazar

Carnap, Rudolf, 1891-1970.

Yer Numarası

BC 135 C323 1937 P (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

52.

İslam mantık tarihi ve Farabi mantığı

Yazar

Keklik, Nihat.

Yer Numarası

BC 34 K4 1969-70

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

53.

Nonlinear biomedical signal processing

Yazar

Akay, Metin.

Yer Numarası

QT 26.5 N813 2000-

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

54.

Nonlinear biomedical signal processing

Yazar

Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.

Yer Numarası

R 857.S47 N66 2000- V.2

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

55.

Police and profiling in the United States applying theory to criminal investigations

Yazar

Barrow, Lauren M., 1968- Rufo, Ron A.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Rousseau on education, freedom, and judgment

Yazar

Schaeffer, Denise, 1968- author. Project Muse.

Yer Numarası

ONLINE(322904.1)

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Duns Scotus on time and existence the questions on Aristotle's On interpretation

Yazar

Duns Scotus, John, approximately 1266-1308. Buckner, Edward, 1955- translator. Project Muse.

Yer Numarası

ONLINE(323973.1)

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

A scientific approach to writing for engineers and scientists

Yazar

Berger, Robert E., author.

Yer Numarası

ONLINE(341949.1)

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9781118886779

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Mantık bilimi : (büyük mantık)

Yazar

Hegel, Georg Wilhelm Friedrich Yardımlı, Aziz.

Yer Numarası

B2942 H445 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

60.

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

Yazar

Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09274-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Anahatlarda felsefi bilimler ansiklopedisi - I : mantık bilimi (küçük mantık)

Yazar

Hegel, Georg Wilhelm Friedrich

Yer Numarası

REF/B2918.T9 Y37 2014 V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

62.

Paper money collapse : the folly of elastic money

Yazar

Schlichter, Detlev S., 1964-

Yer Numarası

ONLINE(341934.1)

Elektronik Erişim

Cover image http://catalogimages.wiley.com/images/db/jimages/9781118877326.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1725086
ebrary http://site.ebrary.com/id/10891169
John Wiley http://dx.doi.org/10.1002/9781118877340
Cover http://swbplus.bsz-bw.de/bsz41055152xcov.htm

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Red Kant : Aesthetics, Marxism, and the Third Critique

Yazar

Wayne, Mike.

Yer Numarası

B2799.A4 W39 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

64.

Commonsense reasoning an event calculus-based approach

Yazar

Mueller, Erik T., author.

Yer Numarası

ONLINE(355437.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128014165

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Monica Bonvicini

Yazar

Kraynak, Janet, author. Rebentisch, Juliane, 1970- author. Alberro, Alexander, author.

Yer Numarası

N6923.B5937 M66 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

66.

Designs on the contemporary anthropological tests

Yazar

Rabinow, Paul, author. Stavrianakis, Anthony, author.

Yer Numarası

GN33 R33 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

67.

Sosyal varlık varlıkbilimine doğru : emek

Yazar

Lukacs, Georg. Tekşen, Ayşen.

Yer Numarası

B2949 L963 2014 V.3

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

68.

Sayısal tasarım

Yazar

Mano, M. Morris. Boğosyan, Seta, çev. Gökaşan, Metin, çev. Kurtulan, Salman, çev.

Yer Numarası

TK7888.3 M35 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

69.

Belirsizlik ve fazi aritmetiği : sosyal bilimlerin dili

Yazar

Armutlulu, İsmail Hakkı.

Yer Numarası

QA248.5 A76 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

70.

Beyond-CMOS Nanodevices 1

Yazar

Balestra, Francis.

Yer Numarası

ONLINE(342103.1)

Elektronik Erişim

Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1706877
ebrary http://site.ebrary.com/id/10879744
John Wiley http://dx.doi.org/10.1002/9781118984772
MyiLibrary http://www.myilibrary.com?id=621893

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Yazar

Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10885-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Yazar

Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44121-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54862-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Yazar

Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09761-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Yazar

Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06089-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06410-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Yazar

Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06686-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Yazar

Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06251-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Yazar

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08311-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Yazar

Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08789-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings

Yazar

Kryszkiewicz, Marzena. editor. Cornelis, Chris. editor. Ciucci, Davide. editor. Medina-Moreno, Jesús. editor. Motoda, Hiroshi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08729-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Yazar

Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10936-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Yazar

Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11558-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Yazar

Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Yazar

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11737-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Yazar

Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11743-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Yazar

Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10061-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Yazar

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10431-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Yazar

Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10181-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10515-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Concrete Semantics With Isabelle/HOL

Yazar

Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10542-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Yazar

Fages, François. editor. Piazza, Carla. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07602-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Yazar

Barkatou, Moulay. editor. Cluzeau, Thomas. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54479-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Semantics of Probabilistic Processes An Operational Approach

Yazar

Deng, Yuxin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45198-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Yazar

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54108-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Transactions on Petri Nets and Other Models of Concurrency IX

Yazar

Koutny, Maciej. editor. Haddad, Serge. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45730-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Introduction to Software Quality

Yazar

O’Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06106-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Yazar

Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Yazar

Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14130-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05032-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Yazar

Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04915-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

Yazar

Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43742-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Yazar

Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45917-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Yazar

Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05215-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Transactions on Computational Science XXIV Special Issue on Reversible Computing

Yazar

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45711-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Yazar

Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13350-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Yazar

Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II

Yazar

Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44465-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04156-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Yazar

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Verification of Business Rules Programs

Yazar

Berstel-Da Silva, Bruno. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-40038-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Yazar

Yahav, Eran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13338-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

Yazar

McCarthy, Jay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45340-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Yazar

Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6368-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Yazar

O'Sullivan, Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10428-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Yazar

Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Yazar

Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04534-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

Yazar

Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08644-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Yazar

Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Yazar

Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Yazar

Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09704-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Yazar

Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09870-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Yazar

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09970-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Yazar

Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10587-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Yazar

Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10557-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Yazar

Norman, Gethin. editor. Sanders, William. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10696-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13206-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

Yazar

Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13413-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Yazar

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08795-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11245-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Yazar

Abadi, Martín. editor. Lluch Lafuente, Alberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Yazar

McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54013-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Yazar

Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43376-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

Yazar

Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Yazar

Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07734-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Yazar

Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04939-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

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

Yazar

Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44124-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54118-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Yazar

Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07512-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings

Yazar

Przepiórkowski, Adam. editor. Ogrodniczuk, Maciej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10888-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Yazar

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12466-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Yazar

Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08846-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54804-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Yazar

Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45489-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Yazar

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07317-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Yazar

Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09698-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45231-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Yazar

Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44522-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Applications of Graphene An Overview

Yazar

Wolf, E. L. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-03946-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Emerging Non-Volatile Memories

Yazar

Hong, Seungbum. editor. Auciello, Orlando. editor. Wouters, Dirk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4899-7537-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Charles Sanders Peirce in His Own Words : 100 Years of Semiotics, Communication and Cognition

Yazar

Alexander, Victoria N., contributor. Andacht, Fernando, contributor. Anderson, Douglas, contributor. Anellis, Irving, contributor. Annoni, Marco, contributor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9781614516415
https://www.degruyter.com/isbn/9781614516415
Cover https://www.degruyter.com/document/cover/isbn/9781614516415/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Sign Studies and Semioethics : Communication, Translation and Values

Yazar

Petrilli, Susan, author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9781614515227
https://www.degruyter.com/isbn/9781614515227
Cover https://www.degruyter.com/document/cover/isbn/9781614515227/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

On Semiotic Modeling

Yazar

Anderson, Myrdene, contributor. Anderson, Myrdene, editor. Baer, Eugen, contributor. Beaugrande, Robert de, contributor. Bunn, James H., contributor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9783110849875
https://www.degruyter.com/isbn/9783110849875
Cover https://www.degruyter.com/document/cover/isbn/9783110849875/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Language and Thought

Yazar

Pollock, John L., author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9781400856480
https://www.degruyter.com/isbn/9781400856480
Cover https://www.degruyter.com/cover/covers/9781400856480.jpg

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings

Yazar

Glodeanu, Cynthia Vera. editor. Kaytoue, Mehdi. editor. Sacarea, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07248-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II

Yazar

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08855-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Yazar

Cai, Zhipeng. editor. Zelikovsky, Alexander. editor. Bourgeois, Anu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54624-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45234-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Yazar

Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44602-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Yazar

Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10882-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Practical Analysis of Algorithms

Yazar

Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Yazar

van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09165-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III

Yazar

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08852-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar

Derrick, John. author. Boiten, Eerke A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-5355-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Yazar

Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44980-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings

Yazar

Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11206-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11936-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Yazar

Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10702-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Yazar

Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08494-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Engineering Secure Future Internet Services and Systems Current Research

Yazar

Heisel, Maritta. editor. Joosen, Wouter. editor. López, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07452-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54830-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Yazar

Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54848-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Yazar

Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43652-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Yazar

Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05843-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Yazar

van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06880-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

Yazar

Jones, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44202-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Yazar

Baldan, Paolo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44584-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Yazar

Garrigue, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12736-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Yazar

Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43613-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Yazar

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08260-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Yazar

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44857-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Shao, Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54833-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Yazar

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12214-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings

Yazar

Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10223-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4939-0369-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Wörterbücher / Dictionaries / Dictionnaires : Ein internationales Handbuch zur Lexikographie / An International Encyclopedia of Lexicography / Encyclopédie internationale de lexicographie. Supplementary Volume, Dictionaries. An International Encyclopedia of Lexicography ; Supplementary Volume: Recent Developments with Focus on Electronic and Computational Lexicography

Yazar

Abel, Andrea, contributor. Afane-Otsaga, Thierry, contributor. Alvarez, Francisco, contributor. Asmussen, Jörg, contributor. Atkins, Beryl T. Sue, contributor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9783110238136
https://www.degruyter.com/isbn/9783110238136
Cover https://www.degruyter.com/document/cover/isbn/9783110238136/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}