Search Results for Science -- Software.

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)

(404)

Voronkov, Andrei. editor.

(12)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Arbab, Farhad. editor.

(5)

Rozenberg, Grzegorz. editor.

(5)

Beckert, Bernhard. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Graf, Susanne. editor.

(4)

Havelund, Klaus. editor.

(4)

Meyer, Bertrand. editor.

(4)

Potapov, Igor. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Sirjani, Marjan. editor.

(4)

Veith, Helmut. editor.

(4)

Wolff, Burkhart. editor.

(4)

Alpuente, María. editor.

(3)

Barthe, Gilles. editor.

(3)

Broy, Manfred. editor.

(3)

Butler, Michael. editor.

(3)

Governatori, Guido. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Liu, Zhiming. editor.

(3)

Margaria, Tiziana. editor.

(3)

Montanari, Ugo. editor.

(3)

Palsberg, Jens. editor.

(3)

Paschke, Adrian. editor.

(3)

Pol, Jaco. editor.

(3)

Rahonis, George. editor.

(3)

Roşu, Grigore. editor.

(3)

Schürr, Andy. editor.

(3)

Steffen, Bernhard. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Wolf, Karsten. editor.

(3)

Woodcock, Jim. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Bensalem, Saddek. editor.

(2)

Bin, Eyal. editor.

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Cavalcanti, Ana. editor.

(2)

Cook, Byron. editor.

(2)

Cousot, Radhia. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Davies, Jim. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Erdem, Esra. editor.

(2)

Faber, Wolfgang. editor.

(2)

Filipe, Joaquim. editor.

(2)

Hage, Jurriaan. editor.

(2)

Hanus, Michael. editor.

(2)

Heckel, Reiko. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hinze, Ralf. editor.

(2)

Huisman, Marieke. editor.

(2)

Hähnle, Reiner. editor.

(2)

Jhala, Ranjit. editor.

(2)

Johnson, Michael. editor.

(2)

Joshi, Rajeev. editor.

(2)

Julliand, Jacques. editor.

(2)

Kindler, Ekkart. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Koutny, Maciej. editor.

(2)

Kowalewski, Stefan. editor.

(2)

Kreowski, Hans-Jörg. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Lange, Tanja. editor.

(2)

Leavens, Gary T. editor.

(2)

Leucker, Martin. editor.

(2)

Leuschel, Michael. editor.

(2)

Logozzo, Francesco. editor.

(2)

Lämmel, Ralf. editor.

(2)

Maciaszek, Leszek A. editor.

(2)

Majumdar, Rupak. editor.

(2)

Marchesi, Michele. editor.

(2)

Meisinger, Michael. editor.

(2)

Meseguer, José. editor.

(2)

Miller, Dale. editor.

(2)

Morazán, Marco T. editor.

(2)

Muntean, Traian. editor.

(2)

Méry, Dominique. editor.

(2)

Nicola, Rocco. editor.

(2)

Nordio, Martin. editor.

(2)

Núñez, Manuel. editor.

(2)

Ong, Luke. editor.

(2)

Orejas, Fernando. editor.

(2)

Paech, Barbara. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Peled, Doron A. editor.

(2)

Pfenning, Frank. editor.

(2)

Podelski, Andreas. editor.

(2)

Păsăreanu, Corina S. editor.

(2)

Qadeer, Shaz. editor.

(2)

Sagiv, Mooly. editor.

(2)

Salaün, Gwen. editor.

(2)

Saraiva, João. editor.

(2)

Schaub, Torsten. editor.

(2)

Schmidt, David. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Shao, Zhong. editor.

(2)

Simao, Adenilso. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Sokolsky, Oleg. editor.

(2)

Son, Tran Cao. editor.

(2)

Succi, Giancarlo. editor.

(2)

Szyperski, Clemens. editor.

(2)

Taentzer, Gabriele. editor.

(2)

Torre, Leon. editor.

(2)

Treharne, Helen. editor.

(2)

Ur, Shmuel. editor.

(2)

Varró, Dániel. editor.

(2)

Visser, Joost. editor.

(2)

Yi, Kwangkeun. editor.

(2)

Zeller, Andreas. editor.

(2)

Ziv, Avi. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abdallah, Ali E. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(1)

Aceto, Luca. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Alagar, V.S. author.

(1)

Albers, Susanne. editor.

(1)

Albert, Elvira. editor.

(1)

