Search Results for Computer software.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

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)

(207)

Rozenberg, Grzegorz. editor.

(7)

Bernardo, Marco. editor.

(5)

Fages, François. editor.

(5)

Potapov, Igor. editor.

(5)

Rossi, Francesca. editor.

(5)

Ehrig, Hartmut. editor.

(4)

Schwiegelshohn, Uwe. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Bensalem, Saddek. editor.

(3)

Calude, Cristian S. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Frachtenberg, Eitan. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Kučera, Antonín. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Queiroz, Ruy. editor.

(3)

Schürr, Andy. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Chen, Jianer. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Dawar, Anuj. editor.

(2)

Degano, Pierpaolo. editor.

(2)

Derrick, John. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Durand-Lose, Jérôme. editor.

(2)

Eekelen, Marko. editor.

(2)

Fomin, Fedor V. editor.

(2)

Gnesi, Stefania. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Královič, Rastislav. editor.

(2)

Li, Angsheng. editor.

(2)

Li, Jin. editor.

(2)

Liu, Zhiming. editor.

(2)

Margenstern, Maurice. editor.

(2)

Ong, Luke. editor.

(2)

Reeves, Steve. editor.

(2)

Rudolph, Larry. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Schmidt, Renate A. editor.

(2)

Seki, Shinnosuke. editor.

(2)

Shkaravska, Olha. editor.

(2)

Sicard, Gilles. editor.

(2)

Steffen, Martin. editor.

(2)

Stephan, Frank. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Timmis, Jon. editor.

(2)

Vaidya, Jaideep. editor.

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Yli-Jyrä, Anssi. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Ablayev, Farid. editor.

(1)

Aceto, Luca. editor.

(1)

Agrawal, Manindra. editor.

(1)

Albers, Susanne. editor.

(1)

Alt, Helmut. editor.

(1)

Antoš, David. editor.

(1)

Arun-Kumar, S. editor.

(1)

Arvind, V. editor.

(1)

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

(1)

Ayala, José L. editor.

(1)

Azevedo, Francisco. editor.

(1)

Baker, Paul. editor.

(1)

Banerjee, Mohua. editor.

(1)

Barahona, Pedro. editor.

(1)

Barringer, Howard. editor.

(1)

Barthe, Gilles. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Birattari, Mauro. editor.

(1)

Blass, Andreas. 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)

Bodlaender, Hans L. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bornstein, Claudson. editor.

(1)

Bouchou-Markhoff, Béatrice. editor.

(1)

Bouda, Jan. editor.

(1)

Bournez, Olivier. editor.

(1)

Bradley, Aaron R. author.

(1)

Brattka, Vasco. editor.

(1)

Bravetti, Mario. editor.

(1)

Bshouty, Nader H. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Butler, Michael. editor.

(1)

Carlsson, Mats. editor.

(1)

Caron, Pascal. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cerone, Antonio. editor.

(1)

Cervesato, Iliano. editor.

(1)

Champarnaud, Jean-Marc. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Charatonik, Witold. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chattopadhyay, Sanatan. editor.

(1)

Chattopadhyay, Santanu. editor.

(1)

Chen, Danny Z. editor.

(1)

Clarke, Edmund. editor.

(1)

Coecke, Bob. editor.

(1)

Coelho, Helder. editor.

(1)

Cohen, David. editor.

(1)

Constable, Robert L. editor.

(1)

Coppo, Mario. editor.

(1)

Corby, Olivier. editor.

(1)

Corradini, Andrea. editor.

(1)

Correa, José R. editor.

(1)

Croitoru, Madalina. editor.

(1)

Dams, Dennis. editor.

(1)

Datta, Anupam. editor.

(1)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(1)

Delzanno, Giorgio. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dinneen, Michael J. editor.

(1)

Domaratzki, Michael. editor.

(1)

Dong, Yingfei. editor.

(1)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(1)

Dowek, Gilles. author.

(1)

Downey, Rod. editor.

(1)

Duan, Zhenhua. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Durand, Bruno. editor.

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

Eiter, Thomas. editor.

(1)

Engels, Gregor. editor.

(1)

Fahrenberg, Uli. editor.

(1)

Falcone, Ylies. editor.

(1)

Faltings, Boi V. editor.

(1)

Faria, Luerbio. editor.

(1)

Farré, Jacques. editor.

(1)

Feitelson, Dror G. editor.

(1)

Feitelson, Dror. editor.

(1)

Feng, Xinyu. editor.

(1)

Fernau, Henning. editor.

(1)

Fiala, Jiří. editor.

