Search Results for Languages.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

128 Results Found

1 2 3 4 5 6 .. 11

000000000000DEFAULT

Cover image for Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Author

Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Author

Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings

Author

Matsumoto, Yuji. editor. Sproat, Richard W. editor. Wong, Kam-Fai. editor. Zhang, Min. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Author

Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Author

Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

Author

Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Proceedings of International Conference on Computational Intelligence ICCI 2021

Author

Tiwari, Ritu. editor. Pavone, Mario F. editor. Ravindranathan Nair, Ranjith. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-2126-1

Format:

Availability

Online Library~1

Available:
Copies:

Uygulamalı derin öğrenme

Author

Özkan, Yalçın.

Preferred Shelf Number

Q335 O95 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30942-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Author

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)