Search Results for

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:

+

Shelf Location: Electronic Library

+

Subject: Computer programming.

Author

SpringerLink (Online service)

(66)

Attaway, Stormy.

(2)

(2)

Geshi, Masaaki. editor.

(2)

Mohiuddin, Taqi.

(2)

Nawrocki, Matt.

(2)

Abelson, Harold.

(1)

Abreu, Jorge. editor.

(1)

Abásolo, María José. editor. (orcid)0000-0003-4441-3264

(1)

Agha, Gul. editor.

(1)

Aiello, Marco. author.

(1)

Almeida, Pedro. editor.

(1)

Ampatzoglou, Apostolos. editor.

(1)

Angeline, Peter J.

(1)

Antonakos, James L.

(1)

Aßmann, Uwe. editor.

(1)

Badger, Julia M. editor.

(1)

Bencomo, Nelly. editor.

(1)

Bhowmik, Tanmay. editor.

(1)

Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280

(1)

Bjørner, Nikolaj. editor.

(1)

Bodden, Eric. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonfante, Guillaume. editor.

(1)

Bordini, Rafael H.

(1)

Bosse, Tibor. editor.

(1)

Braffort, P. (Paul)

(1)

Braffort, P. (Paul), editor.

(1)

Broekens, Joost. editor.

(1)

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Cao, Jian-nong. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Carvey, Harlan A.

(1)

Cassez, Franck. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chelliah, Pethuru Raj. author.

(1)

Cheng, Betty H.C. editor.

(1)

Chiba, Shigeru. editor.

(1)

Codish, Michael. editor.

(1)

Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822

(1)

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887

(1)

Dalziel, Henry, editor.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Dias, João. editor. (orcid)0000-0002-1653-1821

(1)

Dix, Jürgen. editor.

(1)

Dumitrescu, Sorina.

(1)

Ebert, David S., 1964-

(1)

Egges, Arjan. author.

(1)

Ensmenger, Nathan, 1972-

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Felleisen, Matthias.

(1)

Fernández, Maribel. author.

(1)

Ferrari, Giulio.

(1)

Ferrari, Mario.

(1)

Fiadeiro, José Luiz. editor.

(1)

Fischbach, Kai. editor.

(1)

Fitzgerald, Brian. editor.

(1)

Flatt, Matthew. editor.

(1)

(1)

Fokker, Jeroen D. author.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

France, Robert B. editor.

(1)

(1)

Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942

(1)

Garrido, José M., author.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Ghatak, Abhijit. author.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gil-Costa, Veronica. editor.

(1)

Grossi, Davide. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Guo, Hai-Feng. editor.

(1)

Gupta, Gopal. editor.

(1)

Halfacree, Gareth.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

(1)

(1)

Hirschberg, D. (David)

(1)

Hirschberg, D. (David), editor.

(1)

Horváth, Zoltán. editor.

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Hunt, John. author.

(1)

Hübner, Jomi Fred.

(1)

IEEE Xplore (Online Service), distributor.

(1)

Igarashi, Atsushi. editor.

(1)

Iope, Rogério. editor.

(1)

Jeffers, Jim (Computer engineer), author.

(1)

Jones, Richard. editor.

(1)

Kienzle, Jörg. editor.

(1)

Kindratenko, Volodymyr. editor.

(1)

Kinnear, Kenneth E.

(1)

Knight, William. author.

(1)

Kobayashi, Naoki. editor.

(1)

Kothapalli, Kishore. editor.

(1)

Krieger, Udo R. editor.

(1)

Kubiak, Ryszard.

(1)

Lacey, Nichola, author.

(1)

Le Goues, Claire. editor.

(1)

Leone, Nicola. editor.

(1)

Lieberman, Henry, 1952-

(1)

Lifschitz, Vladimir.

(1)

Lima, Fernanda. editor. (orcid)0000-0001-6300-818X

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Liu, Zhiming. editor.

(1)

MIT Press, publisher.

(1)

Malizia, Alessio. editor.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Mansfield, Richard, 1945-

(1)

Maoz, Shahar. editor.

(1)

Marques, Osni. editor.

(1)

Masuhara, Hidehiko. editor.

(1)

Matsuoka, Satoshi. editor.

(1)

McCarthy, Jay. editor.

(1)

McCarthy, John, 1927-2011.