Alfaro, Luca. editor.

(1)

Almeida, José Bacelar. author.

(1)

Aloni, Maria. editor.

(1)

Alt, Helmut. editor.

(1)

Amadio, Roberto. editor.

(1)

Anai, Hirokazu. editor.

(1)

Armando, Alessandro. editor.

(1)

Arun-Kumar, S. editor.

(1)

Arvind, V. editor.

(1)

Asarin, Eugene. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Atzeni, Paolo. editor.

(1)

Audebaud, Philippe. editor.

(1)

Avigad, Jeremy. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Backhouse, Roland. editor.

(1)

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

(1)

Baker, Paul. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Matteo. editor.

(1)

Banach, Richard. editor.

(1)

Baresi, Luciano. editor.

(1)

Barner, Sharon. editor.

(1)

Barringer, Howard. editor.

(1)

Barros, Alistair. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Bauer, Jörg. editor.

(1)

Baumann, Christian. author.

(1)

Baumeister, Hubert. editor.

(1)

Baumgartner, Peter. editor.

(1)

Becker, Steffen. editor.

(1)

Beek, Maurice H. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Bemporad, Alberto. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Beringer, Lennart. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Beyer, Dirk. editor.

(1)

Bicchi, Antonio. editor.

(1)

Biere, Armin. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Binder, Walter. editor.

(1)

Birkedal, Lars. editor.

(1)

Bjøner, Dines. author.

(1)

Bjørner, Dines. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blesa, María J. editor.

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Blum, Christian. editor.

(1)

Blume, Matthias. editor.

(1)

Bobaru, Mihaela. editor.

(1)

Boca, Paul. editor.

(1)

Bodden, Eric. editor.

(1)

Bodik, Rastislav. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Borba, Paulo. editor.

(1)

Boreale, Michele. editor.

(1)

Bouyer, Patricia. editor.

(1)

Bowman, Howard. author.

(1)

Bošnački, Dragan. editor.

(1)

Braberman, Víctor. editor.

(1)

Brat, Guillaume. editor.

(1)

Brim, Luboš. editor.

(1)

Tümünü genişlet

Dil

(401)

(3)

Yayın Yılı

-

(56)

(54)

(49)

(44)

(42)

(40)

(38)

(37)

(32)

(11)

(1)

Tümünü genişlet

Konu

Computer science.

(400)

Software engineering.

(399)

Artificial intelligence.

(91)

Computer software.

(60)

Logics and Meanings of Programs.

(54)

Information Systems.

(48)

Programming Languages, Compilers, Interpreters.

(30)

Mathematical Logic and Formal Languages.

(28)

Computational complexity.

(27)

Algebra -- Data processing.

(26)

Computer simulation.

(26)

Operating systems (Computers).

(25)

Data structures (Computer science).

(17)

Information systems.

(15)

Programming Techniques.

(15)

Artificial Intelligence (incl. Robotics).

(13)

Information theory.

(13)

Computation by Abstract Devices.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Data protection.

(8)

Information Systems Applications (incl. Internet).

(8)

Information storage and retrieval systems.

(8)

Management information systems.

(8)

(7)

(6)

Database management.

(6)

Bioinformatics.

(5)

Management of Computing and Information Systems.

(5)

Discrete Mathematics in Computer Science.

(4)

Electronic data processing.

(4)

Special Purpose and Application-Based Systems.

(4)

Computer system performance.

(3)

Data encryption (Computer science).

(3)

Information Storage and Retrieval.

(3)

Logic, Symbolic and mathematical.

(3)

Probability and Statistics in Computer Science.

(3)

Simulation and Modeling.

(3)

Software Engineering/Programming and Operating Systems.

(3)

(2)

Computational Biology/Bioinformatics.

(2)

Computer Communication Networks.

(2)

Computer Science, general.

(2)

Computer industry.

(2)

Computer network architectures.

(2)

Computer vision.

(2)

Data Mining and Knowledge Discovery.

(2)

Multimedia systems.

(2)

Operating Systems.

(2)

(1)

Business Information Systems.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Data Structures.

(1)

(1)

Information Systems and Communication Service.

(1)

Mathematics of Computing.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems and Data Security.

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

404 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 34

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.

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Yazar

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Birkedal, Lars. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Hofmann, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

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:

7.

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Yazar

Amadio, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers için kapak resmi

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Yazar

Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Yazar

Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Yazar

Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 34

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11