Search Results for Essays.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(78)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Meseguer, José. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Dershowitz, Nachum. editor.

(2)

Jones, Cliff B. editor.

(2)

Liu, Zhiming. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Woodcock, Jim. editor.

(2)

Abrial, Jean-Raymond. editor.

(1)

Aceto, Luca. editor.

(1)

Achten, Peter. editor.

(1)

Agha, Gul. editor.

(1)

Albers, Susanne. editor.

(1)

Alt, Helmut. editor.

(1)

Artikis, Alexander. editor.

(1)

Avron, Arnon. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Balduccini, Marcello. editor.

(1)

Barik, Rajkishore. editor.

(1)

Bauer, Jörg. editor.

(1)

Blass, Andreas. editor.

(1)

Bodlaender, Hans L. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bongard, Josh. editor.

(1)

Bonsangue, Marcello. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bordihn, Henning. editor.

(1)

Borgida, Alexander T. editor.

(1)

Calmet, Jacques. editor.

(1)

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706

(1)

Chaudhri, Vinay K. editor.

(1)

Coecke, Bob. editor.

(1)

Comon-Lundh, Hubert. editor.

(1)

Constable, Robert L. editor.

(1)

Craven, Robert. editor.

(1)

Dams, Dennis. editor.

(1)

Danvy, Olivier. editor.

(1)

Davis, Martin. editor.

(1)

Day, Adam. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Derler, Patricia. editor.

(1)

Dohi, Tadashi. editor.

(1)

Downey, Rod. editor.

(1)

Düsterhöft, Antje. editor.

(1)

Elomaa, Tapio. editor.

(1)

Engels, Gregor. editor.

(1)

Erdem, Esra. editor.

(1)

Fan, Wenfei. editor.

(1)

Fellows, Michael. editor.

(1)

Fomin, Fedor V. editor.

(1)

Fourman, Michael. editor.

(1)

Futatsugi, Kokichi. editor.

(1)

Geiselmann, Willi. editor.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Giorgini, Paolo. editor.

(1)

Glässer, Uwe. editor.

(1)

Goldreich, Oded. editor.

(1)

Graciani, Carmen. editor.

(1)

Greenberg, Noam. editor.

(1)

Grumberg, Orna. editor.

(1)

Gupta, Rajiv. editor.

(1)

Hankin, Chris. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Heisel, Maritta. editor.

(1)

Hemmje, Matthias. editor.

(1)

Heumann, Christian. author.

(1)

Hopcroft, Philippa. editor.

(1)

Hutter, Dieter. editor.

(1)

Härder, Theo. editor.

(1)

Iida, Fumiya. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jouannaud, Jean-Pierre. editor.

(1)

Kaminski, Michael. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katz, Shmuel. editor.

(1)

Kelemen, Jozef. editor.

(1)

Kelemenová, Alica. editor.

(1)

Kesim Çiçekli, Nihan. editor.

(1)

Khoussainov, Bakhadyr. editor.

(1)

Kiefer, Stefan. editor.

(1)

Kirchner, Claude. editor.

(1)

Kirchner, Hélène. editor.

(1)

Klettke, Meike. editor.

(1)

Koopman, Pieter. editor.

(1)

Krebbers, Robbert. editor.

(1)

Kreowski, Hans-Jörg. editor.

(1)

Kuich, Werner. editor.

(1)

Kutrib, Martin. editor.

(1)

Kučera, Antonín. editor. (orcid)0000-0002-6602-8028

(1)

Křetínský, Jan. editor.

(1)

Langerak, Rom. editor.

(1)

Lazić, Ranko. editor.

(1)

Lee, Joohyung. editor.

(1)

Legay, Axel. editor.

(1)

Lehner, Wolfgang. editor.

(1)

Levit, Vadim E. editor.

(1)

Lewerentz, Claus. editor.

(1)

Li, He. editor.

(1)

Libkin, Leonid. editor.

(1)

Lierler, Yuliya. editor.

(1)

Lindley, Sam. editor.

(1)

Lindén, Krister. editor.

(1)

Lipshteyn, Marina. editor.

(1)

Lipton, Richard J. author.

(1)

Liu, Yu. editor.

(1)

Lloyd, John L. editor.

(1)

Lohstroh, Marten. editor.

(1)

Lungarella, Max. editor.

(1)

Manna, Zohar. editor.

(1)

Mannila, Heikki. editor.

(1)

Marciniak, Małgorzata. editor.

(1)

Mardare, Radu. editor.

(1)

Marx, Dániel. editor.

(1)

McBride, Conor. editor.

(1)

McConnell, Ross M. editor.

(1)

Melnikov, Alexander. editor.

(1)

Mi, Jinhua. editor.

(1)

Middeldorp, Aart. editor.

(1)

Milner, R. (Robin), 1934-2010.

(1)

Montanari, Ugo. editor.

(1)

Mykowiecka, Agnieszka. editor.

(1)

Müller, Peter. editor.

(1)

Müller-Quade, Jörn. editor.

(1)

Münch, Jürgen. editor.

(1)

Naccache, David. editor.

(1)

Nakagawa, Toshio. editor.

(1)

Ng’ang’a, Wanjiku. editor.

(1)

Nicola, Rocco. editor.

(1)

Niederée, Claudia. editor.

(1)

Näher, Stefan. editor.

(1)

Ong, Luke. editor.

