Search Results for European.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Subject: Logic design.

Yazar

SpringerLink (Online service)

(82)

Hartman, Alan. editor.

(3)

Paige, Richard F. editor.

(3)

Rensink, Arend. editor.

(3)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Castagna, Giuseppe. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Drossopoulou, Sophia. editor.

(2)

Huisman, Marieke. editor.

(2)

Inverardi, Paola. editor.

(2)

Seidl, Helmut. editor.

(2)

Zendulka, Jaroslav. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Aceto, Luca. editor.

(1)

Akehurst, David H. editor.

(1)

Aksit, Mehmet. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alfaro, Luca. editor.

(1)

Amadio, Roberto. editor.

(1)

Aßmann, Uwe. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Baresi, Luciano. editor.

(1)

Barthe, Gilles. editor.

(1)

Bernardo, Marco. editor.

(1)

Birkedal, Lars. editor.

(1)

Black, Andrew P. editor.

(1)

Bodik, Rastislav. editor.

(1)

Bononi, Luciano. editor.

(1)

Book, Matthias. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bravetti, Mario. editor.

(1)

Bures, Tomas. editor.

(1)

Cerioli, Maura. editor.

(1)

Cerro, Luis Fariñas. editor.

(1)

Chechik, Marsha. editor.

(1)

Chemello, Gaetano. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Drira, Khalil. editor.

(1)

Duchien, Laurence. editor. (orcid)0000-0002-4517-5862

(1)

Dwyer, Matthew B. editor.

(1)

D’Hondt, Theo. editor.

(1)

Ernst, Erik. editor.

(1)

Esparza, Javier. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fiadeiro, José Luiz. editor.

(1)

Flanagan, Cormac. editor.

(1)

France, Robert B. editor.

(1)

Gaag, Linda C. editor.

(1)

Gardner, Philippa. editor.

(1)

Gervais, Marie-Pierre. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorp, Pieter. editor.

(1)

Gorton, Ian. editor.

(1)

Gruhn, Volker. editor.

(1)

Grumberg, Orna. editor.

(1)

Guessoum, Zahia. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Heckel, Reiko. editor.

(1)

Hendren, Laurie. editor.

(1)

Hermanns, Holger. editor.

(1)

Herzig, Andreas. editor.

(1)

Hofmann, Martin. editor.

(1)

Horváth, András. editor.

(1)

Horváth, Zoltán. editor.

(1)

Huth, Michael. editor.

(1)

Huzar, Zbigniew. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Janhunen, Tomi. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kloul, Leïla. editor.

(1)

Koci, Radek. editor.

(1)

Kolovos, Dimitris. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kreische, David. editor.

(1)

Krishnamurthi, Shriram. editor.

(1)

Kudenko, Daniel. editor.

(1)

Kuester, Jochen M. editor.

(1)

König, Barbara. editor.

(1)

Kühne, Thomas. editor.

(1)

Lara, Juan. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Liu, Weiru. editor.

(1)

Lopes, Antónia. editor.

(1)

Majumdar, Rupak. editor.

(1)

Mengin, Jérôme. editor.

(1)

Meyer, Bertrand. editor.

(1)

Mezini, Mira. editor.

(1)

Moor, Oege. editor.

(1)

Mycroft, Alan. editor.

(1)

Nicola, Rocco. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Noble, James. editor.

(1)

Nowe, Ann. editor.

(1)

Odersky, Martin. editor.

(1)

Ong, Luke. editor.

(1)

Orejas, Fernando. editor.

(1)

Palsberg, Jens. editor.

(1)

Pfenning, Frank. editor.

(1)

Philippou, Anna. editor.

(1)

Piterman, Nir. editor.

(1)

Plasmeijer, Rinus. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Rehof, Jakob. editor.

(1)

Ritter, Tom. editor.

(1)

Rose, Louis M. editor.

(1)

Rosenblum, David S. editor.

(1)

Sagiv, Mooly. editor.

(1)

Sassone, Vladimiro. editor.

(1)

Schieferdecker, Ina. editor.

(1)

Schwartzbach, Michael I. editor.

(1)

Selic, Bran. editor.

(1)

Sestoft, Peter. editor.

(1)

Smolka, Scott A. editor.

(1)

Sossai, Claudio. editor.

(1)

Störrle, Harald. editor.

(1)

Szmuc, Tomasz. editor.

(1)

Szpyrka, Marcin. editor.

(1)

Taentzer, Gabriele. editor.

(1)

Telek, Miklós. editor.

(1)

Terrier, François. editor.

(1)

Thomas, Dave. editor.

(1)

Thomas, Nigel. editor.

(1)

Tolvanen, Juha-Pekka. editor.

(1)

Tuyls, Karl. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Varró, Dániel. editor.

(1)

Vitek, Jan. editor.

(1)

Vogel, Régis. editor.

(1)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(1)

Walter, Bartosz. editor.

(1)

Warmer, Jos. editor.

(1)

Wirsing, Martin. editor.

(1)

Wolter, Katinka. editor.

(1)

Zavattaro, Gianluigi. editor.

(1)

Zeller, Andreas. editor.

(1)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(1)

Zisman, Andrea. editor.

(1)

Zsók, Viktória. editor.

(1)

Zuck, Lenore D. editor.

(1)

Tümünü genişlet

Dil

(82)

Yayın Yılı

-

(10)

(10)

(9)

(8)

(8)

(8)

(8)

(8)

(8)

(3)

(2)

Tümünü genişlet

Konu

Computer science.

(79)

Software engineering.

(78)

Computer Communication Networks.

(38)

Information Systems.

(22)

Artificial intelligence.

(19)

Computer network architectures.

(8)

Computer software.

(8)

Logics and Meanings of Programs.

(8)

Programming Languages, Compilers, Interpreters.

(7)

Computer system performance.

(5)

Information systems.

(5)

Data structures (Computer science).

(4)

Information theory.

(4)

Information storage and retrieval systems.

(3)

Mathematical Logic and Formal Languages.

(3)

Programming Techniques.

(3)

Information Systems Applications (incl. Internet).

(2)

Management of Computing and Information Systems.

(2)

Algebra -- Data processing.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Artificial Intelligence (incl. Robotics).

(1)

(1)

Computation by Abstract Devices.

(1)

Computational complexity.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer vision.

(1)

(1)

(1)

Data structures (Computer scienc.

(1)

Information Storage and Retrieval.

(1)

Mathematical logic.

(1)

Monoclonal antibodies.

(1)

Special Purpose and Application-Based Systems.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

82 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 7

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Yazar

Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-12029-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Yazar

Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-12032-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings için kapak resmi

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Yazar

Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings için kapak resmi

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Yazar

Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13595-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings için kapak resmi

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Yazar

Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Alfaro, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings için kapak resmi

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

Yazar

Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings için kapak resmi

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Yazar

Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings için kapak resmi

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

Yazar

Drossopoulou, Sophia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11