Search Results for Information systems.

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ış:

+

Konu: Logic design.

Yazar

SpringerLink (Online service)

(205)

Aldini, Alessandro. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Reed, Rick. editor.

(5)

Gorrieri, Roberto. editor.

(4)

Jacko, Julie A. editor.

(4)

Paschke, Adrian. editor.

(4)

Beckert, Bernhard. editor.

(3)

Dix, Jürgen. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Higashino, Teruo. editor.

(3)

Małuszyński, Jan. editor.

(3)

Meyer, Bertrand. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Paige, Richard F. editor.

(3)

Rensink, Arend. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Allemang, Dean. editor.

(2)

Aßmann, Uwe. editor.

(2)

Baroglio, Cristina. editor.

(2)

Cavalcanti, Ana. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Decker, Stefan. editor.

(2)

Filipe, Joaquim. editor.

(2)

France, Robert B. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Gotzhein, Reinhard. editor.

(2)

Governatori, Guido. editor.

(2)

Gray, Jeff. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Harrison, Michael D. editor.

(2)

Katz, Shmuel. editor.

(2)

Kienzle, Jörg. editor.

(2)

Kindler, Ekkart. editor.

(2)

Leite, João. editor.

(2)

Marchesi, Michele. editor.

(2)

Marchiori, Massimo. editor.

(2)

Margaria, Tiziana. editor.

(2)

Maynard, Diana. editor.

(2)

Mika, Peter. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Nielsen, Brian. editor.

(2)

Nordio, Martin. editor.

(2)

Paech, Barbara. editor.

(2)

Palanque, Philippe. editor.

(2)

Simao, Adenilso. editor.

(2)

Steffen, Bernhard. editor.

(2)

Succi, Giancarlo. editor.

(2)

Ulrich, Andreas. editor.

(2)

Vallecillo, Antonio. editor.

(2)

Weise, Carsten. editor.

(2)

Wolf, Karsten. editor.

(2)

Aberer, Karl. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Adi, Asaf. editor.

(1)

Akehurst, David H. editor.

(1)

Aksit, Mehmet. editor.

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Aloni, Maria. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antoš, David. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Arbab, Farhad. editor.

(1)

Aroyo, Lora M. editor.

(1)

Atkinson, Colin. editor.

(1)

Atzeni, Paolo. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Barros, Alistair. editor.

(1)

Barthe, Gilles. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Baumann, Christian. author.

(1)

Baumeister, Hubert. editor.

(1)

Beek, Maurice H. editor.

(1)

Beek, Peter. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Bellodi, Elena. editor. (orcid)0000-0002-3717-3779

(1)

Benhamou, Frédéric. editor.

(1)

Benjamins, V. Richard. editor.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Bilgic, Attila. editor.

(1)

Black, Andrew P. editor.

(1)

Blandford, Ann. editor.

(1)

Boer, Frank S. editor.

(1)

Bonatti, Piero A. editor.

(1)

Bononi, Luciano. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Book, Matthias. editor.

(1)

Borba, Paulo. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bouda, Jan. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Brand, Mark. editor.

(1)

Breu, Ruth. editor.

(1)

Broersen, Jan. editor.

(1)

Bruni, Roberto. editor.

(1)

Bry, François. editor.

(1)

Buchs, Didier. editor.

(1)

Butler, Michael. editor.

(1)

Campbell, John A. editor.

(1)

Carette, Jacques. editor.

(1)

Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371

(1)

Cebulla, Michael. editor.

(1)

Cerro, Luis Fariñas. editor.

(1)

Cervesato, Iliano. editor.

(1)

Cha, Sungdeok (Steve). editor.

(1)

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

(1)

Cheung, David. editor.

(1)

Chiba, Shigeru. editor.

(1)

Choi, Jin-Young. editor.

(1)

Choi, Key-Sun. editor.

(1)

Clarke, Peter. editor.

(1)

Concas, Giulio. editor.

(1)

Consel, Charles. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cruz, Isabel. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Cuellar, Jorge. editor.

(1)

Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012

(1)

Dahll, Gustav. editor.

(1)

Damiani, Ernesto. editor.

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dams, Dennis R. editor.

(1)

Daniel, Florian. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Jim. editor.

(1)

Dean, Mike. editor.

(1)

Dingel, Juergen. editor.

(1)

Doherty, Gavin. editor.

(1)

Domingue, John. editor.

(1)

Drira, Khalil. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Dumas, Marlon. editor.

(1)

Echtle, Klaus. editor.

(1)

Eisinger, Norbert. editor.

(1)

Eiter, Thomas. editor.

(1)

Elgesem, Dag. editor.

(1)

England, David. editor.