(1)

Finkbeiner, Bernd. editor.

(1)

Finkel, Alain. editor.

(1)

Fitzgerald, John. editor.

(1)

Fontaine, Pascal. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franconi, Enrico. editor.

(1)

Frappier, Marc. editor.

(1)

Fraser, Gordon. editor.

(1)

Frid, Anna. editor.

(1)

Gallardo, María del Mar. editor.

(1)

Galmiche, Didier. editor.

(1)

Gao, Yuan. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

García-Cámara, Braulio. editor.

(1)

Garg, Naveen. editor.

(1)

Gargantini, Angelo. editor.

(1)

Gavrilova, Marina L. editor.

(1)

George, Chris W. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gheorghe, Marian. editor.

(1)

Ghilardi, Silvio. editor.

(1)

Ghose, Aditya. editor.

(1)

Glässer, Uwe. editor.

(1)

Glück, Robert. editor.

(1)

Goranko, Valentin. editor.

(1)

Gorton, Ian. editor.

(1)

Governatori, Guido. editor.

(1)

Grumberg, Orna. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Gębala, Maciej. editor.

(1)

Hagiya, Masami. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Handschuh, Siegfried. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Havelund, Klaus. editor.

(1)

He, Kun. editor.

(1)

Heckel, Reiko. editor.

(1)

Henzinger, Monika. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermanns, Holger. editor.

(1)

Hermenegildo, Manuel. editor.

(1)

Hevia, Alejandro. editor.

(1)

Higashino, Teruo. editor.

(1)

Hillston, Jane. editor.

(1)

Hinchey, Mike. editor.

(1)

Hirsch, Edward A. editor.

(1)

Hliněný, Petr. editor.

(1)

Hnich, Brahim. editor.

(1)

Hoang, Thai Son. editor.

(1)

Hofmeister, Christine. editor.

(1)

Holub, Jan. editor.

(1)

Hoos, Holger H. editor.

(1)

Hoshi, Mizuho. editor.

(1)

Howse, John. editor.

(1)

Hull, Richard. editor.

(1)

Huth, Michael. editor.

(1)

Tümünü genişlet

Dil

(206)

(1)

Yayın Yılı

-

(32)

(32)

(27)

(22)

(22)

(21)

(14)

(13)

(12)

(12)

Tümünü genişlet

Konu

Computer science.

(204)

Computer software.

(201)

Software engineering.

(102)

Artificial intelligence.

(57)

Computational complexity.

(56)

Data structures (Computer science).

(31)

Computer Communication Networks.

(30)

Logics and Meanings of Programs.

(22)

Algorithm Analysis and Problem Complexity.

(21)

Information theory.

(15)

Mathematical Logic and Formal Languages.

(15)

Computation by Abstract Devices.

(12)

Electronic data processing.

(12)

Operating systems (Computers).

(9)

(8)

Computer system performance.

(8)

Algebra -- Data processing.

(7)

Artificial Intelligence (incl. Robotics).

(7)

Computer simulation.

(7)

Computer network architectures.

(6)

Data protection.

(6)

Programming Languages, Compilers, Interpreters.

(6)

Bioinformatics.

(5)

Discrete Mathematics in Computer Science.

(5)

Information Systems.

(4)

Information storage and retrieval systems.

(3)

Logic, Symbolic and mathematical.

(3)

Optical pattern recognition.

(3)

Programming Techniques.

(3)

Translators (Computer programs).

(3)

(2)

Computer vision.

(2)

(2)

Data structures (Computer scienc.

(2)

Database management.

(2)

Information systems.

(2)

(2)

Social sciences -- Data processing.

(2)

Systems and Data Security.

(2)

Text processing (Computer science.

(2)

Computational Biology/Bioinformatics.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer industry.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data encryption (Computer science).

(1)

(1)

Engineering mathematics.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Information and Communication, Circuits.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematics of Computing.

(1)

Numeric Computing.

(1)

Pattern Recognition.

(1)

Systems engineering.

(1)

Theory of Computation.

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

207 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 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.

25.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I için kapak resmi

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Yazar

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05051-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings için kapak resmi

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Yazar

Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III için kapak resmi

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Yazar

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05057-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings için kapak resmi

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings için kapak resmi

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Yazar

Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2712-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings için kapak resmi

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Yazar

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings için kapak resmi

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Yazar

Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers için kapak resmi

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Yazar

Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings için kapak resmi

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Yazar

Schulte, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings için kapak resmi

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar

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

Yer Numarası

ONLINE(335003.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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:

36.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 18

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11