Search Results for Analysis.

|

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)

(81)

Aldini, Alessandro. editor.

(4)

Gorrieri, Roberto. editor.

(4)

Huisman, Marieke. editor.

(4)

Barthe, Gilles. editor.

(3)

Abdulla, Parosh Aziz. editor.

(2)

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

(2)

Eekelen, Marko. editor.

(2)

Higashino, Teruo. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Palsberg, Jens. editor.

(2)

Shkaravska, Olha. editor.

(2)

Alpuente, María. editor.

(1)

Asarin, Eugene. editor.

(1)

Bauer, Jörg. editor.

(1)

Bensalem, Saddek. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bouyer, Patricia. editor.

(1)

Braberman, Víctor. editor.

(1)

Brattka, Vasco. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Bultan, Tevfik. editor.

(1)

Burdy, Lilian. editor.

(1)

Cassez, Franck. editor.

(1)

Cha, Sungdeok (Steve). editor.

(1)

Chakraborty, Supratik. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chatterjee, Krishnendu. editor.

(1)

Chin, Wei-Ngan. editor.

(1)

Choi, Jin-Young. editor.

(1)

Coecke, Bob. editor.

(1)

Cousot, Radhia. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Esparza, Javier. editor.

(1)

Fahrenberg, Uli. editor.

(1)

Filé, Gilberto. editor.

(1)

Flanagan, Cormac. editor.

(1)

Fontaine, Pascal. editor.

(1)

Fribourg, Laurent. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Glück, Robert. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Graf, Susanne. editor.

(1)

Grumberg, Orna. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Hankin, Chris. editor.

(1)

Hayes, John P. author.

(1)

Henzinger, Thomas A. editor.

(1)

Hermanns, Holger. editor.

(1)

Herrmann, Peter. editor.

(1)

Hsiung, Pao-Ann. editor.

(1)

Hung, Dang. editor.

(1)

Huth, Michael. editor.

(1)

Izadian, Afshin. author.

(1)

Jain, Sanjay. editor.

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Jard, Claude. editor.

(1)

Juckeland, Guido. editor.

(1)

Jurdziński, Marcin. editor.

(1)

Jurgensen, Helmut. editor.

(1)

Järvisalo, Matti. editor.

(1)

Katayama, Yoshiaki. editor.

(1)

Kim, Moonzoo. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kraemer, Frank Alexander. editor.

(1)

Krishnaswamy, Smita. author.

(1)

Kularatna, Nihal

(1)

König, Barbara. editor.

(1)

Lahiri, Shuvendu K. editor.

(1)

Lau, Lap Chi. editor.

(1)

Lee, Insup. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Liu, Zhiming. editor.

(1)

Logozzo, Francesco. editor.

(1)

Löwe, Benedikt. editor.

(1)

Majumdar, Rupak. editor.

(1)

Markov, Igor L. author.

(1)

Martel, Matthieu. editor.

(1)

Martinelli, Fabio. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Masuzawa, Toshimitsu. editor.

(1)

Miller, D. Michael. editor.

(1)

Miné, Antoine. editor.

(1)

Mogavero, Fabio. author.

(1)

Mukund, Madhavan. editor.

(1)

Munos, Rémi. editor.

(1)

Muntean, Traian. editor.

(1)

Müller-Olm, Markus. author.

(1)

Namjoshi, Kedar S. editor.

(1)

Nielson, Hanne Riis. editor.

(1)

Ničković, Dejan. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Okamura, Yoshio. editor.

(1)

Ong, Luke. editor.

(1)

Ouaknine, Joël. editor.

(1)

Panangaden, Prakash. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Peled, Doron A. editor.

(1)

Pettersson, Paul. editor.

(1)

Peña, Ricardo. editor.

(1)

Philippou, Anna. editor.

(1)

Pichardie, David. editor.

(1)

Piterman, Nir. editor.

(1)

Platzer, André. author.

(1)

Podelski, Andreas. editor.

(1)

Potapov, Igor. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234

(1)

Qadeer, Shaz. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Raskin, Jean-François. editor.

(1)

Ravn, Anders P. editor.

(1)

Reed, Rick. editor.

(1)

Rehof, Jakob. editor.

(1)

Reis, Rogério. editor.