(1)

Ernst, Erik. editor.

(1)

Faber, Wolfgang. editor.

(1)

Fahringer, Thomas. author.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Finin, Timothy. editor.

(1)

Fisher, Michael. editor.

(1)

Fitzgerald, John. editor.

(1)

Fliedl, Günther. editor.

(1)

Franconi, Enrico. editor.

(1)

Funk, Christian. author.

(1)

Gaag, Linda C. editor.

(1)

Gal, Avigdor. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Gastin, Paul. editor.

(1)

Gaudin, Emmanuel. editor.

(1)

Gašević, Dragan. editor.

(1)

Gervais, Marie-Pierre. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Gheyi, Rohit. editor.

(1)

Ghosh, Sudipto. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gil, Yolanda. editor.

(1)

Gilroy, Stephen W. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Golbeck, Jennifer. editor.

(1)

González-Pérez, César. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gorp, Pieter. editor.

(1)

Gorton, Ian. editor.

(1)

Goubin, Louis. editor.

(1)

Grabowski, Jens. editor.

(1)

Graf, Susanne. editor.

(1)

Graham, T. C. Nicholas. editor.

(1)

Gran, Bjørn Axel. editor.

(1)

Grosky, William I. editor.

(1)

Gruhn, Volker. editor.

(1)

Gurov, Dilian. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Górski, Janusz. editor.

(1)

Hall, John. editor.

(1)

Halpin, Harry. author.

(1)

Hameurlain, Abdelkader. editor.

(1)

Handschuh, Siegfried. editor.

(1)

Harman, Mark. editor.

(1)

Hartmann, Sven. editor.

(1)

Hasegawa, Toru. editor.

(1)

Haupt, Michael. editor.

(1)

Havelund, Klaus. editor.

(1)

Hayes, Ian J. editor.

(1)

Heckel, Reiko. editor.

(1)

Hegner, Stephen J. editor.

(1)

Heineman, George T. editor.

(1)

Henze, Nicola. editor.

(1)

Tümünü genişlet

Dil

(204)

(1)

Yayın Yılı

-

(30)

(30)

(25)

(24)

(20)

(20)

(17)

(17)

(11)

(11)

Tümünü genişlet

Konu

Computer science.

(201)

Software engineering.

(157)

Information Systems.

(100)

Computer Communication Networks.

(95)

Information systems.

(66)

Artificial intelligence.

(48)

Information storage and retrieval systems.

(43)

Logics and Meanings of Programs.

(25)

Multimedia systems.

(19)

Programming Languages, Compilers, Interpreters.

(16)

Computer network architectures.

(15)

(15)

Information Systems Applications (incl. Internet).

(15)

Computer simulation.

(14)

Database management.

(13)

Computer software.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Data encryption (Computer science).

(10)

Operating systems (Computers).

(10)

Data protection.

(7)

Artificial Intelligence (incl. Robotics).

(5)

Computational complexity.

(5)

Information Storage and Retrieval.

(5)

Mathematical Logic and Formal Languages.

(5)

Algebra -- Data processing.

(4)

(4)

Computer system performance.

(4)

Computer Appl. in Administrative Data Processing.

(3)

Data structures (Computer science).

(3)

Programming Techniques.

(3)

Simulation and Modeling.

(3)

Business Information Systems.

(2)

Computer vision.

(2)

Data Mining and Knowledge Discovery.

(2)

Data structures (Computer scienc.

(2)

Operating Systems.

(2)

Special Purpose and Application-Based Systems.

(2)

Telecommunication.

(2)

Translators (Computer programs).

(2)

Algorithm Analysis and Problem Complexity.

(1)

Bioinformatics.

(1)

Computational Biology/Bioinformatics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer security.

(1)

Computers -- Law and legislation.

(1)

Document Preparation and Text Processing.

(1)

(1)

Economics/Management Science.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Software Engineering/Programming and Operating Systems.

(1)

System Performance and Evaluation.

(1)

Systems and Data Security.

(1)

Text processing (Computer science.

(1)

User Interfaces and Human Computer Interaction.

(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ç

205 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 18

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.

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers için kapak resmi

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333558.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings için kapak resmi

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Yazar

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Yer Numarası

ONLINE(332964.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings için kapak resmi

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Yazar

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334691.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings için kapak resmi

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Yazar

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334697.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

Yazar

Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.

Yer Numarası

ONLINE(334822.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings için kapak resmi

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Yazar

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334832.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings için kapak resmi

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Yazar

Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334904.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings için kapak resmi

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Yazar

Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers için kapak resmi

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Yazar

Kienzle, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings için kapak resmi

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Yazar

Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 18

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11