(1)

Oostrom, Vincent. editor.

(1)

Orejas, Fernando. editor.

(1)

Orponen, Pekka. editor.

(1)

Palsberg, Jens. editor.

(1)

Palsberg, Jens. editor. (orcid)0000-0003-4747-365X

(1)

Panangaden, Prakash. editor.

(1)

Pearce, David. editor.

(1)

Peled, Doron A. editor.

(1)

Pfeifer, Rolf. editor.

(1)

Plotkin, G. (Gordon), 1946-

(1)

Pogodalla, Sylvain. editor.

(1)

Probst, Christian W. editor.

(1)

Păun, Gheorghe. editor.

(1)

Quatrini, Myriam. editor.

(1)

Raamsdonk, Femke. editor.

(1)

Rabinovich, Alexander. editor.

(1)

Rahonis, George. editor.

(1)

Ravi, S. S. editor.

(1)

Ray, Indrajit. editor.

(1)

Ray, Indrakshi. editor.

(1)

Regan, Kenneth W. author.

(1)

Reisig, Wolfgang. editor.

(1)

Rensink, Arend. editor.

(1)

Reps, Thomas. editor.

(1)

Retoré, Christian. editor.

(1)

Riscos-Núñez, Agustín. editor.

(1)

Risse, Thomas. editor.

(1)

Rosamond, Frances. editor.

(1)

Rosenberg, Arnold L. editor.

(1)

Rutten, Jan. editor.

(1)

Sadighi, Babak. editor.

(1)

Sagiv, Mooly. editor.

(1)

Salomaa, Arto. editor.

(1)

Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santos, Diana. editor.

(1)

Schaefer, Ina. editor.

(1)

Schaerf, Marco. editor.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schmid, Klaus. editor.

(1)

Schonberg, Edmond. editor.

(1)

Schäfer, Wilhelm. editor.

(1)

Schürr, Andy. editor.

(1)

Selman, Alan L. editor.

(1)

Shalabh. author.

(1)

Shukla, Sandeep K. editor.

(1)

Silva, Alexandra. editor.

(1)

Sirjani, Marjan. editor.

(1)

Son, Tran Cao. editor.

(1)

Stathis, Kostas. editor.

(1)

Steffen, Martin. editor.

(1)

Stephan, Werner. editor.

(1)

Stickel, Mark E. editor.

(1)

Stirling, Colin P.

(1)

Stock, Oliviero. editor.

(1)

Sukhatme, Gaurav. editor.

(1)

Taentzer, Gabriele. editor.

(1)

Language

(79)

Publication Date

-

(10)

(9)

(9)

(6)

(6)

(6)

(5)

(5)

(4)

(4)

(4)

(4)

(3)

(2)

(1)

(1)

Subject

Software engineering.

(39)

(27)

Artificial intelligence.

(24)

Computer software.

(13)

Computer Science Logic and Foundations of Programming.

(11)

Computer Communication Networks.

(10)

Theory of Computation.

(10)

Computational complexity.

(8)

Information theory.

(8)

(7)

Electronic data processing.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Formal Languages and Automata Theory.

(6)

Machine theory.

(6)

Computer simulation.

(5)

Information systems.

(5)

Algebra -- Data processing.

(4)

Data encryption (Computer science).

(4)

(4)

Logic, Symbolic and mathematical.

(4)

Logics and Meanings of Programs.

(4)

Mathematical Logic and Formal Languages.

(4)

Programming Languages, Compilers, Interpreters.

(4)

Programming Techniques.

(4)

Translators (Computer programs).

(4)

Computational linguistics.

(3)

Computer network architectures.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Artificial Intelligence (incl. Robotics).

(2)

Computer Modelling.

(2)

Computer networks .

(2)

Computer programming.

(2)

Computer science -- Mathematics.

(2)

Data protection.

(2)

(2)

Information Systems.

(2)

Information storage and retrieval systems.

(2)

Mathematics of Computing.

(2)

Optical pattern recognition.

(2)

Quantum theory.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Application software.

(1)

Applications of Mathematics.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

(1)

(1)

Computation by Abstract Devices.

(1)

Computer Engineering and Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer and Information Systems Applications.

(1)

Computer engineering.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer security.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Control engineering systems.

(1)

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Distribution (Probability theory).

(1)

Economics, Mathematical.

(1)

Engineering design.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Management of Computing and Information Systems.

(1)

Marine engineering.

(1)

Math Applications in Computer Science.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

(1)

Microprogramming.

(1)

Milner, R. (Robin), 1934-

(1)

Milner, R. (Robin), 1934-2010.

(1)

(1)

Operating systems (Computers).

(1)

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Production engineering.

(1)

Quality Control, Reliability, Safety and Risk.

(1)

Quantum Physics.

(1)

Robotics and Automation.

(1)

Simulation and Modeling.

(1)

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(1)

(1)

(1)

Text processing (Computer science.

(1)

Theoretische Informatik.

(1)

Vehicle Engineering.

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

79 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Author

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97274-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Author

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97492-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75783-9

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75775-4

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75778-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Author

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61716-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Author

Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56222-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Author

Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28859-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for From Database to Cyber Security Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday

From Database to Cyber Security Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday

From Database to Cyber Security Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday

Author

Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Ray, Indrajit. editor. Ray, Indrakshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Author

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01461-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Author

Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98047-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Author

Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95246-8

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11