(1)

Reps, Thomas. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Sagiv, Mooly. editor.

(1)

Schmidt, David. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schulte, Christian. editor.

(1)

Shur, Arseny M. editor.

(1)

Siegler, Simon. editor.

(1)

Simon, Axel. editor.

(1)

Siveroni, Igor. editor.

(1)

Smolka, Scott A. editor.

(1)

Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696

(1)

Stephan, Frank. editor.

(1)

Su, Zhendong. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thiagarajan, P. S. editor.

(1)

Trevisan, Luca. editor.

(1)

Tripakis, Stavros. editor.

(1)

Truthe, Bianca. editor.

(1)

Tsay, Yih-Kuen. editor.

(1)

Vaandrager, Frits W. editor.

(1)

Van Gelder, Allen. editor.

(1)

Vidal, Germán. editor.

(1)

Viswanathan, Mahesh. editor.

(1)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

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

(1)

Wang, Chao. editor.

(1)

Wasser, Nathan. editor.

(1)

Yahav, Eran. editor.

(1)

Yamashita, Masafumi. editor.

(1)

Yi, Kwangkeun. editor.

(1)

Yi, Wang. editor.

(1)

Yokoyama, Tetsuo. editor.

(1)

Yoneda, Tomohiro. editor.

(1)

Zeugmann, Thomas. editor.

(1)

Zhang, Guochuan. editor.

(1)

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

(1)

Zhang, Wenhui. editor.

(1)

Zuck, Lenore D. editor.

(1)

Tümünü genişlet

Dil

(82)

Yayın Yılı

-

(25)

(7)

(7)

(6)

(6)

(6)

(6)

(5)

(5)

(5)

(3)

(1)

Tümünü genişlet

Konu

Computer science.

(78)

Software engineering.

(63)

Computer software.

(33)

Computer Communication Networks.

(25)

Logics and Meanings of Programs.

(24)

Algorithm Analysis and Problem Complexity.

(21)

Mathematical Logic and Formal Languages.

(16)

Artificial intelligence.

(15)

Computation by Abstract Devices.

(11)

Programming Languages, Compilers, Interpreters.

(8)

Artificial Intelligence (incl. Robotics).

(7)

Information systems.

(7)

Operating systems (Computers).

(6)

Computational complexity.

(5)

Discrete Mathematics in Computer Science.

(5)

Programming Techniques.

(5)

Computer simulation.

(4)

Computer system performance.

(4)

Data encryption (Computer science).

(4)

Data protection.

(4)

Information Systems.

(4)

Information theory.

(3)

Algebra -- Data processing.

(2)

Computer hardware.

(2)

Computer network architectures.

(2)

Electronic data processing.

(2)

Microprocessors.

(2)

Systems and Data Security.

(2)

Arithmetic and Logic Structures.

(1)

(1)

Circuits and Systems.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer industry.

(1)

Computer interfaces.

(1)

Computer logic.

(1)

Computer security.

(1)

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science).

(1)

(1)

Digital electronics.

(1)

Digital multimeters.

(1)

Electronic circuits.

(1)

Electronic instruments, Digital.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Information and Communication, Circuits.

(1)

Instruments--Display systems.

(1)

Logic, Symbolic and mathematical.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical analysis.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

(1)

Microcomputers--Buses.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Optical pattern recognition.

(1)

(1)

Pattern Recognition.

(1)

Performance and Reliability.

(1)

Probability and Statistics in Computer Science.

(1)

Programming languages (Electronic computers).

(1)

Signal processing--Digital techniques.

(1)

Signals and signaling.

(1)

Social sciences -- Data processing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special purpose computers.

(1)

Spectral analysis.

(1)

Spectrum analysis.

(1)

Symbolic and Algebraic Manipulation.

(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

82 sonuç bulundu

Arama sonuçlarına abone ol

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

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Yazar

Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334913.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers için kapak resmi

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Yazar

Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings için kapak resmi

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Yazar

Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

Yazar

Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings için kapak resmi

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Yazar

Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings için kapak resmi

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Yazar

Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 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

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers için kapak resmi

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

Yazar

Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures için kapak resmi

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

Yazar

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings için kapak resmi

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Yazar

Yahav, Eran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Yazar

Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11