(1)

Meheus, Joke. editor.

(1)

Merz, Stephan. editor.

(1)

Metzger, Robert C.

(1)

Mockus, Audris. editor.

(1)

Mohanty, Hrushikesha. editor.

(1)

Morch, Anders. editor.

(1)

Myreen, Magnus. editor.

(1)

Nardi, Bonnie A.

(1)

Naumann, Uwe, 1969-

(1)

Nejati, Shiva. editor.

(1)

Orejas, Fernando. editor.

(1)

O’Regan, Gerard. author.

(1)

Paes, Aline. editor.

(1)

Pang, Jun. editor.

(1)

Parent, Xavier. editor.

(1)

Pattnaik, Prasant Kumar. editor.

(1)

Pałka, Michał. editor.

(1)

Peng, Xin. editor.

(1)

Peña, Ricardo. editor.

(1)

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

(1)

Pinheiro de Brito, Tatiana. editor.

(1)

Porkoláb, Zoltán. editor.

(1)

(1)

Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184

(1)

(1)

Quintao Pereira, Fernando Magno. editor.

(1)

Rajsbaum, Sergio. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Reas, Casey, author.

(1)

Reinders, James, author.

(1)

Reps, Thomas W. (Thomas William)

(1)

(1)

Robinson, John A. (John Allen), 1958-

(1)

Rocha, Ricardo. editor.

(1)

Rozier, Kristin Yvonne. editor.

(1)

Rudziński, Roman.

(1)

Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248

(1)

Sage, Kingsley. author.

(1)

Salaün, Gwen. editor.

(1)

Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709

(1)

Santos Costa, Vítor. editor.

(1)

(1)

Sato, Mitsuhisa. editor.

(1)

Schaefer, Ina. editor.

(1)

Schenk, Olaf, 1967-

(1)

Schipp, Jon, author.

(1)

ScienceDirect (Online service)

(1)

Seidl, Martina. editor.

(1)

Senger, Hermes. editor. (orcid)0000-0003-1273-9809

(1)

Serrano, Alan. editor.

(1)

Sewak, Mohit. author.

(1)

Shao, Zhong. editor.

(1)

Sherratt, Edel. editor.

(1)

Shibayama, Etsuya. editor.

(1)

Silva, Josep. editor.

(1)

Silva, Telmo. editor. (orcid)0000-0001-9383-7659

(1)

Simpson, Alex. editor.

(1)

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

(1)

Sodani, Avinash, author.

(1)

Soeken, Mathias. editor. (orcid)0000-0002-0229-8766

(1)

Sokołowski, S. (Stefan)

(1)

Soma, Takako. author.

(1)

Stamelos, Ioannis. editor.

(1)

Stanzani, Silvio. editor.

(1)

Stratton, Andrew. editor.

(1)

Streib, James T. author.

(1)

Sumii, Eijiro. editor.

(1)

Surianarayanan, Chellammal. author.

(1)

Sussman, Gerald Jay.

(1)

Sussman, Julie.

(1)

Tanter, Éric. editor.

(1)

Taura, Kenjiro. editor.

(1)

Thimbleby, Harold.

(1)

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

(1)

Tillmann, Nikolai. editor.

(1)

(1)

Valtolina, Stefano. editor.

(1)

Van Horn, David. editor.

(1)

Van-Roy, Peter.

(1)

Virbitskaite, Irina. editor.

(1)

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

(1)

Vohra, Deepak. author.

(1)

Language

(105)

Publication Date

-

(35)

(31)

(5)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(36)

Software engineering.

(32)

Artificial intelligence.

(19)

Computer logic.

(18)

(11)

Mathematical logic.

(11)

Computer communication systems.

(8)

(6)

Application software.

(6)

Computer science—Mathematics.

(5)

Computer simulation.

(5)

Computer graphics.

(4)

Computer science.

(4)

Computer system failures.

(3)

Electronic books.

(3)

Management information systems.

(3)

Operating systems (Computers).

(3)

Programmierung.

(3)

Python (Computer program language)

(3)

Special purpose computers.

(3)

Architecture, Computer.

(2)

Chemoinformatics.

(2)

Computer algorithms.

(2)

Computer hardware.

(2)

(2)

(2)

(2)

Numerical analysis -- Data processing.

(2)

Perl (Computer program language)

(2)

Programmatuurtechniek.

(2)

(2)

ASCII (Character set)

(1)

(1)

Art -- Data processing.

(1)

Art and technology.

(1)

Benutzeroberfläche.

(1)

(1)

Bilgisayar proglamlama.

(1)

Boundary element methods -- Data processing.

(1)

C# (Computer program language)

(1)

Cognitive psychology.

(1)

Combinatorial analysis.

(1)

Component software.

(1)

Computer games -- Programming.

(1)

Computer graphics -- Computer programs.

(1)

Computer network architectures.

(1)

Computer organization.

(1)

Computer programmers.

(1)

Computer security.

(1)

Computer software -- Development -- Social aspects.

(1)

Computer software -- Development.

(1)

Computer vision.

(1)

Computeralgebra.

(1)

Computeranimation

(1)

Computergraphik

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

(1)

Digital art -- Computer programs.

(1)

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

End-user computing.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Formal languages.

(1)

Genetic programming (Computer science)

(1)

High performance computing.

(1)

High performance processors.

(1)

Human-computer interaction.

(1)

Information systems.

(1)

Intelligent agents (Computer software)

(1)

Interactive computer systems.

(1)

Künstliche Intelligenz.

(1)

(1)

LISP (Computer program language)

(1)

(1)

Machine theory.

(1)

McCarthy, John A. (Philologe)

(1)

McCarthy, John, 1927-2011.

(1)

Mensch-Maschine-Schnittstelle.

(1)

Microprocessors.

(1)

Microsoft Visual BASIC.

(1)

Numerical analysis.

(1)

Numerical calculations.

(1)

Object-oriented programming (Computer science)

(1)

Open source software.

(1)

Optical data processing.

(1)

Pattern recognition.

(1)

Perl (Bilgisayar programlama dili)

(1)

Personal computers.

(1)

Programmeren (computers)

(1)

Programming (Mathematics)

(1)

Programming languages (Electronic computers)

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Psychology, Applied.

(1)

Raspberry Pi (Computer)

(1)

Robots -- Design and construction.

(1)

Science -- Data processing.

(1)

Software engineering -- History.

(1)

Softwarespezifikation.

(1)

Tcl (Computer program language)

(1)

Telecommunication -- Data processing.

(1)

Telecommunication -- Traffic.

(1)

Text editors (Computer programs)

(1)

(1)

User interfaces (Computer systems).

(1)

calcul numérique.

(1)

calculateur electronique.

(1)

(1)

(1)

intelligence artificielle.

(1)

(1)

(1)

programmation en logique.

(1)

programmation génétique.

(1)

(1)

(1)

spécification formelle.

(1)

spécification.

(1)

Material Type

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

105 Results Found

Subscribe to search results

1 .. 5 6 7 8 9

000000000DEFAULT

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 Automatic algorithm recognition and replacement a new approach to program optimization

Automatic algorithm recognition and replacement a new approach to program optimization

Automatic algorithm recognition and replacement a new approach to program optimization

Author

Metzger, Robert C. Wen, Zhaofang.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Structure and interpretation of computer programs

Structure and interpretation of computer programs

Structure and interpretation of computer programs

Author

Abelson, Harold. Sussman, Gerald Jay. Sussman, Julie.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Advances in genetic programming. Vol. 2

Advances in genetic programming. Vol. 2

Advances in genetic programming. Vol. 2

Author

Kinnear, Kenneth E. Angeline, Peter J.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267488

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for A small matter of programming perspectives on end user computing

A small matter of programming perspectives on end user computing

A small matter of programming perspectives on end user computing

Author

Nardi, Bonnie A.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for An introduction to programming with specifications a mathematical approach

An introduction to programming with specifications a mathematical approach

An introduction to programming with specifications a mathematical approach

Author

Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780124276208

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Author

McCarthy, John, 1927-2011. Lifschitz, Vladimir.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780124500105

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Algorithm animation

Algorithm animation

Algorithm animation

Author

Brown, Marc H.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Computer programming and formal systems

Computer programming and formal systems

Computer programming and formal systems

Author

Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534002

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computer programming and formal systems

Computer programming and formal systems

Computer programming and formal systems

Author

Braffort, P. (Paul) Hirschberg, D. (David)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533913

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 5 6 7 8 9

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11